opale !!

today i got hit by the innocent looking 2 line change that hides a system-wide unsoundness instead ! yippee

the issue w using llms for Smart things is they they'll put out a 150 line change because it works and if you actually study the thing it turns out all of it isn't needed if you study the root cause and actually just do the principled 2 line change

and like i haven't figured out how to hone them towards doing principled things, like at all!!! which makes trusting them super hard!!! they are so so bad at abstraction

i think in PL / static analysis community we have to do like a lot more research into what our tools and our work is worth against LLMs. it's an awkward conversation to have, but what worth is the tool i spent 2 years making if running Claude on the code will find the same if not more bugs ?

we are effectively in the process of figuring out either how (a) good or (b) cheap running LLMs will get. because our tools have two advantages: (a) fully precise,* and (b) virtually free to run. if LLMs beat us at two, we're dead! *up to supported features. unlike Claude, that has "all" features.

there's no goat without a g & t

its very hard for me to attend talks because im too funny and i make myself and my colleagues want to laugh very easily

i could spend 3 hours configuring obsidian to be exactly how i want, and struggle anytime i want to do something obsidian doesn't support and for which there isn't a plugin. OR i can just summon exactly what i want into existence and make it evolve as i use it anyways i have a notetaking app now:D

trust trust this will make my productivity skyrocket i wont overengineer it to death to avoid work

yesterday during book club someone claimed argentina was the only true cyberpunk country

got bored so i did a lil tips and tricks guide for anthropeum with a map to explore what the Met has "acquired" check it out or don't n1ark.com/blog/anthrop... anyways Anthropeum.com · Aug 23 2026 🟦🟦🟦🟩🟨🟦🟩🟩🟩🟦 84,794 · top 6% of players today!

oh and here's the lil map thing! pretty happy with it, works better on desktop n1ark.com/blog/anthrop...

it would be cool if ocaml had even more syntax sugar or some form of `unit -> unit t` coercion for monads. basically a wait to be able to have `fn1 x; f2 y; f3 z` as monadic code rather than `let* () = fn1 x in let* () = fn2 y in f3 z`

best i could do is come up with an `if_ : bool -> unit t -> unit t` that hides this away but i still get `let* () = if_ b (fn1 x) in fn2 y`

it would be cool if ocaml had even more syntax sugar or some form of `unit -> unit t` coercion for monads. basically a wait to be able to have `fn1 x; f2 y; f3 z` as monadic code rather than `let* () = fn1 x in let* () = fn2 y in f3 z`

anthropeum (my favourite browser game atm) just changed the map rendering on the game and i hate it so much . . we had such a good thing going </3

finally made my IEEE-754 soft floats library for ocaml (using rustc_apfloat). i am free of my shackles. no longer will i rely on the evil z3 to compute floats for me !!!

its on opam too github.com/N1ark/floatml