Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·8h·
Discuss: Hacker News
🛡️seL4
Show HN: I Built Logstalgia for the Web
tailstream.io·1d·
Discuss: Hacker News
🐳Containerization
Holding It Together
onelook.com·4h·
Discuss: Hacker News
📝Term Rewriting
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·6h·
Discuss: r/homelab
🏠HomeLab
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·1d
💎Refinement Types
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Structs and Embedded Schemas in Elixir: Beyond Maps
blog.appsignal.com·18h·
Discuss: Hacker News
💎Refinement Types
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·11h·
Discuss: Hacker News
🌐NetworkProtocols
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·1h·
Discuss: Hacker News
💾Retro Computing
Saving Energy in Self-Hosting, Wake-on-LAN, and Rust
guibeira.dev·1d·
Discuss: Hacker News
🖥Self-Hosting
Practical CI-friendly Performance Tests
solidean.com·13h·
Discuss: Lobsters, r/cpp
👁️System Observability
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Show HN: LibPolyCall – Zero-Trust Polyglot FFI with Perfect State Reproduction
github.com·5h·
Discuss: Hacker News
🌐NetworkProtocols
Using Haskell in Production
agentultra.com·10h·
Discuss: Hacker News
🔠Type-Level Programming
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
The Engine to No Engine Journey
md.jtmn.dev·46m·
Discuss: Hacker News
🐫Embedded OCaml
Quantum router could speed up quantum computers
newscientist.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Mullvad: QUIC Obfuscation for WireGuard
mullvad.net·14h·
Discuss: Hacker News
📦Unikernel Systems
Show HN: ParityDeals – Stripe billing without writing webhooks or custom scripts
paritydeals.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure