Super fancy use of effect handlers and domains to speed up Merlin, the editor service that provides advanced IDE features for OCaml: discuss.ocaml.org/t/ann-an-exper…

Interesting post from Mike Doods. galois.com/articles/claud… I've been writing lots of OCaml 5, TeX and Lean with Claude, and I feel super-productive. Claude is suprisingly good at OCaml way (interfaces, docs, implementation, dune, opam, testing, debugging type errors, etc).

I’m proud of this one. I brought a solar telescope to Florida to capture a Falcon 9 rocket launch transiting the sun. While these have been captured before, never with the details of the sun’s chromosphere, which makes this one the first! See the video or get the print below 👇

Terrateam is looking for an OCaml developer for a 3-month contract. Remote, paid, interesting infra problems. DM if interested or know someone who might be. #ocaml

New breakthrough quantum algorithm published in nature today: Our Willow chip has achieved the first-ever verifiable quantum advantage. Willow ran the algorithm - which we’ve named Quantum Echoes - 13,000x faster than the best classical algorithm on one of the world's fastest

How do you acquire the fundamental computer skills to hack on a complex systems project like OCaml? What’s missing and how do you go about bridging the gap? kcsrk.info/ocaml/2025/11/… Wrote the list for my students, but it may be useful for others too.

ReScript 12 is here! A major step toward a leaner, faster, simpler toolchain. This release refines the language and embraces ReScript’s own identity. Blog: rescript-lang.org/blog/release-1… Notes: github.com/rescript-lang/… Huge thanks to everyone who helped move ReScript forward.

Another day in the algorithmic art studio.

to commemorate alan dye moving from apple to meta, here's one of his best quotes

Like David Bessis and others, I think that Hinton is wrong. To explain why, let me tell you a brief story. About a decade ago, in 2017, I developed an automated theorem-proving framework that was ultimately integrated into Mathematica (see: youtube.com/watch?v=mMaid2…) (1/15)

Chat, we made it

AI model of today is not the AI model of tomorrow.

how my codebase written entirely with claude code runs

The LLM-written README style guide: - Too many headers - Too many emojis - Too much bold (especially at the front of each list item) - Too many parentheticals (especially at the end of each list item)

This.

Me defending my O(n^3) solution to the coding interviewer.

Miriad is hiring a ReScript developer with strong UI/UX focus. Also good opportunity to work on open source as well 🚀 👉forum.rescript-lang.org/t/miriad-is-hi…

Waiting for Opus 5 to clean up the mess I’ve made with Opus 4.5

Moltbook is wild.

“We used to review every line of code before it went into production”.