My Homelab, now in a 10" rack.
reddit.com·2h·
Discuss: r/homelab
🏠HomeLab
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Field Sensitive Escape Analysis in Golang?
reddit.com·13h·
Discuss: r/golang
🧠Lisp Dialects
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·1h
🔒Linear Types
Slashing CI Costs at Uber
uber.com·8h·
Discuss: Hacker News
🔄Reproducible Builds
Using PhantomData and Zero-Sized Types
dev.to·3h·
Discuss: DEV
🔒Type Safety
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Kafka Fundamentals: kafka retention.ms
dev.to·8h·
Discuss: DEV
🌊Streaming Systems
The collective waste caused by poor documentation
shanrauf.com·17h·
Discuss: Hacker News
📦Deflate
Architecture Overview and Deployment of OpenShift Data Foundation Using Internal Mode
dev.to·11h·
Discuss: DEV
🗄️Database Internals
From Zero to One: A Complete Guide to Implementing WeChat Sharing in HarmonyOS
dev.to·10h·
Discuss: DEV
⚡Modern Compression
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1h·
Discuss: Hacker News
⚡Proof Automation
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·1d
🎯Gradual Typing
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.com·15h·
Discuss: Hacker News
📲Digitization
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·10h·
Discuss: DEV
⚡Performance Tools
bootc-image-builder: Build your entire OS from a Containerfile
github.com·1d·
Discuss: Hacker News
🔌Operating system internals