It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·3d
🌐NetworkProtocols
ClearFactr's back, spun out from Goldman
clearfactr.com·18h·
Discuss: Hacker News
🌊Streaming Systems
Building Modern Software at Scale: Architectural Principles • Randy Shoup & Charles Humble
youtube.com·2d
🔌Interface Evolution
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
[P] I tried implementing the CRISP paper from Google Deepmind in Python
reddit.com·3h·
Discuss: r/MachineLearning
🗂️Vector Databases
What Is a Query Folding in Power BI and Why should You Care?
towardsdatascience.com·1d
🧠Query Planners
LMDB (Lightning Memory-Mapped Database)
en.wikipedia.org·2d·
Discuss: Hacker News
📝Database WAL
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·11h·
Discuss: DEV
💧Liquid Types
Cactus Language • Pragmatics 2
inquiryintoinquiry.com·21h
🔤Type Theory
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·14h·
Discuss: DEV
🔗Topological Sorting
Inference Gateway – Open-Source
github.com·19h·
Discuss: Hacker News
⚡gRPC
Axiomatizing Rumsfeld Ignorance
arxiv.org·2d
🔲Proof Irrelevance
Machine Learning Fundamentals: feature engineering tutorial
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Understanding LangChain, LangGraph, and LangSmith
dev.to·3d·
Discuss: DEV
🌳Context free grammars
Machine Learning Fundamentals: gradient descent tutorial
dev.to·1d·
Discuss: DEV
🎵Audio ML
Whys and Hows of Apply Family of Functions in R
dev.to·4d·
Discuss: DEV
📐Linear Algebra