My Thoughts on the Bun Rust Rewrite

andrewkelley.me

Context: Rewriting Bun in Rust History When Jarred joined the Zig community about 5 years ago, I described him as someone who had strong “beginner energy”. That is, he moved fast and tried a lot of different stuff, jumping head … Read more

How to sequence your own DNA at home

bradleywoolf.com
how-to-sequence-your-own-dna-at-home

I have now sequenced my own genome 5 times with an Oxford Nanopore Technologies MinION. This means collecting them from a swab, prepping them for sequencing, running them through a sequencer, then doing analysis over them. Cheek cells are easily … Read more

NSA and IETF: Fairness

blog.cr.yp.to

cr.yp.to: 2026.07.06: NSA and IETF, part 8 Older (Access-J): 2026.07.04: Bugs happen: The easy way to compare solo PQ to ECC+PQ. #pqcrypto #bugs #vulnerabilities #hybrids Table of contents (Access-I for index page) 2026.07.06: NSA and IETF, part 8: Fairness. #pqcrypto … Read more

Agentic coding notes from Galapogos Island

danluu.com

Agentic coding notes from Galapogos Island Agentic coding notes from Galapogos Island | Patreon I’ve been using AI fairly heavily since last November and the whole thing is a funny experience. An agent will do something that, if a human … Read more

The fall of the theorem economy

davidbessis.substack.com
the-fall-of-the-theorem-economy

How AI could destroy mathematics and barely touch it “The product of mathematics is clarity and understanding. Not theorems, by themselves.”—Bill Thurston Handwritten diagram by Alexander Grothendieck My best theorem is one I never wrote down. It crystallized one bright … Read more