You Can Now Talk to the Statues at Versailles, Thanks to A.I
news.artnet.com·2d·
Discuss: Hacker News
🦀Rust
Microchimeric cells from fetus improve mother's health and injury response
pubmed.ncbi.nlm.nih.gov·17h·
Discuss: Hacker News
🦀Rust
Show HN: A Fair Trade Calculator for Grow a Garden (Roblox) Players
growagardentradecalculator.org·1d·
Discuss: Hacker News
🦀Rust
Rod Burstall: In Memoriam
arxiv.org·2d·
Discuss: Lobsters
✅Formal Methods
Policing extremism on gaming-adjacent platforms: awful but lawful?
frontiersin.org·3d·
Discuss: Hacker News
🔒Cryptography
China’s AI drug discovery companies land huge deals with Big Pharma
restofworld.org·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Building Bluesky Comments for My Blog
natalie.sh·19h·
Discuss: Hacker News
🦀Rust
'We want to get there first and claim that for America': NASA chief explains push for nuclear reactor on the moon (video)
space.com·1d·
Discuss: Hacker News
🔒Cryptography
How states are placing guardrails around AI in the absence of strong federal regulation
theconversation.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Meet your new AI coding teammate: Gemini CLI GitHub Actions
blog.google·2d·
Discuss: Hacker News, Hacker News
🦀Rust
A Love Letter to My Future Employer
catzkorn.dev·5h·
Discuss: Hacker News
🦀Rust
'Meschers' tool visualizes and edits 'physically impossible' objects
techxplore.com·2d·
Discuss: Hacker News
🎨Rendering
WCH WebLink, a web based ESP32 programmer for CH32V003
github.com·2d·
Discuss: Hacker News
✅Formal Methods
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·4d·
Discuss: Hacker News
✅Formal Methods
36 billion solar masses: Cosmic Horseshoe galaxy harbors what may be the most massive black hole ever detected
phys.org·19h·
Discuss: Hacker News
🔒Cryptography
Show HN: Vibed Linux Rust BitChat Client Using Bluez
github.com·1d·
Discuss: Hacker News
🦀Rust
Red-teaming a RAG app: What happens?
blog.pamelafox.org·3d·
Discuss: www.blogger.com, Hacker News
🔐Zero-Knowledge Proofs
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
news.ycombinator.com·3d·
Discuss: Hacker News
✅Formal Methods
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Attacker could defeat Dell firmware flaws with a vegetable
computerweekly.com·2d·
Discuss: Hacker News
🔒Cryptography