05:20 <discocaml> <softwaresirppi> I should benchmark!

16:50 <discocaml> <mbacarella> one thing that's not fun about the irresponsible solo developer workflow in ocaml is this

16:50 <discocaml> <mbacarella> * you develop on your very powerful workstation

16:50 <discocaml> <mbacarella> * it builds and initial tests look good. great. now deploy to the server

16:50 <discocaml> <mbacarella> * takes awhile to push the several MB executable to the server

16:50 <discocaml> <mbacarella> * tap fingers impatiently

16:50 <discocaml> <mbacarella> * ok run it on the server

16:50 <discocaml> <mbacarella> * oh I missed something. fix bug

16:51 <discocaml> <mbacarella> if you're using python it's really just a quick push to main and your github action tells the server to reload

16:51 <discocaml> <mbacarella> yes **push to main**

16:53 <discocaml> <mbacarella> you could provision a powerful cloud workstation box and use it remotely so that the push to the prod server happens over 10gigE speeds but that kind of sucks. it's not quite as comfy as using your local box. also you've already spent a lot on a stupidly fast local box. renting one in the cloud for 10x the price is annoying

16:53 <companion_cube> but why do you have GHA for python and not for OCaml ? :p

16:54 <discocaml> <mbacarella> because paying github 100x for compute to run a build is offensive 😛

16:54 <discocaml> <mbacarella> I want this to make my code / debug loop be 5 seconds not minutes

16:54 <companion_cube> 😂

16:54 <companion_cube> fair enough

16:54 <discocaml> <mbacarella> I want to make my code / debug loop be 5 seconds not minutes

16:55 <discocaml> <yawaramin> cache most of the build artifacts 🤷‍♂️

16:55 <companion_cube> it still takes minutes

16:55 <discocaml> <mbacarella> can't we just do magic so that one line fixes in ocaml programs only make a small binary diff that works well with rsync

16:55 <companion_cube> I mean I just develop locally tbh

16:57 <discocaml> <mbacarella> I've only been in software for like 20 years. you can't expect me to have a properly set up dev environment that completely matches my prod environment

16:59 <discocaml> <yawaramin> Unison solves this 😁

16:59 <discocaml> <yawaramin> either https://github.com/bcpierce00/unison or https://www.unison-lang.org/ 😁

17:28 <discocaml> <mbacarella> I've literally had unison suggested to me for like 15 years and always end up with rsync instead, even a coworker who worked in pierce's lab who helped develop it never used it at work.

17:29 <discocaml> <mbacarella> (or restic)

18:40 <dh`> I thought the point of unison was to deal with multiple _read/write_ replicas