Rimu

Shuang Rimu

A blog about random stuff

A Language Agnostic Introduction to Dependent Types

An explanation of dependent types that assumes only basic familiarity with any statically typed programming language

Image Attribution: Roulex 45. Élévation du pont de Shibapo May 7th, 2010. CC-BY-SA 3.0 License (NOT a CC-BY 4.0 License).

Error messages and extensible unions in Elm

An exploration of how to have good error messages for extensible unions

Image Attribution: SVG Repo. Error SVG Vector. Unknown year. CC-0 Public Domain License (NOT a CC-BY 4.0 License).

Formalization of extensible unions in Elm

A brief exploration of some of the theoretical underpinnings of extensible unions

Image Attribution: Unknown author. Declarative Rule System. Unknown year. Creative Commons Attribution-ShareAlike 3.0 Unported License (NOT a CC-BY 4.0 License).
<
>

Welcome!

This is a blog about a variety of things, but with a bit of a focus on math and programming. It aims to be a small repository of mainly information about small things I stumble through as well as the occasional opinion about something.

It's a small hope that the hours and days I spend debugging and hacking around things help at least one other person.

Note that all posts on this website are available in Markdown form and/or LaTeX form if you would prefer to consume things without the noise of HTML/CSS/Javascript getting in the way. Simple change the suffix of a post's web address to .md or .tex. The LaTeX support is slightly rough right now; you have to manually add a preamble before it will compile.

The slider above should have some of my most recent posts (unless you have Javascript disabled in which case you will only see my most recent post and be unable to use the slider): below are some of my more popular ones.

Popular Posts

The code behind this site

This site is built with Hakyll and its code is contained in a literate Markdown file. For readers interested in using Hakyll for their own site, you can look at the code here and use it as a tutorial.