"Brand New Result Proving Penrose and Tao's Uncomputability in Physics" [video]
youtube.com·1d·
Discuss: Hacker News
📡Distributed Systems
Try and
ygdp.yale.edu·2d·
Discuss: Hacker News
✅Formal Verification
Identity crisis as programmer, need guidance
linkedin.com·4d·
Discuss: r/programming
✅Formal Verification
"Getting a Little Rusty" – A guide for vibe coders who need to read Rust
github.com·1d·
Discuss: Hacker News
🦀Rust
I built ad-hoc analytics service with Reveal
vlaaad.github.io·3h·
Discuss: Hacker News
📦WebAssembly
Mistral Integration Improved in Llama.cpp
github.com·1d·
Discuss: Hacker News
🌐HTMX
Launch HN: Design Arena (YC S25) – Head-to-Head AI Benchmark for Aesthetics
news.ycombinator.com·3h·
Discuss: Hacker News
🌐HTMX
My Book "The Origins of Efficiency" is Now Available for Preorder
construction-physics.com·4h·
Discuss: Hacker News
⚙️Engineering
Pace Layering an Application Portfolio
frederickvanbrabant.com·1d·
Discuss: Hacker News, r/programming
🚢DevOps
Mosfet Dreams
blog.ajith.fyi·23h·
Discuss: Hacker News
⚙️Engineering
VS Code previews chat checkpoints for unpicking careless talk
theregister.com·9h·
Discuss: Hacker News
🚢DevOps
Where MCP falls short: data integration in the AI world
blog.astrobee.ai·1d·
Discuss: Hacker News
📡Distributed Systems
The modern packager's security nightmare (2021)
blogs.gentoo.org·1d·
Discuss: Hacker News
📦WebAssembly
Notes on last week's GPT-5 release
blog.sourcetable.com·16h·
Discuss: Hacker News
⚡Performance Engineering
The unexpected joy of Claude Code on your iPhone
clay.fyi·5h·
Discuss: Hacker News
📦WebAssembly
On the Value of Abstractions
cekrem.github.io·5d·
Discuss: Hacker News, r/programming, r/webdev
📦WebAssembly
A subtle bug with Go's errgroup
gaultier.github.io·3d·
Discuss: Hacker News, r/golang
🦀Rust
I Gave Up Trying to Run Gemma 3 27B on AWS P3dn.24xlarge
medium.com·23h·
Discuss: Hacker News, r/LocalLLaMA
⚡Performance Engineering
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com·5h·
Discuss: Hacker News
🔐Cryptography
Show HN: I built an SEO tool for the terminal
seofor.dev·6h·
Discuss: Hacker News
🌐HTMX