elliotswart

↗ HN profile [ 28.6 ms ] full profile
Karma
3
Created
June 17, 2022 (4y ago)
Submissions
0
  1. What if a game gave you the backstory of everyone you killed or got killed? I feel like I've heard this question asked before, but I've never seen it done. For Ludum Dare 56 (a game jam), I spent 48 hours building a…

  2. Formal modeling is a mathematical approach for designing and checking correctness of software systems. It focuses on standard software engineering and distributed systems problems of the sort programmers face every day.…