Ordinals aren't much worse than Quaternions(philipzucker.com)

43 points by philzook 2 years ago | 20 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.

Building a Rust Inference Engine That Matches Llama.cpp(fratepietro.com)

20 points by antonellof 2 months ago | 22 comments

TypeChat(microsoft.github.io)

482 points by DanRosenwasser 3 years ago | 145 comments

Microsoft blog post introducing TypeChat, an experimental library that uses TypeScript type definitions to get type-safe structured responses from LLMs.

Moving integer division to floating-point is trivial(marc-b-reynolds.github.io)

34 points by matt_d 2 months ago | 13 comments