It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·3d
🌐NetworkProtocols
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·1d
🔌Interface Evolution
ClearFactr's back, spun out from Goldman
clearfactr.com·14h·
Discuss: Hacker News
🌊Streaming Systems
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·1d·
Discuss: Hacker News
⚔️Lean Tactics
Confessions of a static timing analysis tool
chipinsights.substack.com·2d·
Discuss: Substack
⚡Circuit Verification
AlphaGo Moment for Model Architecture Discovery
arxiv.org·2d·
Discuss: Hacker News
🎯Performance Proofs
LMDB (Lightning Memory-Mapped Database)
en.wikipedia.org·2d·
Discuss: Hacker News
📝Database WAL
Python Fundamentals: code coverage
dev.to·1d·
Discuss: DEV
📏Code Metrics
Invisible Programming Language
en.wikipedia.org·1d·
Discuss: Hacker News, r/programming
🔗Concatenative Languages
What Is a Query Folding in Power BI and Why should You Care?
towardsdatascience.com·1d
🧠Query Planners
Glaze: Fast, in memory, JSON and reflection library for modern C++
github.com·3d·
Discuss: Hacker News
💧Liquid Types
🎯 Solved a team-blocking problem with Claude Code:
dev.to·4h·
Discuss: DEV
🔩Systems Programming
Remembering the Markov Property in Cooperative MARL
arxiv.org·2d
🧮Kolmogorov Complexity
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach
arxiv.org·2d
🎯Performance Proofs
🧠 What’s the deal with MCP? And why you should start exploring it now
dev.to·6h·
Discuss: DEV
💧Liquid Types
SIFOTL: A Principled, Statistically-Informed Fidelity-Optimization Method for Tabular Learning
arxiv.org·2d
💻Local LLMs
How I Connected Claude to Maven Central (And Why You Should Too)
dev.to·9h·
Discuss: DEV
🔗Topological Sorting
🔥 Claude Code pattern that saves 5-minute daily:
dev.to·6h·
Discuss: DEV
🌳Incremental Parsing
Axiomatizing Rumsfeld Ignorance
arxiv.org·2d
🔲Proof Irrelevance
Machine Learning Fundamentals: feature engineering tutorial
dev.to·3d·
Discuss: DEV
🌊Stream Processing