The possibility of a giant impact on Venus
arxiv.org·2d·
Discuss: Hacker News
🎨Rendering
L. E. Modesitt, jr. interview (2024)
fantasyhotlist.blogspot.com·6h·
Discuss: Hacker News
🦀Rust
Show HN: A creative writing game that makes writing fun for kids
storywritinglab.com·16h·
Discuss: Hacker News
🦀Rust
NetBSD New build cluster speeds up daily autobuilds
blog.netbsd.org·4d·
Discuss: Lobsters, Hacker News
🔒Cryptography
Courts service 'covered up' IT bug that caused evidence to go missing
bbc.com·2h·
Discuss: Hacker News
🔒Cryptography
Updated Portal Map Editor in Battlefield 6 Runs on Godot Engine
80.lv·4d·
Discuss: Hacker News
✅Formal Methods
Meta places order for its next ASIC-powered AI servers with Broadcom and Quanta
datacenterdynamics.com·4d·
Discuss: Hacker News
🔒Cryptography
Musk Embedding Ads Into X’s Chatbot
pymnts.com·1d·
Discuss: Hacker News
🔒Cryptography
LG ordered to pay £150k after phone defect caused Scotland house fire
theregister.com·1d·
Discuss: Hacker News
✅Formal Methods
Why the U.S. China Hawks Are Hurting the U.S.
thefp.com·4d·
Discuss: Hacker News
🔒Cryptography
Stanford University and Meta Reality Labs have unveiled revolutionary VR display
rudebaguette.com·5d·
Discuss: Hacker News
🎨Rendering
Predictive CI: Why Smart Teams Are Making the Switch
usetusk.ai·4d·
Discuss: Hacker News
✅Formal Methods
APIs Don't Make Good MCP Tools
reillywood.com·2d·
Discuss: Hacker News
✅Formal Methods
FLUX.1-Krea & the Rise of Opinionated Models
dbreunig.com·4d·
Discuss: Hacker News
🎨Rendering
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Rails ViewComponent 4.0.0
github.com·4d·
Discuss: Hacker News
🦀Rust
Secure Protocols for Best Arm Identification Using Secret Sharing Schemes
eprint.iacr.org·1d
🔐Zero-Knowledge Proofs
Show HN: Potty – A Python CLI tool to download Spotify music using yt-dlp
github.com·11h·
Discuss: Hacker News
✅Formal Methods
Show HN: Octofriend, a cute coding agent that can swap between GPT-5 and Claude
github.com·1d·
Discuss: Hacker News
🦀Rust