Blog - DanielBrice.net

The personal blog of Daniel Brice. These terrible, Orwellian, and often Neanderthal opinions are my own, and do not reflect the opinions of anyone I am associated with.

Oct 26, 2022
Looking for a Needle that Might Not Be in an Infinite Haystack
[ haskell ] [ programming ] [ math ] [ topology ] [ computability ]
Jul 18, 2022
A decent and reliable Haskell dev setup for VS Code in 2022
[ haskell ] [ programming ] [ tooling ]
Mar 14, 2022
Sets, Classes, and Wabbits
[ math ] [ logic ] [ set theory ]
Jan 19, 2022
Haskell GoF - Abstract Factory
[ haskell ] [ java ] [ design patterns ] [ abstract factory ] [ haskell gof ]
Apr 20, 2021
Of function instances and abstract syntax
[ haskell ] [ commutative ring theory ] [ polynomials ] [ universal algebra ] [ tagless final ]
Nov 21, 2020
Proving My Point
[ haskell ] [ functional programming ] [ theorem proving ]
Jun 12, 2020
Simple Linear Regression in One Pass
[ haskell ] [ functional programming ] [ algebra ] [ statistics ]
Jan 1, 2020
The IO Rosetta Stone
[ haskell ] [ functional programming ] [ types ]
Jul 7, 2018
Getting More Meaning From Your Case Classes
[ scala ] [ types ]
May 16, 2018
Denotational Semantics in a Nutshell
[ denotational semantics ] [ programming language theory ]
Apr 18, 2018
Exception Handling and I/O with MTL
[ haskell ] [ exception handling ] [ monad ] [ monad transformer ]
Jan 5, 2018
Exception Handling with Explicit IO
[ code ] [ haskell ] [ exception handling ] [ error handling ] [ failure handling ] [ effects ] [ monad ] [ types ]
Dec 31, 2017
Three Models of Exception Handling
[ code ] [ scala ] [ exception handling ] [ error handling ] [ failure handling ] [ effects ] [ continuation ] [ monad ] [ types ] [ style ]
Jan 15, 2017
Scala Try is Broken
[ code ] [ scala ] [ style ] [ types ]
Aug 24, 2016
Automatic Differentiation Revisited
[ automatic differentiation ] [ calculus ] [ code ] [ haskell ] [ math ] [ symbolic differentiation ]
Feb 27, 2016
Why does trig-sub even exist?
[ calculus ] [ integration ] [ math ] [ trigonometry ]
Feb 20, 2016
Local Hoogle Daemon
[ code ] [ haskell ] [ linux ] [ systemd ] [ xdg ]
Dec 14, 2015
Opening `.url` Files Like a Pro
[ bash ] [ code ] [ linux ]
Dec 7, 2015
Graham’s Scan Convex Hull Algorithm
[ code ] [ convex hull ] [ geometry ] [ graham scan ] [ haskell ] [ math ] [ real world haskell ]
Dec 1, 2015
Automatic Differentiation is Trivial in Haskell
[ automatic differentiation ] [ calculus ] [ code ] [ haskell ] [ math ]
May 25, 2015
Self-returning Function
[ code ] [ python ]
May 24, 2015
More Hemingway
[ code ] [ haskell ] [ python ]
Feb 14, 2015
Order Matters
[ code ] [ haskell ]
Feb 7, 2015
6-by-6 Sudoku Solver
[ code ] [ haskell ] [ puzzles ]
Jan 30, 2015
If Hemingway Wrote Javascript
[ c ] [ code ] [ python ] [ haskell ] [ javascript ]
Jan 29, 2015
Drinking Clue
[ games ]
Jan 28, 2015
Daniel’s Day
[ bash ] [ code ] [ haskell ] [ jekyll ]
Dec 3, 2014
Two-player Settlers of Catan
[ games ]
Dec 3, 2014
First Post