Basic MetaProgramming in Zig(openmymind.net)

94 points by nalgeon 2 years ago | 6 comments

Show HN: A rudimentary game engine to build four dimensional VR evironments(brainpaingames.com)

30 points by teemur 1 year ago | 1 comments

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

64 points by philzook 2 years ago | 14 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.

Dissecting Apple's Sparse Image Format (ASIF)(schamper.dev)

144 points by supermatou 4 months ago | 21 comments

Möbius strips and differential equations(hidden-phenomena.com)

67 points by mbustamanter 2 months ago | 13 comments