Tidying up your $HOME with Nix
February 17, 2023 • 13 min readUse home-manager to provision your whole dev environment.
A blog by Ju Liu.
I try to write code that doesn't suck. I rarely succeed.
Peeling zeroes in Idris
October 28, 2021 • 9 min readAn adventure with dependent types in Idris.
Ditch your version manager
September 17, 2021 • 7 min readTry Nix and don't look back.
Elm at NoRedInk
April 28, 2021 • 14 min readHow to organize 500K lines of Elm.
There and back again
March 26, 2021 • 9 min readA tale of converting and converting back.
A simple tmux config
March 22, 2021 • 6 min readSupercharge your terminal experience with tmux.
z-index by examples
February 01, 2021 • 6 min readOr “z-index: 99999” considered harmful.
Permutate parsers, don't validate
January 13, 2021 • 19 min readA practical example of “Parse, don't validate” in Haskell.
Complicated Haskell Words - Isomorphism
November 29, 2020 • 8 min readisos "equal", morphe "shape".
A walkthrough of Elm Warrior
October 09, 2020 • 16 min readOr how to build a simple AI that's slick and thick.
Writing a program that writes itself
November 04, 2019 • 6 min readWhat is a Quine and how to write one.
Performant Elm, Part III, Html.Lazy
October 21, 2019 • 6 min readBeing successful at being lazy.
Performant Elm, Part II, Html.Keyed
October 07, 2019 • 6 min readUnderstand how Html.Keyed works and how to use it.
Performant Elm, Part I
July 08, 2019 • 5 min readA tale of performance optimization in Elm.