Show HN: Resume as Code
alexcwatt.com·1h·
Discuss: Hacker News
✅Formal Methods
Use Your Type System
dzombak.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
From Async/Await to Virtual Threads
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News, Hacker News
🔐Zero-Knowledge Proofs
Hitting the Brakes on Claude Code
preslav.me·7h·
Discuss: Hacker News
✅Formal Methods
Rails Engine Assets: Making Your Gem Work with Sprockets and Propshaft
avohq.io·1d·
Discuss: Hacker News
✅Formal Methods
InNative – Run WebAssembly Outside the Sandbox at 95% Native Speed
innative.dev·1h·
Discuss: Hacker News
✅Formal Methods
Show HN: CCTray – macOS menu bar app to keep an eye on your Claude Code metrics
github.com·6h·
Discuss: Hacker News
✅Formal Methods
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·4d·
Discuss: Hacker News
✅Formal Methods
What if Left-Right and Seq-Lock had a baby?
github.com·18h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Simon Tatham's Portable Puzzle Collection
chiark.greenend.org.uk·17h·
Discuss: Hacker News
✅Formal Methods
Solving the inference problem for open source AI projects with GitHub Models
github.blog·3d·
Discuss: Hacker News
✅Formal Methods
A deterministic π-driven algorithm for the Partition Problem (NP-complete)
osf.io·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Implementing Bloom Filters in C (2022)
andreinc.net·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Scaling Netflix's threat detection pipelines without streaming
blog.dataexpert.io·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Efficient streaming of Markdown in the terminal
willmcgugan.github.io·2d·
Discuss: Hacker News, r/programming
✅Formal Methods
Why Gleam Deserves a Spot in Your 2025 Toolkit: Beyond the Syntax
lozdev.com·2d·
Discuss: Hacker News
✅Formal Methods
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com·11h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Zignal: A zero-dependency image processing library
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Claude Code Tips and Tricks
vinh.dev·1d·
Discuss: Hacker News
✅Formal Methods
Torqued Accelerator Using Radiation from the Sun (Tars) for Interstellar Payload
arxiv.org·1h·
Discuss: Hacker News
🎨Rendering