-
A Language Agnostic Introduction to Dependent Types
An explanation of dependent types that assumes only basic familiarity with any statically typed programming language - August 16, 2021
-
Error messages and extensible unions in Elm
An exploration of how to have good error messages for extensible unions - August 31, 2020
-
Formalization of extensible unions in Elm
A brief exploration of some of the theoretical underpinnings of extensible unions - August 31, 2020
-
Extensible unions in Elm
Extensible unions happen to be a great fit for Elm! - August 3, 2020
-
Defining definable real numbers is hard
It turns out that maybe every real number is definable! - April 10, 2020
-
Keeping Track of Upstream Releases
How to have automated alerts sent to you about upstream releases using Anitya - June 14, 2019
-
Moving to a Static Site
Moved this site from Django to Hakyll. Reasons were mainly reproducibility, security, and just curiosity. - November 13, 2016
-
GHCJS is Amazing
If you're looking for a Haskell to JS compiler, GHCJS is gloriously close to becoming a one-stop-shop. - January 4, 2015
-
cmus Problems on Debian
Sometimes CMus breaks down on you and you need to build it by hand... - March 19, 2014
-
Implement Tic-Tac-Toe in Haskell
As a project to get myself with Haskell, I've been working on implementing a commandline version of Tic-Tac-Toe along with a minimax AI to play with. - February 5, 2014
-
MIT's Admissions Blogs are Interesting
MIT’s admissions blog has been having a bunch of interesting blog posts up lately, either in a foreign language or in some sort of code. - January 25, 2014
-
Not Everything is a Function in Haskell
A common misconception in Haskell is that everything is a function... - January 24, 2014
-
Transfinite Induction
A not finished summary of transfinite induction... - January 23, 2014
-
SMBC and 2 + 2
Thoughts on 2 + 2 from SMBC - January 6, 2014
-
Uniform Computability
Defining what it means for something to be uniformly computable - January 4, 2014
-
The Continuum Hypothesis Part 2 (The Constructible Universe)
Trying to demystify the continuum hypothesis - January 2, 2014
-
Merry Christmas!
What the title says. - December 26, 2013
-
The Continuum Hypothesis Part 1
The archetypical math problem independent of modern math axioms - December 9, 2013
-
Goal of Weekly Posts
Yeah right... we'll see - December 2, 2013
-
XDebug Trace and Composer
A log of what it took to figure out why Composer was being so slow - November 25, 2013
-
Simple Application of Model Theory
Yeah right... we'll see - November 25, 2013
-
The Halting Problem
The halting problem as seen in math rather than in CS - November 6, 2013
-
Short Presentation
A presentation I gave during my internship - July 24, 2013
-
PHP parse_url
PHP loves making magical variables... - July 8, 2013
-
Toggling Vim Latex-Suite's Macros
Dipping My Toes in Vimscript - June 8, 2013
-
FVWM and Alt-Tab
Making Alt-Tab in FVWM act like other window manager's Alt-Tab - May 19, 2013
-
OpenCV 1.x, Tesseract, and NumPy: Single-Segment Buffer Object Errors
A tale of debugging Single-Segment Buffer Object Errors - February 10, 2013
-
Rigid Coxeter Groups
Making Alt-Tab in FVWM act like other window manager's Alt-Tab - December 3, 2012
-
Additional Small Changes
The design for the website now has more or less stabilized - November 20, 2012
-
First Post!
Making Alt-Tab in FVWM act like other window manager's Alt-Tab - November 11, 2012
-
Equivalent Definitions of Compactness
Proving equivalence among three different definitions - August 3, 2012
Shuang Rimu
A blog about random stuff