blog.ielliott.io blog.ielliott.io

2023 Project Review

blog.ielliott.io·120w

Diablo 1 in 2023

blog.ielliott.io·146w

Nominal Sets

blog.ielliott.io·148w

Nominal Sets: Appendix A (Proofs)

blog.ielliott.io·148w

Gear Acquisition Syndrome

blog.ielliott.io·153w

Migrating from Jekyll to Hakyll

blog.ielliott.io·156w

Web Resources I Enjoy

blog.ielliott.io·173w

2022 Project Review

blog.ielliott.io·175w

RIP Dream.In.Code

blog.ielliott.io·200w

WebGL Slower Than Canvas?

blog.ielliott.io·258w

An Example of Defunctionalisation in Rust

blog.ielliott.io·273w

Docker Cleanup Commands

blog.ielliott.io·286w

Statically Sized Higher-kinded Polymorphism

blog.ielliott.io·304w

Lambdas are Codatatypes

blog.ielliott.io·357w

Configuring Agda's standard library on NixOS

blog.ielliott.io·363w

Conditional Probabilities and Obnoxious White Guys

blog.ielliott.io·365w

Learning a Craft

blog.ielliott.io·377w

Writing

blog.ielliott.io·383w

On Programming Language Design

blog.ielliott.io·389w

Turning bottom-up into top-down with Reverse State

blog.ielliott.io·412w

Log in to enable infinite scrolling