Fuzix on a Raspberry Pi Pico
Because your $5 microcontroller needed to run UNIX I recently discovered Fuzix while falling down a rabbit hole of reading about people’s hobby operating systems. Since I had some supported hardware (a Raspberry Pi Pico) laying around, I figured I’d try it out for myself. Fuzix is a descendant of UZI (with some other forks […]
Why proteins fold and how GPUs help us fold
14 Dec, 2025 Before We Talk About AI, We Need to Talk About Why Proteins Are Ridiculously Complicated You know what’s wild? Right now, as you’re reading this, there are approximately 20,000 different types of proteins working inside your body. Not 20,000 total proteins, 20,000 TYPES. The actual number of protein molecules? Billions. Trillions if […]
Working quickly is more important than it seems (2015)
The obvious benefit to working quickly is that you’ll finish more stuff per unit time. But there’s more to it than that. If you work quickly, the cost of doing something new will seem lower in your mind. So you’ll be inclined to do more. The converse is true, too. If every time you write […]
Common Rust Lifetime Misconceptions
rust-blog/posts/common-rust-lifetime-misconceptions.md at master · pretzelhammer/rust-blog · GitHub {{ message }} You can’t perform that action at this time.
The Whole App is a Blob
The Coffee Problem ¶ School French worked perfectly until I tried to buy a coffee. My lessons must be familiar to all Brits out there: conjugate être until it’s muscle memory, role-play booking a hotel you will never book, then leave school with the comforting illusion that you “know French” in the same way you […]
Arborium: Tree-sitter code highlighting with Native and WASM targets
The highlighter supports themes for both HTML and ANSI output. fn main() { let x = 42; println!(”Hello”); } Alabaster fn main() { let x = 42; println!(”Hello”); } Ayu Dark fn main() { let x = 42; println!(”Hello”); } Ayu Light fn main() { let x = 42; println!(”Hello”); } Catppuccin Frappé fn main() […]
Unscii
Unscii – a bitmapped Unicode font for blocky graphics Unscii is a set of bitmapped Unicode fonts based on classic system fonts. Unscii attempts to support character cell art well while also being suitable for terminal and programming use. The two main variants are unscii-8 (8×8 pixels per glyph) and unscii-16 (8×16). There are also […]
John Varley has died
. John Varley died two days ago on December 10, 2025. A great many will mourn him as a science fiction writer whose work they enjoyed. But this misses his moment. In the mid-1970s, Varley exploded into science fiction like a phoenix. His ”Eight Worlds” stories were set in a future where hyper-powerful aliens have […]
Programming language speed comparison using Leibniz formula for π
Benchmarking programming languages using the Leibniz formula for calculating π Benchmark run: – Languages – Iterations Loading chart… # Language Version Min Median Max Accuracy Loading results… Benchmarks run on GitHub Actions. Results may vary based on runner hardware. View on GitHub
CapROS: The Capability-Based Reliable Operating System
The CapROS Operating System CapROS is a new operating system that merges some very old ideas about capabilities with some newer ideas about performance and resource management. The result is a small, secure, real-time operating system that provides orthogonal persistence. Acknowledgements The CapROS project is led by Charles Landau. CapROS is the continuation of the […]