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·2d·
Discuss: Hacker News
🎨Rendering
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
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·16h·
Discuss: Hacker News
🦀Rust
Cultural Bias in LLMs
shav.dev·1d·
Discuss: Hacker News
✅Formal Methods
Project Ire autonomously identifies malware at scale
microsoft.com·2d·
Discuss: Lobsters, 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
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
A Love Letter to My Future Employer
catzkorn.dev·2h·
Discuss: 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
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·4d·
Discuss: Hacker News
✅Formal Methods
Show HN: Vibed Linux Rust BitChat Client Using Bluez
github.com·1d·
Discuss: Hacker News
🦀Rust
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
news.ycombinator.com·3d·
Discuss: Hacker News
✅Formal Methods