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
Losslessly Changing Video Framerate
kevincox.ca·1d·
Discuss: Hacker News
🎨Rendering
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
Applications That Work with Motif/Lesstif (2005)
lesstif.sourceforge.net·5d·
Discuss: Hacker News
✅Formal Methods
China’s AI drug discovery companies land huge deals with Big Pharma
restofworld.org·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Building Bluesky Comments for My Blog
natalie.sh·3h·
Discuss: Hacker News
🦀Rust
Cultural Bias in LLMs
shav.dev·12h·
Discuss: Hacker News
✅Formal Methods
Show HN: I built a Squaredle solver that visualizes paths
news.ycombinator.com·2d·
Discuss: Hacker News
🔒Cryptography
Microsoft "Wassette": Rust and WebAssembly to Help AI Agents
phoronix.com·22h·
Discuss: Hacker News
🦀Rust
Step3
stepfun.ai·6d·
Discuss: Hacker News
✅Formal Methods
How states are placing guardrails around AI in the absence of strong federal regulation
theconversation.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
'Meschers' tool visualizes and edits 'physically impossible' objects
techxplore.com·2d·
Discuss: Hacker News
🎨Rendering
Build Dashboards Using Claude Code and Dlt
dlthub.com·4h·
Discuss: Hacker News
✅Formal Methods
The Problem
lesswrong.com·1d·
Discuss: Hacker News
🦀Rust
Meet your new AI coding teammate: Gemini CLI GitHub Actions
blog.google·1d·
Discuss: Hacker News, Hacker News
🦀Rust
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
WCH WebLink, a web based ESP32 programmer for CH32V003
github.com·2d·
Discuss: Hacker News
✅Formal Methods