🔍 eBPF

Kernel Programming, Runtime Safety, Network Monitoring, Performance Analysis

Claude Code and shipping stuff to prod
boliv.substack.com·9h·
Discuss: Substack
📦WebAssembly
AI at IMO 2025: a round-up
xenaproject.wordpress.com·18h·
Discuss: Hacker News
✅Formal Verification
Apache Hamilton (incubating): a Python library for DAGs of data transformations
github.com·8h·
Discuss: Hacker News
🌐HTMX
A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔄Compiler Design
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·1d·
Discuss: Hacker News
📡Distributed Systems
Freenet / Hyphanet build 1503: fix vulnerability, WebP, convenience, optimized
hyphanet.org·2d·
Discuss: Hacker News
📦WebAssembly
Reflections on a Failed Career
ordinatio.substack.com·4h·
Discuss: Substack
⚙️Engineering
Alberta's Pipelines
tech.marksblogg.com·2d·
Discuss: Hacker News
⚙️Engineering
OpenCQRS – an open-source CQRS framework for the JVM
github.com·2d·
Discuss: Hacker News
🚢DevOps
How to Write Inductive Invariants
quint-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
Are you deploying across ARM and x64 architectures?
caepe.sh·2d·
Discuss: Hacker News
📡Distributed Systems
A Sea of Nodes IR Tutorial
github.com·23h·
Discuss: Hacker News
🔌Network Programming
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·1d·
Discuss: Hacker News
🚢DevOps
The Emacs dumper dispute (2016)
lwn.net·1d·
Discuss: Hacker News
🔄Compiler Design
FreeToolSuite – 200+ in-browser tools, no sign-ups, no clutter
freetoolsuite.com·9h·
Discuss: Hacker News
🌐HTMX
RunReveal Raises $7M Seed to Build the AI-Native Security Data Platform
blog.runreveal.com·4d·
Discuss: Hacker News
🚢DevOps
Open Source, Self Hosting – importance of digital sovereignty in changing world
fusil.uk·8h·
Discuss: Hacker News
🕸️Service Mesh
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·1d·
Discuss: Hacker News
🚢DevOps
OpenIPC is an alternative open firmware for your IP camera
openipc.org·2d·
Discuss: Hacker News
👁️Observability
Show HN: Axilöck – VCS Agnostic Secret Prevention
blog.axilock.ai·12h·
Discuss: Hacker News
🚢DevOps