Making Sense of Proof by Contradiction [pdf]

Merkle trees + tree-sitter for incremental codebase indexing without uploading your code

07-30

Security Notes for Serving Static Files with StayPresent

07-30

After rewriting SQLite in Rust, Turso turns its sights on Postgres

07-30

NSF pilots 4-year PhDs with industry research placements

07-30

Scientists find a simple way to stop cavities without drilling

07-30

Kuna: Decompiler Development in the Age of Coding Agents

07-30