Show HN: Maia Chess – Human-like chess AI for playing, learning, and more
maiachess.com·14h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Mathematical Typesetting in TeXmacs
texmacs.github.io·16h·
Discuss: Hacker News
🦀Rust
Visa and Mastercard are getting overwhelmed by gamer fury over censorship
polygon.com·1d·
Discuss: Hacker News, r/news
🔐Zero-Knowledge Proofs
What ChatGPT Study Mode gets right and wrong
moderndescartes.com·11h·
Discuss: Hacker News
✅Formal Methods
Web Embeddable Common Lisp
ecl.common-lisp.dev·20h·
Discuss: Hacker News
✅Formal Methods
An AI tool I find useful
notes.billmill.org·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Over 2 Trillion Dollars are Wasted on Blue-chip Memes
marketsaintefficient.substack.com·1d·
Discuss: Substack
🦀Rust
Who's SHA Is It Anyway: Bypassing Google Cloud Build Comment Control for $30k
adnanthekhan.com·2d·
Discuss: Hacker News
🦀Rust
Requesting Funding for 90s.dev
90s.dev·1d·
Discuss: Hacker News, r/webdev
🦀Rust
Show HN: I built Nexty.dev – 90 days since launch, 70 paid customers
nexty.dev·1d·
Discuss: Hacker News
✅Formal Methods
"Sandisk Forms HBF™ Technical Advisory Board to Guide Development and Strategy for High-Bandwidth Flash Memory Technology"
sandisk.com·5d·
Discuss: Hacker News, r/hardware
🔒Cryptography
ClickPipes for Postgres CDC To ClickHouse
benjaminwootton.com·3d·
Discuss: Hacker News
🦀Rust
The Thermodynamics of Trading
signalsandthreads.com·4d·
Discuss: Hacker News
🦀Rust
Save the date: Itanium will die at the end of 2025 (2019)
techrepublic.com·3d·
Discuss: Hacker News
🔒Cryptography
Rails Engine Assets: Making Your Gem Work with Sprockets and Propshaft
avohq.io·4d·
Discuss: Hacker News
🦀Rust
#2 FC – Video Editing with FCP, Claude APIs, Bluetooth Messaging, AI Crawl Wars
furrycircuits.io·15h·
Discuss: Hacker News
🦀Rust
Reddit Popularity Made Our Simulated Conscious AI Crash and How We Scaled Fast
dreami.me·8h·
Discuss: Hacker News
🦀Rust
What if Left-Right and Seq-Lock had a baby?
github.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Architecture, Community, and the Spirit of Plan 9
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Methods
AlphaGo Moment for Model Architecture Discovery
arxiv.org·5d·
Discuss: Hacker News, r/LLM
🔐Zero-Knowledge Proofs