I Created a Pop Star Using AI, and She's Dropping an Album in 2065
lumavemusic.com·18h·
Discuss: Hacker News
✅Formal Methods
Deep research for healthcare revenue cycle
writing.kunle.app·23h·
Discuss: Hacker News
🔒Cryptography
Global ocean simulations examine tritium release from Fukushima
physicsworld.com·1d·
Discuss: Hacker News
🦀Rust
Show HN: LinCal – A Calendar View for Linear Issues
lincal.app·18h·
Discuss: Hacker News
🦀Rust
Fake Videos Just Got Scarier. Luckily, This AI Can Spot Them All
scitechdaily.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Decoding the Chinese Computer
sixthtone.com·3d·
Discuss: Hacker News
🔒Cryptography
'What am I falling in love with?' Human-AI relationships are no longer just science fiction
cnbc.com·16h·
Discuss: Hacker News, r/technews
🔐Zero-Knowledge Proofs
Tech jobs evolve, you should too
read.perspectiveship.com·1d·
Discuss: Hacker News, r/programming
🔒Cryptography
Tech CEOs don't seem to realise just how anti-human their AI fanaticism is
pcgamer.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
How to take down Big Tech
fairyland.substack.com·1h·
Discuss: Substack
🔐Zero-Knowledge Proofs
How to Write Inductive Invariants
quint-lang.org·22h·
Discuss: Lobsters, Hacker News, r/programming
✅Formal Methods
Show HN: Windows XP in the browser, with file system, Word, media, flash
github.com·11h·
Discuss: Hacker News
🦀Rust
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·2d·
Discuss: Hacker News
🦀Rust
CI in the Age of AI
dagger.io·23h·
Discuss: Hacker News
🦀Rust
Smart Segments: Krita plugin that adds Segment Anything object selection using
github.com·2d·
Discuss: Hacker News
✅Formal Methods
What does your chatbot think about this chatbot's thoughts on GPT-5
karimmustaghni.substack.com·1d·
Discuss: Substack
🦀Rust
AI is entering an 'unprecedented regime.' Should we stop it — and can we — before it destroys us?
livescience.com·20h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Inside Jeffrey Epstein’s Forgotten AI Summit
wired.com·21h·
Discuss: Hacker News, r/technews
🔒Cryptography
The Whitewashing of Jazz
medium.com·3h·
Discuss: Hacker News
🦀Rust
Why LLMs Struggle with Text-to-SQL
selectstar.com·23h·
Discuss: Hacker News
✅Formal Methods