A Dumb Introduction to Z3 (2025)(ar-ms.me)

61 points by y1n0 6 months ago | 25 comments

A trick to eliminate 2π (sometimes)(marci.gunyho.com)

180 points by mgunyho 3 years ago | 147 comments

Three ways to solve problems(andreasfragner.com)

119 points by 42point2 10 months ago | 20 comments

Typst's Math Mode Problem(laurmaedje.github.io)

98 points by marcianx 1 year ago | 44 comments

The Third Hard Problem(mmapped.blog)

113 points by surprisetalk 5 months ago | 52 comments

A Minsky machine in ncurses terminfo(seriot.ch)

29 points by beefburger 24 days ago | 9 comments

Nicolas Seriot's article showing ncurses terminfo parameter expansion can simulate a two-counter Minsky machine, making it computationally universal, with a Fibonacci demo.