The Real Story on AI’s Water Use–and How to Tackle It
spectrum.ieee.org·6h·
Discuss: Hacker News
⚡CUDA
Rcmd – Instant App Switcher
lowtechguys.com·1h·
Discuss: Hacker News
🦀Rust
Write Your Own Retro Compiler
t3x.org·4d·
Discuss: Hacker News
✅Formal Methods
Show HN: Chrome-site-stats – Track, limit, and optimize your browsing time
chromewebstore.google.com·1d·
Discuss: Hacker News
🔒Cryptography
SQLite's Use of Tcl
tcl-lang.org·3d·
Discuss: Hacker News
🦀Rust
When should you use an actor?
massicotte.org·3d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Isolating CSS Inheritance
blog.dwac.dev·2d·
Discuss: Hacker News
✅Formal Methods
Don't Build an AI Safety Movement
writing.antonleicht.me·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The Rise and Demise of RSS
twobithistory.org·2d·
Discuss: Hacker News
✅Formal Methods
Beyond Markdown (2018)
johnmacfarlane.net·2d·
Discuss: Lobsters, Hacker News
✅Formal Methods
BlazingMQ: A modern, high-performance open message queuing system
github.com·3d·
Discuss: Hacker News
🔒Cryptography
Show HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
news.ycombinator.com·3h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
PEON - Prefixed Entry Object Notation
bartoszsypytkowski.com·4d·
Discuss: Hacker News
✅Formal Methods
FSP: Novel Compression Algorithm Based on Pattern Similarity Unlike the Others
news.ycombinator.com·2d·
Discuss: Hacker News
✅Formal Methods
A quiet movement is forming: building for human agency – not just agents' sake
agentictech.substack.com·23h·
Discuss: Substack
🔐Zero-Knowledge Proofs
Writing Code Is Easy. Reading It Isn't
idiallo.com·2d·
Discuss: Hacker News, r/programming
🦀Rust
The Metaphysics of Panic
theatlantic.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Building a Multilingual Blog with FastHTML
simn.fr·2d·
Discuss: Hacker News
🦀Rust
Show HN: Go-mirror-Zig – A simple way to create a Zig community mirror
github.com·1d·
Discuss: Hacker News, r/Zig
🔐Zero-Knowledge Proofs
Ask HN: When it's too much observability?
news.ycombinator.com·3d·
Discuss: Hacker News
✅Formal Methods