August 2021
-
What's Running on my Home Server?
Self-host all the things!
April 2021
-
Features That GitHub Actions Should Have
Is it Turing-complete yet?
December 2020
-
Advent of Code 2020: Days 7-infinity
The wrap-up
-
Advent of Code 2020: Days 4-6
Leveling up
-
Advent of Code 2020: Day 3
Ramping up productivity
-
Advent of Code 2020: Day 2
Type signatures are not documentation, and compilers are not (quite) all-knowing
-
Advent of Code 2020: Day 1
val rant : how -> 'does anyone -> f:(read -> these -> things?) = <fun>
November 2020
-
Apple's Walled Garden Is Becoming More & More Tempting
In pursuit of "just works"
June 2020
-
A History of Releasing Julia Packages
Tagging, releasing, registering... the same, but not
-
Escaping $BIG_CORP's Grasp: Part 2
On second thought...
May 2020
March 2020
November 2019
August 2019