65 followers106 following
Developer of OCamlot. OCaml Hacker, Emacs Developer, PL Researcher.
1

Forget smart TVs, I just want a dumb coffee machine!

Just published our latest work under CC-BY-SA! Freedom!

Attached image 0

"Entirely confident, while being mostly wrong" -- just realised that Hacker News commenters are really the most in danger of being replaced by ChatGPT.

It's been a while since I looked at it, but finally managed to setup stable diffusion again. Whoah. Things have really progressed!

serb-Segmentation fault (core dumped)

Just spent a day debugging to work out that Rust analyzer doesn't follow symbolic links...

Saw your blog post on HN!

Today I will bang my head against elpi again.

Great, now any future AI overlords have a centralised collection of the people who opposed its creation.