Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·5h
📊Graph Databases
You Are the Main Thread
claudelog.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Threaded Code
muforth.dev·9h·
Discuss: Hacker News
🦀Rust Macros
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Single-function Devices in the World of the Everything Machine
chrbutler.com·1d·
Discuss: Hacker News
💾vintage computing
Supporting Deterministic Traffic on Standard NICs
arxiv.org·1d
📡Network Calculus
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Splitformer: An improved early-exit architecture for automatic speech recognition on edge devices
arxiv.org·1d
🌊Streaming Compression
Quantizing for Noisy Flash Memory Channels
arxiv.org·1d
🛡️Preservation Proofs
Probabilistic and reinforced mining of association rules
arxiv.org·1d
🧠Learned Indexes
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·15h
🌀Fractal Compression
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·4h·
Discuss: Substack
🦀Rust Macros
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+
Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
arxiv.org·1d
🎯Gradual Typing
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·15h
🕸️Graph Algorithms
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Using OpenTelemetry to Diagnose a Critical Memory Leak
hackernoon.com·4h
👁️System Observability