Introduction to Bluesky's AT Protocol
mackuba.eu·15h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Learning network from scratch using RFC only
reddit.com·2d·
Discuss: r/homelab
📡Network Protocol Design
Complete Dynamic Logic of Communicating Hybrid Programs
arxiv.org·2d
✓Automated Theorem Proving
Impacket: A collection of Python classes for working with network protocols
github.com·1d·
Discuss: Hacker News
📡Network Protocol Design
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·1h·
Discuss: Hacker News
❄️Nixified Development
How MCP Uses Streamable HTTP for Real-Time AI Tool Interaction
thenewstack.io·2d
📡Network Protocol Design
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·20h·
Discuss: Lobsters, Hacker News
🐫OCaml
Structured (Synchronous) Concurrency
fsantanna.github.io·2d·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Rspack Introduces Rslint, a TypeScript-First Linter Written in Go
socket.dev·12h·
Discuss: Hacker News
🔠Type-Level Programming
Express middleware for JWT-based authentication against FusionAuth
github.com·12h·
Discuss: Hacker News
🐫OCaml
Show HN: Serverless platform for running voice AI agents
blog.livekit.io·15h·
Discuss: Hacker News
🏠HomeLab
HTTP Headers to Build 10X APIs 🔥
newsletter.systemdesign.one·1d·
Discuss: r/programming
📡Network Protocol Design
Building a Regex Engine
abstractsyntaxseed.com·22h·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Scamlexity
guard.io·7h·
Discuss: Hacker News
🛡️seL4
AI working with Infra? Sounds like a terrible idea but we made it work
blog.railway.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·7h·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🔠Type-Level Programming
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·2d·
Discuss: Lobsters, Hacker News
🐫OCaml
A refresher on end-to-end API Security
wso2.com·16h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Ow Dynamic K8s Sandboxes Can Improve Dora Metrics
signadot.com·7h·
Discuss: Hacker News, r/devops
🧱Immutable Infrastructure
You Can Build Better AI Agents in Java Than Python
medium.com·1d·
Discuss: Hacker News
🤖Program Synthesis