Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·1d
🔍eBPF
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·12h·
Discuss: Hacker News
⚔️Lean Tactics
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·21h
🤝Consensus Protocols
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·10h·
Discuss: Hacker News
🛡️Error Boundaries
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Using AI to build an AI Security Product
dev.to·8h·
Discuss: DEV
⚡Proof Automation
Learning how MCP works by reading logs – and building MCP Interceptor
thomasgauvin.com·5h·
Discuss: Hacker News
⚡gRPC
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Applying SOLID Principles in Go
dev.to·1h·
Discuss: DEV
💧Liquid Types
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·3h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Fun OCaml 2025
fun-ocaml.com·3d·
Discuss: Hacker News
🧬Functional Programming
Rewriting the Rules: Why Kubernetes Is Moving To NFTables - Daman Arora & Yash Kumar Singh, Broadcom
youtube.com·4h
🔌Interface Evolution
Making MCP Tool Use Feel Natural with Context-Aware Tools
ragie.ai·6h·
Discuss: Hacker News
🔗Constraint Handling
The Hexagon: A Battle-Tested Blueprint for Your Event-Driven App
mina-tafreshi.medium.com·5h·
Discuss: Hacker News
🌊Streaming Systems
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
So many conferences are mid. Why was BSC 2025 so good?
bgthompson.codeberg.page·1h·
Discuss: Lobsters, Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·21h
🎯Performance Proofs
Reproducible LLM Benchmarking: GPT-5 vs Grok-4 with Promptfoo
dev.to·3h·
Discuss: DEV
⚡gRPC
How We Built a PaaS with Go, Kubernetes, and React
dev.to·12h·
Discuss: DEV
⚡gRPC