Proving that every program halts
ntietz.com·2d
👑Isabelle
How we scored #1 on Terminal Bench (52%)
warp.dev·18h
🖥️Modern Terminals
Xunit.v3, Testcontainers, and .NET
azan-n.com·2d·
Discuss: Hacker News
🐛Fuzzing
AppBITS: Sorted Seems Moribund
tidbits.com·2h
🔃Feed Algorithms
Programming Entry Level: how to interpreter
dev.to·18h·
Discuss: DEV
🔗Lisp
Building A Modern Dashboard with Python and Taipy
towardsdatascience.com·1d
🌀Brotli Internals
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Boosting Developer Productivity with AI: Faster Dashboards, Automated Testing, and 70% Less Setup Time
engineering.salesforce.com·5h
🔄Reproducible Builds
Gemini CLI Accidentally Published
web.archive.org·7h·
Discuss: Hacker News
📟CLI Design
How to Open a File in Emacs
murilopereira.com·1d·
Discuss: Hacker News
📟Terminals
Is this the Go way, or am I writing cursed code on purpose?
reddit.com·21h·
Discuss: r/golang
🔧KAITAI
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·15h·
Discuss: Hacker News
📲Digitization
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·3h·
Discuss: Substack
🦀Rust Macros
Building a Go Concurrency Task Scheduler: Efficient Task Processing Unleashed
dev.to·17h·
Discuss: DEV
🌊Stream Processing
A computer worth 7k$ and the question if it had internet
berti92.github.io·3h·
Discuss: Hacker News
🔓Hacking
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
How to Effortlessly Clean and Manage Disk Space on Linux Servers with One Script
dev.to·1d·
Discuss: DEV
🐚Shell Automation
Former Btrfs Lead Developer Chris Mason Announces New "rsched" Tool
phoronix.com·17h
🔍eBPF
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding