Mitchell's Blog https://vitez.me Wed, 01 Apr 2026 16:09:17 -0600 Wed, 01 Apr 2026 16:09:17 -0600 Randomly-but-evenly distributed points with a Bevy demo https://vitez.me/bridsons-blue-noise https://vitez.me/bridsons-blue-noise Tue, 31 Mar 2026 00:00:00 -0600 module Module (Where) where https://vitez.me/haskell-echoes https://vitez.me/haskell-echoes Fri, 27 Mar 2026 00:00:00 -0600 Exercise-driven and feedback-rich learning for fast, effective skill acquisition https://vitez.me/learn-haskell-in-two-weeks https://vitez.me/learn-haskell-in-two-weeks Thu, 12 Mar 2026 00:00:00 -0600 Linking, FFI, and m32_alloc_page https://vitez.me/misadventures-in-ghc-api-windows-dlls https://vitez.me/misadventures-in-ghc-api-windows-dlls Sun, 12 Oct 2025 00:00:00 -0600 Smoothing out a learning curve, with basic math https://vitez.me/logarithmic-metronome https://vitez.me/logarithmic-metronome Fri, 25 Jul 2025 00:00:00 -0600 A mathematical identity https://vitez.me/sum-cubes-squared-sum https://vitez.me/sum-cubes-squared-sum Sun, 04 May 2025 00:00:00 -0600 Timing frames, rendering meshes, handling input, playing audio, loading textures https://vitez.me/haskell-game-engine-beginnings https://vitez.me/haskell-game-engine-beginnings Tue, 08 Apr 2025 00:00:00 -0600 I made a video game https://vitez.me/redbeard https://vitez.me/redbeard Mon, 07 Apr 2025 00:00:00 -0600 Exercises for converting SQL queries into Haskell syntax https://vitez.me/escalating-esqueleto https://vitez.me/escalating-esqueleto Mon, 10 Feb 2025 00:00:00 -0700 One-dimensional self-similar text generation https://vitez.me/wavefunction-collapse https://vitez.me/wavefunction-collapse Sun, 13 Oct 2024 00:00:00 -0600 Combining simple sliders to form visemes https://vitez.me/mouth-controls https://vitez.me/mouth-controls Tue, 25 Jun 2024 00:00:00 -0600 Emergent behavior from simple rules https://vitez.me/particles https://vitez.me/particles Sun, 16 Jun 2024 00:00:00 -0600 Analogies from lower dimensions https://vitez.me/spinor-intuition https://vitez.me/spinor-intuition Wed, 15 May 2024 00:00:00 -0600 Layers of beats https://vitez.me/polyrhythms https://vitez.me/polyrhythms Fri, 05 Apr 2024 00:00:00 -0600 My new favorite box modeling technique https://vitez.me/face-topology https://vitez.me/face-topology Fri, 16 Feb 2024 00:00:00 -0700 Calculating the extents of cubic curves https://vitez.me/bounded-bezier https://vitez.me/bounded-bezier Fri, 24 Nov 2023 00:00:00 -0700 An informal formal systems talk https://vitez.me/logics https://vitez.me/logics Sun, 15 Oct 2023 00:00:00 -0600 Inventing an automated spoken language https://vitez.me/character-voicing https://vitez.me/character-voicing Tue, 26 Sep 2023 00:00:00 -0600 Basic auth becomes basically everything https://vitez.me/switching-from-snap https://vitez.me/switching-from-snap Mon, 25 Sep 2023 00:00:00 -0600 A simple extended study program https://vitez.me/perfect-pitch-training https://vitez.me/perfect-pitch-training Sun, 03 Sep 2023 00:00:00 -0600 Building a simple road map route finder https://vitez.me/dijkstra-map https://vitez.me/dijkstra-map Tue, 18 Jul 2023 00:00:00 -0600 Voting in a context where you can't vote for yourself https://vitez.me/group-voting https://vitez.me/group-voting Tue, 27 Jun 2023 00:00:00 -0600 How likely is the winner of the first game to win the series? https://vitez.me/stanley-cup https://vitez.me/stanley-cup Sat, 24 Jun 2023 00:00:00 -0600 Playing with partially-shared records https://vitez.me/wild-gadt-appears https://vitez.me/wild-gadt-appears Sat, 22 Apr 2023 00:00:00 -0600 Learning how to digitally sculpt 3d humans https://vitez.me/creating-cupid https://vitez.me/creating-cupid Wed, 01 Feb 2023 00:00:00 -0700 Programmatically adding assets to a level https://vitez.me/scripting-unreal https://vitez.me/scripting-unreal Wed, 28 Dec 2022 00:00:00 -0700 For solo jazz piano https://vitez.me/christmas-favorites https://vitez.me/christmas-favorites Tue, 20 Dec 2022 00:00:00 -0700 My talk from Haskell Talks at Mercury 2022 https://vitez.me/make-your-own-haskell https://vitez.me/make-your-own-haskell Sat, 29 Oct 2022 00:00:00 -0600 More sheet music transcription https://vitez.me/slow-down https://vitez.me/slow-down Fri, 28 Oct 2022 00:00:00 -0600 An infinite source of numbers https://vitez.me/counting-monad https://vitez.me/counting-monad Sun, 02 Oct 2022 00:00:00 -0600 My experience transcribing sheet music by ear https://vitez.me/snowdin-town https://vitez.me/snowdin-town Tue, 27 Sep 2022 00:00:00 -0600 Stealing syntax...somewhat https://vitez.me/haskell-list-comprehension-rust-macros https://vitez.me/haskell-list-comprehension-rust-macros Sun, 31 Jul 2022 00:00:00 -0600 Picking apart types and values https://vitez.me/data-declaration-syntax-separation https://vitez.me/data-declaration-syntax-separation Sun, 17 Jul 2022 00:00:00 -0600 Shortcuts, inspiration-inducing ideas, and more https://vitez.me/ableton-11-manual https://vitez.me/ableton-11-manual Sun, 13 Feb 2022 00:00:00 -0700 Code speedups and unlocking creativity https://vitez.me/violin-rendering https://vitez.me/violin-rendering Wed, 09 Feb 2022 00:00:00 -0700 Recipes for reordering arguments https://vitez.me/flippant-haskell https://vitez.me/flippant-haskell Fri, 10 Dec 2021 00:00:00 -0700 An unusual programming language https://vitez.me/hts-language https://vitez.me/hts-language Sat, 04 Dec 2021 00:00:00 -0700 Adding dark mode wasn't that bad https://vitez.me/dark-mode https://vitez.me/dark-mode Sun, 24 Oct 2021 00:00:00 -0600 And why you might want to https://vitez.me/reading-the-bible https://vitez.me/reading-the-bible Tue, 21 Sep 2021 00:00:00 -0600 Excellence through focus, or linkages? https://vitez.me/pluripotency https://vitez.me/pluripotency Fri, 17 Sep 2021 00:00:00 -0600 What I've listened to https://vitez.me/electronic-music-1000 https://vitez.me/electronic-music-1000 Wed, 15 Sep 2021 00:00:00 -0600 Why do the top couple YouTube covers of "Numb" by Linkin Park sound strange? https://vitez.me/numb https://vitez.me/numb Fri, 27 Aug 2021 00:00:00 -0600 Type-level functions to count possible terms https://vitez.me/counting-cardinalities https://vitez.me/counting-cardinalities Thu, 05 Aug 2021 00:00:00 -0600 Structures, strictness, and ST https://vitez.me/robin-hood-hashmap-haskell https://vitez.me/robin-hood-hashmap-haskell Sat, 24 Jul 2021 00:00:00 -0600 How can we shrink a range given additional constraints? https://vitez.me/crossword-grids https://vitez.me/crossword-grids Thu, 15 Jul 2021 00:00:00 -0600 A frivolous fun fact https://vitez.me/ontology-magenta https://vitez.me/ontology-magenta Sun, 11 Jul 2021 00:00:00 -0600 Constructing dice from other dice https://vitez.me/die-simulation https://vitez.me/die-simulation Sat, 10 Jul 2021 00:00:00 -0600 A Template Haskell Adventure https://vitez.me/tuple-prelude https://vitez.me/tuple-prelude Sat, 03 Jul 2021 00:00:00 -0600 Something to watch for while using record updating syntax https://vitez.me/record-updates-erase-tags https://vitez.me/record-updates-erase-tags Thu, 06 May 2021 00:00:00 -0600 Supershuffling sequences https://vitez.me/derangement-probability https://vitez.me/derangement-probability Mon, 19 Apr 2021 00:00:00 -0600 The need for going beyond propositional logic to capture causal structure https://vitez.me/actual-causality https://vitez.me/actual-causality Sun, 18 Apr 2021 00:00:00 -0600 Learning to lookup https://vitez.me/q-learning https://vitez.me/q-learning Thu, 18 Mar 2021 00:00:00 -0600 Thoughts on sneaking proofs into hidden layers https://vitez.me/dependently-typed-activation-functions https://vitez.me/dependently-typed-activation-functions Fri, 05 Mar 2021 00:00:00 -0700 A straightforward design in Rust https://vitez.me/dialogue-trees https://vitez.me/dialogue-trees Sun, 21 Feb 2021 00:00:00 -0700 Quick reflections on designing a wrapper library for ease of use https://vitez.me/cpython-simple https://vitez.me/cpython-simple Tue, 02 Feb 2021 00:00:00 -0700 Responses to a few of Nagel's Questions https://vitez.me/mortal-answers https://vitez.me/mortal-answers Wed, 27 Jan 2021 00:00:00 -0700 A near-minimal example https://vitez.me/persistent-servant https://vitez.me/persistent-servant Sun, 20 Dec 2020 00:00:00 -0700 Nicely-typed lightweight database-backed APIs on the cheap https://vitez.me/light-db-api https://vitez.me/light-db-api Wed, 16 Dec 2020 00:00:00 -0700 The quick Monte Carlo approach to a permutation problem https://vitez.me/f1-ordering https://vitez.me/f1-ordering Tue, 15 Dec 2020 00:00:00 -0700 Reinforcement learning implementation in PyTorch https://vitez.me/vanilla-policy-gradient https://vitez.me/vanilla-policy-gradient Sat, 24 Oct 2020 00:00:00 -0600 Algebraic closure and structure complexity https://vitez.me/mathematical-spectra https://vitez.me/mathematical-spectra Sun, 11 Oct 2020 00:00:00 -0600 On the emotional content of music https://vitez.me/speed-velocity https://vitez.me/speed-velocity Sun, 06 Sep 2020 00:00:00 -0600 Are riskier choices freer? https://vitez.me/risk-choice-free-will https://vitez.me/risk-choice-free-will Sat, 05 Sep 2020 00:00:00 -0600 How to defeat any moral system and still learn nothing https://vitez.me/moral-moil https://vitez.me/moral-moil Tue, 11 Aug 2020 00:00:00 -0600 Translations from pure SQL https://vitez.me/esqueleto-select-syntax https://vitez.me/esqueleto-select-syntax Thu, 30 Jul 2020 00:00:00 -0600 How to count what we can't see https://vitez.me/deer-asteroids https://vitez.me/deer-asteroids Wed, 29 Jul 2020 00:00:00 -0600 A numerical anumerical https://vitez.me/complex-monad https://vitez.me/complex-monad Tue, 28 Jul 2020 00:00:00 -0600 How various languages apply one argument at a time https://vitez.me/currying-across-languages https://vitez.me/currying-across-languages Sat, 25 Jul 2020 00:00:00 -0600 Another reason to not treat nulls like values https://vitez.me/null-in-postgresql https://vitez.me/null-in-postgresql Sun, 07 Jun 2020 00:00:00 -0600 A critique, a retrospective, an experience https://vitez.me/harry-styles https://vitez.me/harry-styles Thu, 28 May 2020 00:00:00 -0600 Moving new-ish programmers towards more readable code https://vitez.me/python-reductions https://vitez.me/python-reductions Sun, 24 May 2020 00:00:00 -0600 The simple word reduction algorithm behind generating free groups on any set https://vitez.me/encoding-free-groups https://vitez.me/encoding-free-groups Sat, 25 Apr 2020 00:00:00 -0600 Using networks to uncover obscure dataset shapes https://vitez.me/topological-data-analysis https://vitez.me/topological-data-analysis Sat, 11 Apr 2020 00:00:00 -0600 Thinking in infinite distributions https://vitez.me/delta-functions-mixture-models https://vitez.me/delta-functions-mixture-models Tue, 17 Mar 2020 00:00:00 -0600 An kid's introduction to value theory https://vitez.me/tightwad-theory-of-value https://vitez.me/tightwad-theory-of-value Mon, 16 Mar 2020 00:00:00 -0600 Handling boundaries with values and types https://vitez.me/maybe-dec https://vitez.me/maybe-dec Sun, 15 Mar 2020 00:00:00 -0600 It's good to solidify work, but not prematurely https://vitez.me/freezing-rendering https://vitez.me/freezing-rendering Sat, 14 Mar 2020 00:00:00 -0600 Training a convolutional neural network on the Chars74K dataset https://vitez.me/real-world-character-recognition https://vitez.me/real-world-character-recognition Sun, 16 Feb 2020 00:00:00 -0700 Solving parity problems with recurrent neural networks https://vitez.me/lstm-xor https://vitez.me/lstm-xor Tue, 11 Feb 2020 00:00:00 -0700 Dedication-constrained problems https://vitez.me/achieve-anything-easy https://vitez.me/achieve-anything-easy Mon, 20 Jan 2020 00:00:00 -0700 A lot of simple math describing qubits https://vitez.me/deconstructing-hadamard-gates https://vitez.me/deconstructing-hadamard-gates Sun, 29 Dec 2019 00:00:00 -0700 Some observations about examples in Type-Driven Development with Idris https://vitez.me/idris-examples https://vitez.me/idris-examples Sat, 14 Dec 2019 00:00:00 -0700 A simple table for calculating dice roll chances https://vitez.me/calculating-dice https://vitez.me/calculating-dice Mon, 02 Dec 2019 00:00:00 -0700 Managing a list of uncertain events https://vitez.me/probability-monad https://vitez.me/probability-monad Sun, 01 Dec 2019 00:00:00 -0700 Partially applied higher-order functions can replace some macros https://vitez.me/currying-macros https://vitez.me/currying-macros Fri, 29 Nov 2019 00:00:00 -0700 An inductive counting problem https://vitez.me/invertible-bitmatrices https://vitez.me/invertible-bitmatrices Sun, 24 Nov 2019 00:00:00 -0700 Generating magic squares with backtracking, in Rust https://vitez.me/magic-square-generation https://vitez.me/magic-square-generation Tue, 05 Nov 2019 00:00:00 -0700 Implementing a super-simple stack-based language https://vitez.me/concatenative-implementation https://vitez.me/concatenative-implementation Fri, 01 Nov 2019 00:00:00 -0600 Representational equality, identity functors, and the hashdot operator https://vitez.me/composing-coercions https://vitez.me/composing-coercions Mon, 14 Oct 2019 00:00:00 -0600 A slew of national parks https://vitez.me/2019-roadtrip https://vitez.me/2019-roadtrip Mon, 23 Sep 2019 00:00:00 -0600 It's more complex than it seems https://vitez.me/interpreting-money https://vitez.me/interpreting-money Mon, 16 Sep 2019 00:00:00 -0600 Once more: the way to get good is to practice https://vitez.me/predict-everything https://vitez.me/predict-everything Sun, 15 Sep 2019 00:00:00 -0600 Implementing basic Haskell lenses in twenty exercises https://vitez.me/building-lenses https://vitez.me/building-lenses Thu, 12 Sep 2019 00:00:00 -0600 Boundaries and mysteries https://vitez.me/life-fuzzies https://vitez.me/life-fuzzies Mon, 09 Sep 2019 00:00:00 -0600 Heatmapping channel usage over time https://vitez.me/slacktivity https://vitez.me/slacktivity Fri, 06 Sep 2019 00:00:00 -0600 Playing with a simple genetic algorithm https://vitez.me/a-curation https://vitez.me/a-curation Sun, 04 Aug 2019 00:00:00 -0600 Definitional flavors of the gamma function https://vitez.me/hidden-recursion https://vitez.me/hidden-recursion Sat, 03 Aug 2019 00:00:00 -0600 Introductory insight into incentives https://vitez.me/economic-ins https://vitez.me/economic-ins Sat, 03 Aug 2019 00:00:00 -0600 Building Android, iOS, and web apps with shared front-end logic https://vitez.me/elm-everywhere https://vitez.me/elm-everywhere Sun, 28 Jul 2019 00:00:00 -0600 Order and chaos at different structural scales https://vitez.me/manifesting-manifolds https://vitez.me/manifesting-manifolds Sun, 21 Jul 2019 00:00:00 -0600 Naturally even or odd https://vitez.me/parity-clarity https://vitez.me/parity-clarity Sat, 06 Jul 2019 00:00:00 -0600 Achieving arbitrary approximation https://vitez.me/guessing-a-function https://vitez.me/guessing-a-function Mon, 17 Jun 2019 00:00:00 -0600 No iteration! https://vitez.me/map-puzzle https://vitez.me/map-puzzle Mon, 10 Jun 2019 00:00:00 -0600 Understanding execution is exciting https://vitez.me/mental-model-python-repl https://vitez.me/mental-model-python-repl Sun, 09 Jun 2019 00:00:00 -0600 Confusing code and alphabetic enumeration https://vitez.me/infinite-recursive-permutation-generators https://vitez.me/infinite-recursive-permutation-generators Sat, 08 Jun 2019 00:00:00 -0600 Ways to handle nonexistent values https://vitez.me/nullity-exceptionality-optionality https://vitez.me/nullity-exceptionality-optionality Fri, 07 Jun 2019 00:00:00 -0600 Generated and human-edited music https://vitez.me/musenet https://vitez.me/musenet Fri, 26 Apr 2019 00:00:00 -0600 How to be safer with next to no effort https://vitez.me/dead-simple-passwords https://vitez.me/dead-simple-passwords Wed, 20 Feb 2019 00:00:00 -0700 Ways to turn things into other things https://vitez.me/morphisms https://vitez.me/morphisms Mon, 18 Feb 2019 00:00:00 -0700 Playing with fun-to-visualize mathematical structures https://vitez.me/braid-isotopy https://vitez.me/braid-isotopy Sun, 17 Feb 2019 00:00:00 -0700 Being bad at something never felt this good https://vitez.me/joy-of-amateur-music https://vitez.me/joy-of-amateur-music Fri, 15 Feb 2019 00:00:00 -0700 Non-primitive-recursive functions and fork bombs https://vitez.me/ackermann https://vitez.me/ackermann Thu, 14 Feb 2019 00:00:00 -0700 Calculating traffic loads https://vitez.me/erlang-c https://vitez.me/erlang-c Tue, 12 Feb 2019 00:00:00 -0700 Another horribly abused phrase https://vitez.me/most-people https://vitez.me/most-people Mon, 11 Feb 2019 00:00:00 -0700 Interpolation in its finest forms https://vitez.me/lerping-and-slerping https://vitez.me/lerping-and-slerping Sat, 09 Feb 2019 00:00:00 -0700 Commands that improve your ghci experience https://vitez.me/ghci-tips https://vitez.me/ghci-tips Thu, 07 Feb 2019 00:00:00 -0700 Light filters aren't spooky objects from beyond classical physics https://vitez.me/polarizing-intuition https://vitez.me/polarizing-intuition Mon, 04 Feb 2019 00:00:00 -0700 Type-level Peano exponentiation comes to the rescue https://vitez.me/exponential-trees https://vitez.me/exponential-trees Sun, 03 Feb 2019 00:00:00 -0700 You can have all three of C, A, and P https://vitez.me/cap-theorem-misconception https://vitez.me/cap-theorem-misconception Wed, 30 Jan 2019 00:00:00 -0700 Trying to gain intuition for what happens at high speed https://vitez.me/sense-of-relativity https://vitez.me/sense-of-relativity Sat, 26 Jan 2019 00:00:00 -0700 A beginner's guide to the ways Haskell helps us avoid errors https://vitez.me/haskell-error-reduction https://vitez.me/haskell-error-reduction Fri, 25 Jan 2019 00:00:00 -0700 Generality, specificity, and their levels of precision https://vitez.me/forgetful-functors-lossy-language https://vitez.me/forgetful-functors-lossy-language Wed, 23 Jan 2019 00:00:00 -0700 On being underpinned by a different kind of machine https://vitez.me/ocamls-categorical-origins https://vitez.me/ocamls-categorical-origins Mon, 21 Jan 2019 00:00:00 -0700 An eschatological exploration https://vitez.me/death-badness https://vitez.me/death-badness Wed, 16 Jan 2019 00:00:00 -0700 Remembering the conditions where it doesn't hold https://vitez.me/black-scholes-under-duress https://vitez.me/black-scholes-under-duress Tue, 15 Jan 2019 00:00:00 -0700 A whirlwind tour through one of the conceptually simplest techniques for better reasoning https://vitez.me/flip-it-around https://vitez.me/flip-it-around Sun, 13 Jan 2019 00:00:00 -0700 Bouncing around the circle of fifths https://vitez.me/giant-steps https://vitez.me/giant-steps Sat, 12 Jan 2019 00:00:00 -0700 Mining the C code for interesting tidbits https://vitez.me/how-python-dictionaries-work https://vitez.me/how-python-dictionaries-work Thu, 10 Jan 2019 00:00:00 -0700 Translating from MetaLua https://vitez.me/lua-ast https://vitez.me/lua-ast Tue, 08 Jan 2019 00:00:00 -0700 Building up some intuition https://vitez.me/chebyshev-inequality-proof-law-of-large-numbers https://vitez.me/chebyshev-inequality-proof-law-of-large-numbers Mon, 07 Jan 2019 00:00:00 -0700 Differences in some of my favorite sports, at scale https://vitez.me/volleying https://vitez.me/volleying Sun, 06 Jan 2019 00:00:00 -0700 Infinite recursion defeats the type system once again! https://vitez.me/elm-runtime-error https://vitez.me/elm-runtime-error Sat, 05 Jan 2019 00:00:00 -0700 How sum types help us avoid bugs https://vitez.me/sum-types-are-better https://vitez.me/sum-types-are-better Fri, 04 Jan 2019 00:00:00 -0700 Abusing pattern matching for the greater good https://vitez.me/roman-numerals https://vitez.me/roman-numerals Thu, 03 Jan 2019 00:00:00 -0700 Why these posts exist https://vitez.me/resolution https://vitez.me/resolution Tue, 01 Jan 2019 00:00:00 -0700