Voice Recognition(imperialviolet.org)

28 points by ingve 3 years ago | 7 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.

What will LLM-powered software look like in the medium-term future?(vishnumenon.com)

176 points by vishnumenon 3 years ago | 187 comments

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

64 points by philzook 2 years ago | 14 comments