After the Last Git Commit
gist.github.com·7h·
Discuss: Hacker News
🚢DevOps
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·8h·
Discuss: Hacker News
🦀Rust
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
Discuss: Lobsters, Hacker News
⚡Performance Engineering
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·9h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Cubechat a P2P 3D world with WebRTC video chat and screen sharing
github.com·6h·
Discuss: Hacker News
🌐HTMX
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·2d·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h·
Discuss: Hacker News
🔍eBPF
Flag this post
Designing Smarter Health Checks for Pomerium
pomerium.com·3d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Azure Credits?
flyhighfive.com·1h·
Discuss: Hacker News
🕸️Service Mesh
Flag this post
Moving tables across PostgreSQL instances
ananthakumaran.in·21h·
Discuss: Lobsters, Hacker News
🗄Database Systems
Flag this post
Per-request isolation in TinyKVM explained
fwsgonzo.medium.com·2d·
Discuss: Hacker News
👁️Observability
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
📦WebAssembly
Flag this post
DDD and the Simplicity Gospel
oluatte.com·1d·
Discuss: Hacker News, r/programming
🚢DevOps
Flag this post
Hierarchy Elevates Social Reasoning
positron.solutions·11h·
Discuss: Hacker News
🌐HTMX
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·1d·
Discuss: Hacker News
📦WebAssembly
Flag this post
Show HN: Vercel-like deployments on your own VPS
outlap.dev·1d·
Discuss: Hacker News
🚢DevOps
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·16h·
Discuss: Lobsters, Hacker News
🔍eBPF
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·3d·
Discuss: Hacker News
⚡Performance Engineering
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·11h·
Discuss: Hacker News
✅Formal Verification
Flag this post