Is every SSN in the digits of pi?
Yep.
vitez.me
Mitchell's Blog
Latest posts
Type-Level Haskell from Zero to Advent
An in-person workshop
Implementing MD5
From RFC to working code
Calculating Factorials in Rust's Type System
A majestic realm of computation
Bridson's Blue Noise
Randomly-but-evenly distributed points with a Bevy demo
A Haskell Program that Echoes
module Module (Where) where
Learn Haskell in Two Weeks
Exercise-driven and feedback-rich learning for fast, effective skill acquisition
Misadventures in GHC API Windows DLLs
Linking, FFI, and m32_alloc_page
Logarithmic Metronome
Smoothing out a learning curve, with basic math
Beginnings of a Haskell Game Engine
Timing frames, rendering meshes, handling input, playing audio, loading textures
Redbeard's Recoil
I made a video game
Escalating Esqueleto
Exercises for converting SQL queries into Haskell syntax
WFC as Simply as Possible
One-dimensional self-similar text generation
Mouth Controls
Combining simple sliders to form visemes
Particles
Emergent behavior from simple rules
Spinor Intuition
Analogies from lower dimensions
Polyrhythms
Layers of beats
Clean Face Topology
My new favorite box modeling technique
Bounded Bézier
Calculating the extents of cubic curves
Logics
An informal formal systems talk
Character Voicing
Inventing an automated spoken language
Switching from Snap
Basic auth becomes basically everything
Perfect Pitch Training
A simple extended study program
Navigating with Dijkstra
Building a simple road map route finder
Group Voting
Voting in a context where you can't vote for yourself
Stanley Cup Probabilities
How likely is the winner of the first game to win the series?
A Wild GADT Appeared
Playing with partially-shared records
Creating Cupid
Learning how to digitally sculpt 3d humans
Scripting Unreal Engine
Programmatically adding assets to a level
Christmas Favorites
For solo jazz piano
Make Your Own Haskell
My talk from Haskell Talks at Mercury 2022
Slow Down
More sheet music transcription
A Counting Monad
An infinite source of numbers
Snowdin Town
My experience transcribing sheet music by ear
Haskell-style Comprehension Syntax with Rust Macros
Stealing syntax...somewhat
Data Declaration Syntax Separation
Picking apart types and values
Notes on the Ableton Reference Manual Version 11
Shortcuts, inspiration-inducing ideas, and more
Violin Rendering
Code speedups and unlocking creativity
Flippant Haskell
Recipes for reordering arguments
Haskell's Type System Standing Alone
An unusual programming language
Going Dark
Adding dark mode wasn't that bad
Reading the Bible
And why you might want to
Pluripotency
Excellence through focus, or linkages?
Over a Thousand Pieces of Electronic Music I've Enjoyed
What I've listened to
Majorly Numb
Why do the top couple YouTube covers of "Numb" by Linkin Park sound strange?
Counting Cardinalities
Type-level functions to count possible terms
Implementing a Robin Hood HashMap in Haskell
Structures, strictness, and ST
Counting Crossword Grids
How can we shrink a range given additional constraints?
The Ontology of Magenta
A frivolous fun fact
Die Simulation
Constructing dice from other dice