Max Mikhaylov 🔵 (mmxmb)

🫡

• 0 replies
• 0 recasts
• 2 reactions

🫡

• 0 replies
• 0 recasts
• 2 reactions

Raft - chill survival game set in the world where ocean level rose dramatically due to climate change Streets of Rouge - pretty intense rougelike with great game design BTW, love all the games that you mentioned, especially Terraria.

• 0 replies
• 0 recasts
• 0 reactions

Formal Verification. We had to build a nontrivial command line game, then model the game state and invariants using TLA+, and then use that to find bugs. It’s like a fuzzer for your system state transitions.

• 0 replies
• 0 recasts
• 0 reactions