Reproducing the AWS Outage Race Condition with a Model Checker
🔄Protocol State Machines
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·5h
📖Literate Programming
Flag this post
build system tradeoffs
🔗Language Toolchains
Flag this post
Low Power Storage relyability for 24/7 use (emmc, UFS, microSD) (storage for low power home server)
📁File Systems
Flag this post
PCIe lanes are the real currency of modern PCs
xda-developers.com·12h
🏰Capability Machines
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
📚Stack Data Structures
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧩Constraint Solvers
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·3h
🌉Cross-Language AST
Flag this post
Qwen3 VL 30b a3b is pure love
💬Smalltalk VMs
Flag this post
Linux 6.18 Kernel Happenings, Python 3.14, NTFSPLUS & Other October Highlights
phoronix.com·1d
📊perf Tools
Flag this post
What’s currently the best architecture for ultra-fast RAG with auto-managed memory (like mem0) and file uploads?
💬Smalltalk VMs
Flag this post
How Distributed ACID Transactions Work in TiDB
pingcap.com·2d
📮Message Queues
Flag this post
My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
Loading...Loading more...