https://samtay.github.io Planning a road trip with Datalog. Sat, 05 Jun 2021 00:00:00 +0000 https://samtay.github.io/posts/road-trip-planner https://samtay.github.io/posts/road-trip-planner How cryptography can increase both security and confidence in our elections. Fri, 18 Dec 2020 00:00:00 +0000 https://samtay.github.io/posts/verifiable-elections https://samtay.github.io/posts/verifiable-elections A story of coming to Rust from Haskell. Fri, 03 Jul 2020 00:00:00 +0000 https://samtay.github.io/posts/first-foray-into-rust https://samtay.github.io/posts/first-foray-into-rust Spelunking into stale code two years later. Sat, 30 May 2020 00:00:00 +0000 https://samtay.github.io/posts/refactoring-adventures https://samtay.github.io/posts/refactoring-adventures Motivating graphical models and defining Bayesian Networks. Sun, 16 Feb 2020 00:00:00 +0000 https://samtay.github.io/posts/graphical-models-intro https://samtay.github.io/posts/graphical-models-intro Reducing boilerplate in exception hierarchies via Deriving Via. Mon, 11 Mar 2019 00:00:00 +0000 https://samtay.github.io/posts/deriving-via-use-case https://samtay.github.io/posts/deriving-via-use-case A small introduction to the terminal user interface framework. Thu, 29 Jun 2017 00:00:00 +0000 https://samtay.github.io/posts/introduction-to-brick https://samtay.github.io/posts/introduction-to-brick Improving a naive implementation of the Game of Life with an elegant and performant solution. Fri, 17 Mar 2017 00:00:00 +0000 https://samtay.github.io/posts/comonadic-game-of-life https://samtay.github.io/posts/comonadic-game-of-life