https://samtay.github.io/tag/automata/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/tag/crypto/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/tag/datalog/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/tag/haskell/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/tag/pgm/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/tag/probability/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/tag/rust/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/tag/tui/ 2024-05-05T13:55:58+00:00 https://samtay.github.io/posts/comonadic-game-of-life 2017-03-17T00:00:00+00:00 https://samtay.github.io/posts/introduction-to-brick 2017-06-29T00:00:00+00:00 https://samtay.github.io/posts/deriving-via-use-case 2019-03-11T00:00:00+00:00 https://samtay.github.io/posts/graphical-models-intro 2020-02-16T00:00:00+00:00 https://samtay.github.io/posts/refactoring-adventures 2020-05-30T00:00:00+00:00 https://samtay.github.io/posts/first-foray-into-rust 2020-07-03T00:00:00+00:00 https://samtay.github.io/posts/verifiable-elections 2020-12-18T00:00:00+00:00 https://samtay.github.io/posts/road-trip-planner 2021-06-05T00:00:00+00:00 https://samtay.github.io/about https://samtay.github.io/