Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·1d·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post
Why AC is cheap, but AC repair is a luxury
a16z.substack.com·2h·
Discuss: Substack
🎯Reinforcement Learning
Flag this post
AMD Could Enter ARM Market with Sound Wave APU Built on TSMC 3nm Process
guru3d.com·4d·
Discuss: Hacker News
💾RISC-V
Flag this post
The Case That A.I. Is Thinking
newyorker.com·20h·
Discuss: Hacker News
🤖Transformers
Flag this post
Writing FreeDOS Programs in C
freedos.org·1d·
Discuss: Hacker News
🦀Rust Compilers
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·6d·
Discuss: Hacker News
🦀Rust Compilers
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·4d·
Discuss: Lobsters, Hacker News, r/linux
🔍Symbolic Execution
Flag this post
Show HN: I was tired of wasting engineer time on screening calls so I built Niju
niju.dev·14h·
Discuss: Hacker News
⚡JIT Compilation
Flag this post
China solves 'century-old problem' with new analog chip that is 1,000 times faster than high-end Nvidia GPUs
livescience.com·3d·
Discuss: Hacker News, r/computers
⚡SIMD Optimization
Flag this post
Linux gamers on Steam finally cross over the 3% mark
gamingonlinux.com·1d·
Discuss: Hacker News, r/SteamDeck
⚙operating systems
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·1d·
Discuss: Lobsters, Hacker News
🕸️eBPF
Flag this post
The fetch()ening
htmx.org·3d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·2d·
Discuss: Lobsters, Hacker News
🔍Symbolic Execution
Flag this post
State of Terminal Emulators in 2025: The Errant Champions
jeffquast.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
🦀Rust Compilers
Flag this post
An Illustrated Introduction to Linear Algebra, Chapter 2
ducktyped.org·17h·
Discuss: Hacker News
🔢vector embedding
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·2d·
Discuss: Hacker News, r/opensource
🦀Rust Compilers
Flag this post
Show HN: FinBodhi – Local-first, double-entry app/PWA for your financial journey
finbodhi.com·15h·
Discuss: Hacker News
🔐Cryptography
Flag this post
2,400 HP FDNY Super Pumper could extinguish hell itself
bangshift.com·10h·
Discuss: Hacker News
🕸️eBPF
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·4d·
Discuss: Lobsters, Hacker News
🧮Memory Models
Flag this post
I analyzed 180M jobs to see what jobs AI is replacing today
bloomberry.com·18h·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post