You're more likely to reach for that soda when it's hot outside
text.npr.org·7h·
Discuss: Hacker News
🎨Rendering
The Real Story on AI’s Water Use–and How to Tackle It
spectrum.ieee.org·12h·
Discuss: Hacker News
⚡CUDA
Recommended Books for Learning Ruby
rubynewbie.org·1d·
Discuss: Hacker News
🦀Rust
Trump ally Charlie Kirk shot dead at campus event in Utah
bbc.co.uk·1h·
Discuss: Hacker News
🔒Cryptography
Write Your Own Retro Compiler
t3x.org·4d·
Discuss: Hacker News
✅Formal Methods
How to Create Engaging Newsletters
designer-daily.com·15m·
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
Memory Speed Terminology Guide
pugetsystems.com·2d·
Discuss: Hacker News
🔒Cryptography
Introduction to Linear Types
austral-lang.org·4d·
Discuss: Hacker News
🦀Rust
Beyond Markdown (2018)
johnmacfarlane.net·3d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Thoughts on Visual Programming
btmc.substack.com·4d·
Discuss: Substack
🦀Rust
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
Bootstrapping Task Spaces for Self-Improvement
arxiv.org·2d·
Discuss: Hacker News
🦀Rust
BlazingMQ: A modern, high-performance open message queuing system
github.com·4d·
Discuss: Hacker News
🔒Cryptography
Show HN: Recall.ai (YC W20) – API for meeting recordings and transcripts
news.ycombinator.com·9h·
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
Writing Code Is Easy. Reading It Isn't
idiallo.com·2d·
Discuss: Hacker News, r/programming
🦀Rust