Monitor your security cameras with locally processed AI
frigate.video·5d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Empire of the Absurd: A Brief History of the Absurdities of the Soviet Union
laurivahtre.ee·1d·
Discuss: Hacker News
🦀Rust
PyPI: Preventing ZIP parser confusion attacks on Python package installers
blog.pypi.org·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Subversive of What? (1948)
theatlantic.com·14h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Show HN: AI Tool Writes Your Stories 10x Faster
aistoryspark.online·2d·
Discuss: Hacker News
✅Formal Methods
Fixing a loud PSU fan without dying
chameth.com·17h·
Discuss: Hacker News
⚡CUDA
The Paranoid Style in American Politics (1964)
harpers.org·2d·
Discuss: Hacker News
🦀Rust
Alarming New Study Finds Smartphones Ruining Our Brains at Unprecedented Speed
mediaite.com·19h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The STUPID Manifesto
enolive.github.io·5d·
Discuss: Hacker News
✅Formal Methods
What is wrong with Lisp? (2010)
web.archive.org·2d·
Discuss: Hacker News
🦀Rust
GPT-5 is better, but isn't giant leap forward for vision
blog.roboflow.com·1d·
Discuss: Hacker News
🎨Rendering
Show HN: Automating a manual biotech process that should have died years ago
news.ycombinator.com·3d·
Discuss: Hacker News
✅Formal Methods
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·3d·
Discuss: Hacker News
🦀Rust
I built a Python tool to spot legal risks in AI responses under the EU AI Act
medium.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The GPT-5 Launch Was Concerning
blog.charliemeyer.co·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
TC39 Advances 11 Proposals for Math Precision, Binary APIs, and More
socket.dev·4d·
Discuss: Hacker News
🦀Rust
Hugging Face AI Sheets, open-source tool to vibe test models on your datasets
github.com·2d·
Discuss: Hacker News
🦀Rust
Progressive web apps
adactio.com·3d·
Discuss: Hacker News
✅Formal Methods
Why Your AI Never Works on the First Try
fluxus.io·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Do 10x developers really exist?
shiftmag.dev·4d·
Discuss: Hacker News, r/programming
✅Formal Methods