https://dylanj.xyz/posts/simon-says-cyclic-puzzles/ 2024-08-08T00:00:00+00:00 https://dylanj.xyz/ 2024-08-08T00:00:00+00:00 https://dylanj.xyz/tags/game-design/ 2024-08-08T00:00:00+00:00 https://dylanj.xyz/posts/ 2024-08-08T00:00:00+00:00 https://dylanj.xyz/tags/rust/ 2024-08-08T00:00:00+00:00 https://dylanj.xyz/tags/simon-says/ 2024-08-08T00:00:00+00:00 https://dylanj.xyz/tags/ 2024-08-08T00:00:00+00:00 https://dylanj.xyz/tags/formal-verification/ 2022-08-01T00:00:00+00:00 https://dylanj.xyz/posts/rust-coq-opaque-types/ 2022-08-01T00:00:00+00:00 https://dylanj.xyz/tags/type-theory/ 2022-08-01T00:00:00+00:00 https://dylanj.xyz/tags/actions/ 2022-07-27T00:00:00+00:00 https://dylanj.xyz/tags/cd/ 2022-07-27T00:00:00+00:00 https://dylanj.xyz/tags/ci/ 2022-07-27T00:00:00+00:00 https://dylanj.xyz/tags/cloudflare/ 2022-07-27T00:00:00+00:00 https://dylanj.xyz/tags/github/ 2022-07-27T00:00:00+00:00 https://dylanj.xyz/posts/how-i-made-this-blog/ 2022-07-27T00:00:00+00:00 https://dylanj.xyz/tags/hugo/ 2022-07-27T00:00:00+00:00 https://dylanj.xyz/archives/ https://dylanj.xyz/categories/ https://dylanj.xyz/projects/ https://dylanj.xyz/search/ https://dylanj.xyz/series/ https://dylanj.xyz/talks/