Microchimeric cells from fetus improve mother's health and injury response
pubmed.ncbi.nlm.nih.gov·10h·
Discuss: Hacker News
🦀Rust
Rod Burstall: In Memoriam
arxiv.org·2d·
Discuss: Lobsters
✅Formal Methods
China state media says Nvidia must provide 'security proofs' to regain trust
reuters.com·6d·
Discuss: Hacker News, r/China
🔐Zero-Knowledge Proofs
Policing extremism on gaming-adjacent platforms: awful but lawful?
frontiersin.org·3d·
Discuss: Hacker News
🔒Cryptography
Content-Aware Spaced Repetition
giacomoran.com·3d·
Discuss: Hacker News
✅Formal Methods
Building Bluesky Comments for My Blog
natalie.sh·12h·
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
Microsoft "Wassette": Rust and WebAssembly to Help AI Agents
phoronix.com·1d·
Discuss: Hacker News
🦀Rust
PiTrac – The DIY Golf Launch Monitor
hackaday.io·4d·
Discuss: Hacker News
🦀Rust
How states are placing guardrails around AI in the absence of strong federal regulation
theconversation.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Build Dashboards Using Claude Code and Dlt
dlthub.com·13h·
Discuss: Hacker News
✅Formal Methods
The Problem
lesswrong.com·2d·
Discuss: Hacker News
🦀Rust
Meet your new AI coding teammate: Gemini CLI GitHub Actions
blog.google·2d·
Discuss: Hacker News, Hacker News
🦀Rust
Show HN: I built a Squaredle solver that visualizes paths
news.ycombinator.com·2d·
Discuss: Hacker News
🔒Cryptography
'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
Red-teaming a RAG app: What happens?
blog.pamelafox.org·3d·
Discuss: www.blogger.com, Hacker News
🔐Zero-Knowledge Proofs
Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Show HN: Vibed Linux Rust BitChat Client Using Bluez
github.com·1d·
Discuss: Hacker News
🦀Rust