🔍 eBPF

Kernel Programming, Runtime Safety, Network Monitoring, Performance Analysis

MethodHandles And Bad Benchmarks
github.com·3d·
Discuss: r/programming
⚡Performance Engineering
How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
SPA is dead. Long live Client Side Navigation.
rwsdk.com·14h·
Discuss: Hacker News, r/reactjs
🌐HTMX
Vulnerability disclosure on SSL for SaaS v1 (Managed CNAME)
blog.cloudflare.com·19h
🕸️Service Mesh
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·2d·
Discuss: Hacker News, Hacker News
🗄Database Systems
When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal
linuxjournal.com·1d·
Discuss: Lobsters, Hacker News
📦WebAssembly
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
🕸️Service Mesh
Freenet / Hyphanet build 1503: fix vulnerability, WebP, convenience, optimized
hyphanet.org·1d·
Discuss: Hacker News
📦WebAssembly
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·16h·
Discuss: Lobsters, Hacker News
🚢DevOps
Fingine: Thoughts on Side Projects and Financial Simulation
javednissar.ca·9h·
Discuss: Hacker News
🚢DevOps
Alberta's Pipelines
tech.marksblogg.com·15h·
Discuss: Hacker News
⚙️Engineering
Amp Code Deep Dive
elite-ai-assisted-coding.dev·12h·
Discuss: Hacker News
📦WebAssembly
[RFC] Hardening mode for the compiler - Clang Frontend
discourse.llvm.org·13h·
Discuss: Hacker News, r/cpp
🔄Compiler Design
OpenCQRS – an open-source CQRS framework for the JVM
github.com·21h·
Discuss: Hacker News
🚢DevOps
The Emacs dumper dispute (2016)
lwn.net·5h·
Discuss: Hacker News
🔄Compiler Design
How to Secure a Linux Server
github.com·21h·
Discuss: Hacker News
🔐Cryptography
Are you deploying across ARM and x64 architectures?
caepe.sh·16h·
Discuss: Hacker News
📡Distributed Systems
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Verification
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🔄Compiler Design
From Local Hack to Production: How We Solved the MCP Multi-Tenant Auth Problem
braingrid.ai·2d·
Discuss: Hacker News
📦WebAssembly