Knuth and McIlroy Approach a Problem (2021)(matt-rickard.com)

49 points by ingve 3 years ago | 18 comments

Think in math, write in code (2019)(jmeiners.com)

193 points by alabhyajindal 11 months ago | 70 comments

Topological Problems in Voting(ryantolsma.com)

76 points by rtolsma 2 years ago | 26 comments

A road to Lisp: Why Lisp(scotto.me)

275 points by silcoon 3 months ago | 264 comments

Fuzzing the Gleam Compiler(kurz.net)

57 points by crowdhailer 2 months ago | 7 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.