The personal website of Daniel Brice, PhD.
Made with Jekyll and hosted on GitHub Pages.
I’ll be using this space to muse about Math and coding and games, mostly.
Latest Blog Posts
-
Math-Haskell Rosetta Stone - Part 1
This post begins a short series meant to serve as an informal guide to reading Haskell code and translating back and forth with mathematics. It’s meant to help members of r/CategoryTheory understand posts that use Haskell code to convey ideas. My hope is that this series should also find use among Haskell programmers, as exposure to some of the basic methods and terminology used in modern math.
more... -
Understanding Partial Application of Function Composition
A recent post on r/haskell solicited help understanding the expression
isAllergicTo :: Allergen -> Int -> Bool isAllergicTo = (. allergies) . elemwhere
Allergenis a type andallergies :: Int -> [Allergen].It’s straightforward to rewrite this function pointfully (ie. with formal parameters in place), but doing so doesn’t help one develope an intuition for thinking about function composition, partially applied, on a higher semantic level. This post is my attempt at helping people develop that high-level intuition.
more... -
Looking for a Needle that Might Not Be in an Infinite Haystack
Hand-wavy explanations of my lightning talk of the same title at Mercury’s October 2022 PDX Haskell meetup. Based on “Infinite sets that admit fast exhaustive search” by Martín Escardó.
more... -
A decent and reliable Haskell dev setup for VS Code in 2022
The sickest experience possible for Haskell development in July 2022 is undoubtedly VS Code with the Haskell plugin powered by Haskell Language Server (HLS). When HLS works for your project, that is. This guide will demonstrate a simpler, lower-featured alternative that hopefully is reliable enough to work with your project in those cases where HLS does not.
more... -
Sets, Classes, and Wabbits
Set theory is a bit of a trickster. Some of its ideas go back to Plato (forms) and Aristotle (categorical syllogisms), but sets don’t quite capture the objects of these disciplines. Rather, the objects of those disciplines are captured more closely by the concept of classes (as in classifications). Sets vs. classes? What’s the difference? Why split hares? This blog post will go into how Set Theory fails to capture our intuitive notions around classification.
more...
For more blog posts, see the full table of contents.