2 months and 3,000 prompts later, we have Mecha Royale (mecharoyale.com) It’s a browser-based battle royale with 100 mechas fighting across one massive map. But the part I’ve been having the most fun with is squad mode where you and your friends climb into the same mecha. One person can pilot it while your teammates control different weapons. So you’re basically yelling at your friends while trying to operate one giant war machine together as 99 other mechas are trying to kill you. I built most of the game with Claude Code, including a lot of the multiplayer infrastructure behind it. St…

#hackernews #showhn #projects #friends #mecha #game #giant #pilot

Interactive theorem provers play increasingly important roles in the programming languages and mathematics communities, resulting in a large body of mechanized proofs that bear witness to mathematical knowledge. The ideal promise of accumulating these artifacts is that they allow us to preserve that knowledge across time into future generations and across intellectual silos. However, by virtue of being software, mechanized proofs are at risk of breaking as they age, hindering reproduction (e.g. of the proof’s correctness), inspection, and reuse. How can we future-proof mechanized proofs? In…

#programming #lobsters #mechanized #proofs #futureproof #futures #possible