Convinced myself to use a non-e-bike today like a caveman with bike technology. Genuinely surprised with how well I was able to tackle the hills. I should do this more often.
Richard Davison
@stronglytyped.bsky.social
Software engineer in NYC. Typed systems, infrastructure, and correctness-focused tooling.
Jane Street's Incremental library brings efficient recomputation to OCaml: update complex computations when inputs change, not recalculate from scratch. Perfect for reactive pipelines and spreadsheet-like logic.
Incremental – A library for incremental computations
Four Signals — The Wire
foursignals.dev
I have rewritten from scratch a CSS minifier/differ in pure OCaml, and it seems to be competitive with the best minifiers out there! gazagnaire.org/blog/2026-07... #ocaml #css #web
Thomas Gazagnaire :: Cascade: A Typed CSS Toolkit in OCaml
Porting Tailwind to OCaml needed a CSS parser. The parser grew a typed AST, and a structural diff and a minifier fell out of it. Cascade 1.0.0 is that toolkit, and it turns out to be competitive with ...
gazagnaire.org
Using dependent types feels kind of like I've just unlocked the complex numbers of programming.
damn... programming with dependent types is so wacky
Ngl black and pink go so well together. Where has this color combo been all my life?
Did a 25 mile bike ride with my sister today. Felt good. Enjoying what little life remains to be enjoyed before the impending AI apocalypse.
One of the coolest things about Terrence Tao is how he's known for his persistence at attacking problems. nowadays people seem to resign to arguments of nature. I was born this way; that's all I can achieve. Sometimes the thing thats needed is resolve to try and never give up.
Love playing with this awesome bassoon section ❤️
I am a huge fan of Bonsai and Bonsai_term is an incredible extension. It's an amazing way to build rich TUIs in OCaml! blog.janestreet.com/strace-ui-bo...
strace-ui, Bonsai_term, and the TUI renaissance
We’ve always found strace useful but somewhat hard to work with. Its output is often inscrutable, it’s hard to follow subprocesses or threads, and if you wan...
blog.janestreet.com
Just sharing my new arrangement of Mahler's "Ich bin der Welt abhanden gekommen" for woodwind quintet.
Mahler - Ich bin der Welt abhanden gekommen (Woodwind Quintet)
YouTube video by richivinsky
youtube.com
just discovered super-productivity.com ... a completely offline and free (MIT licensed!) productivity app that's mostly keyboard navigable... wish I'd have found this sooner, it's actually goated
Had so much fun playing at the Press Start Orchestra chamber concert
