Knuckledragger, a Semi-Automated Python Proof Assistant(philipzucker.com)

64 points by philzook 2 years ago | 14 comments

Grouping digits in SQL(peter.eisentraut.org)

85 points by ingve 3 years ago | 12 comments

Working with Git Worktrees in Magit(emacsredux.com)

104 points by srijan4 1 month ago | 42 comments

JIT-ing a stack machine (with SLJIT)(bullno1.com)

28 points by bullno1 1 year ago | 5 comments

The 100 hour gap between a vibecoded prototype and a working product(kanfa.macbudkowski.com)

219 points by kiwieater 7 months ago | 291 comments

The ChatGPT/Codex app bundles a full copy of LibreOffice(simonwillison.net)

441 points by timpera 1 month ago | 206 comments

Short blog note by Simon Willison finding that the ChatGPT/Codex desktop app ships a 1.7GB runtime with Python, Node.js, Poppler, git and LibreOffice for skills.