We have proof automation now(imperialviolet.org)

215 points by zdw 3 months ago | 99 comments

Checking that functions are constant time with Valgrind (2010)(imperialviolet.org)

8 points by g0xA52A2A 1 year ago | 3 comments

Continuous Glucose Monitoring(imperialviolet.org)

80 points by zdw 1 year ago | 55 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.

The Ken Thompson Hack(wiki.c2.com)

98 points by stephc_int13 2 years ago | 27 comments

The Swift compiler is slow due to how types are inferred(danielchasehooper.com)

176 points by paraboul 2 years ago | 123 comments