You're more likely to reach for that soda when it's hot outside
text.npr.org·10h·
Discuss: Hacker News
🎨Rendering
Trump ally Charlie Kirk shot dead at campus event in Utah
bbc.co.uk·4h·
Discuss: Hacker News
🔒Cryptography
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·2d·
Discuss: Hacker News
🔒Cryptography
How to Create Engaging Newsletters
designer-daily.com·3h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
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
Introduction to Linear Types
austral-lang.org·4d·
Discuss: Hacker News
🦀Rust
Beyond Markdown (2018)
johnmacfarlane.net·3d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Show HN: Bootstrapped Terraform Orchestration in OCaml
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust
The Endless Hot Vibe Code Summer
redmonk.com·2d·
Discuss: Hacker News
🦀Rust
How to Set Up Custom Domains for Your Customers (The Right Way)
vanitycert.com·2d·
Discuss: Hacker News
🔒Cryptography
BlazingMQ: A modern, high-performance open message queuing system
github.com·4d·
Discuss: Hacker News
🔒Cryptography
Writing Code Is Easy. Reading It Isn't
idiallo.com·2d·
Discuss: Hacker News, r/programming
🦀Rust
Building a Multilingual Blog with FastHTML
simn.fr·3d·
Discuss: Hacker News
🦀Rust
Bootstrapping Task Spaces for Self-Improvement
arxiv.org·3d·
Discuss: Hacker News
🦀Rust
Show HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
news.ycombinator.com·13h·
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