elliotswart

POSTS

• Show HN: Those Who Die as Cattle

  by elliotswart on 10/14/2024, 4:02 PM with 0 comments

• Show HN: Pragmatic Formal Modeling (Tutorial series with runnable examples)

  by elliotswart on 6/22/2022, 5:43 PM with 0 comments