Announcing Precomputed Reachability Analysis in Socket
socket.dev·4d·
Discuss: Hacker News
🔍eBPF
Claude Code and shipping stuff to prod
boliv.substack.com·11h·
Discuss: Substack
📦WebAssembly
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·2h·
Discuss: Substack
✅Formal Verification
Ants and Algorithms: 5 Solutions Inspired From Insects
hackernoon.com·1d
🔐Cryptography
How Judoscale's Utilization-Based Autoscaling Works
judoscale.com·3d·
Discuss: Hacker News
⚡Performance Engineering
How I Got My First 100 Email Subscribers
joeldare.com·1h·
Discuss: Hacker News
🔌Network Programming
Guarding the herd – managing database servers at scale
engineering.monday.com·4d·
Discuss: Hacker News
🗄Database Systems
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·2d·
Discuss: Lobsters, Hacker News
🚢DevOps
N+1 query problem : what it is, why it hurts performance, and how to fix it
namitjain.com·8h·
Discuss: r/programming
🗄Database Systems
System Design Interviewing Tips (2022)
yusufaytas.com·2d·
Discuss: Hacker News, r/programming
🚢DevOps
Reflections on Matrix criticism over the last week
gist.github.com·13h·
Discuss: Hacker News
📦WebAssembly
Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
🔄Compiler Design
Want AI agents to work together? The Linux Foundation has a plan
zdnet.com·5d·
Discuss: Hacker News
🕸️Service Mesh
Isle FPGA Computer
projectf.io·2d·
Discuss: Hacker News
🧠Computer Architecture
The Comprehensive Guide to Knowledge Graphs
agilelab.it·2d·
Discuss: Hacker News
✅Formal Verification
Big Enough to Fail
willgallego.com·4d·
Discuss: Hacker News
👁️Observability
Freenet / Hyphanet build 1503: fix vulnerability, WebP, convenience, optimized
hyphanet.org·2d·
Discuss: Hacker News
📦WebAssembly
Understanding Blockchains Through Java Code
blog.blockingqueue.com·3d·
Discuss: Hacker News
🔐Cryptography
Show HN: GTM Strategy Masterclass for AI Founders (3 sessions, $2.500)
news.ycombinator.com·18h·
Discuss: Hacker News
⚡Performance Engineering
My journey to the heart of the forgotten internet
bbc.com·10h·
Discuss: Hacker News
🌐HTMX