Proofs of the Pythagorean Theorem
cut-the-knot.org·2h·
Discuss: Hacker News
✅Formal Verification
Kano Model
en.wikipedia.org·1d·
Discuss: Hacker News
⚡Performance Engineering
English football league mini-app
blog.engora.com·21h·
Discuss: Hacker News
⚙️Engineering
More retrocomputing, less nostalgia
datagubbe.se·6h·
Discuss: Lobsters
🧠Computer Architecture
In the Future All Food Will Be Cooked in a Microwave, and If
colincornaby.me·19h·
Discuss: Lobsters, Hacker News
🔌Network Programming
AssemblyScript
assemblyscript.org·19h·
Discuss: Lobsters
📦WebAssembly
Mastercard deflects blame for NSFW games being taken down
pcgamer.com·6h·
Discuss: Hacker News
🌐HTMX
A Sea of Nodes IR Tutorial
github.com·1d·
Discuss: Hacker News
🔌Network Programming
Emacs: The macOS Bug
xlii.space·4d·
Discuss: Lobsters, Hacker News
🔄Compiler Design
Stop Exposing Your Home Lab
virtualizationhowto.com·20h·
Discuss: Hacker News
🕸️Service Mesh
How JIT builds of CPython work
savannah.dev·5d·
Discuss: Hacker News
🔄Compiler Design
AI hallucinations will be solvable within a year (2024)
fortune.com·20h·
Discuss: Hacker News
📡Distributed Systems
🚀 [Hiring] React Native Dev (India | Remote | Contract-to-Full-Time | 20–40 hrs/week) — Join Our AI Edtech Startup!
reddit.com·8h·
Discuss: r/programming
🚢DevOps
How Judoscale's Utilization-Based Autoscaling Works
judoscale.com·4d·
Discuss: Hacker News
⚡Performance Engineering
Compostable Reusable Applications Platform (Crap)
maccriosta.ie·1d·
Discuss: Hacker News
🚢DevOps
Why Observability Isn’t Just for SREs (and How Devs Can Get Started)
signoz.io·1d·
Discuss: Hacker News, r/programming
👁️Observability
A Baby's Guide to Anthropics
linch.substack.com·1h·
Discuss: Substack
⚙️Engineering
What Would the Aftermath of the AI Bust Look Like?
thediff.co·1h·
Discuss: Hacker News
⚙️Engineering
How to Write Inductive Invariants
quint-lang.org·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Verification
SFrame Stack Trace Format
sourceware.org·2d·
Discuss: Hacker News
🔍eBPF