Thoughts on Integers (2023)(blog.xoria.org)

12 points by mpweiher 3 months ago | 2 comments

Access Control Syntax(journal.stuffwithstuff.com)

26 points by todsacerdoti 1 year ago | 14 comments

Randomness on Apple Platforms (2024)(blog.xoria.org)

47 points by surprisetalk 7 months ago | 1 comments

Why I love OCaml (2023)(mccd.space)

379 points by art-w 11 months ago | 270 comments

Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.

I love email (2023)(blog.xoria.org)

86 points by surprisetalk 7 months ago | 36 comments

Show HN: Huzzah – a novel approach to coding with AI(danielvaughn.dev)

334 points by danielvaughn 2 months ago | 178 comments

Blog post introducing Huzzah, an experimental editor where you write pseudocode that is synced to real source code by AI on save, with the pseudocode kept as intent.