Thomas Gazagnaire
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
My approach so far is to treat AI code assistants as an extension of “a large team with communication challenges working on the same codebase.” You need better tools to clean up the local optima that individual agents get stuck in. See prune and merlint:
discuss.ocaml.org/t/ann-new-to...
discuss.ocaml.org/t/ann-new-to...
[ANN] new tools to keep your projects clean (after AI, or just after yourself)
Hi all, I’ve been experimenting with AI code assistants lately. They’re surprisingly good at generating new code but it’s not very good at remembering things: it’s like having a steady stream of good...
discuss.ocaml.org
July 23, 2025 at 7:12 PM
My approach so far is to treat AI code assistants as an extension of “a large team with communication challenges working on the same codebase.” You need better tools to clean up the local optima that individual agents get stuck in. See prune and merlint:
discuss.ocaml.org/t/ann-new-to...
discuss.ocaml.org/t/ann-new-to...
Happy to do so whenever you are free :-)
July 12, 2025 at 3:15 PM
Happy to do so whenever you are free :-)
I've edited your picture to make it more real 🐫
The satellite is now in orbit, and the hardware is working fine. We can run the software tests in May to ensure everything works as expected. It's interesting to see the latency for such checks!
The satellite is now in orbit, and the hardware is working fine. We can run the software tests in May to ensure everything works as expected. It's interesting to see the latency for such checks!
March 24, 2025 at 4:03 PM
I've edited your picture to make it more real 🐫
The satellite is now in orbit, and the hardware is working fine. We can run the software tests in May to ensure everything works as expected. It's interesting to see the latency for such checks!
The satellite is now in orbit, and the hardware is working fine. We can run the software tests in May to ensure everything works as expected. It's interesting to see the latency for such checks!