elliotswart

3 ms·

1. 1.▲
   Show HN: Those Who Die as Cattle(eswart.itch.io)

   5 points by elliotswart 2y ago|0 comments
2. 2.▲
   Show HN: Pragmatic Formal Modeling (Tutorial series with runnable examples)

   4 points by elliotswart 4y ago|0 comments
3. 3.▲
   by elliotswart 4y ago

   I did an analysis of the bug from the blog post and the TAO paper, and from what I can tell the fundamental bug is therefore the fact that the error handler that handles cache invalidation errors drops only lesser versions, while the cache
4. 4.▲
   by elliotswart 4y ago

   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. It takes a pragmatic