Story Published at: June 6, 2023 at 03:51PM
Counterexamples in Type Systems: programs that crash, segfault or explode (2021)
APL Since 1978 (2020) [pdf]
Story Published at: March 3, 2023 at 03:34PM
Don’t store TOTP in Bitwarden for your online accounts (2022)
Story Published at: January 25, 2023 at 06:21PM
A first person shooter in 571 lines of GNU Awk (2017)
Story Published at: January 19, 2023 at 04:55PM
The ThinkPad TrackPoint tried to build a better mouse (2020)
Story Published at: January 17, 2023 at 10:34PM
Reanimate: Build declarative animations with SVG and Haskell
Story Published at: December 20, 2022 at 11:28PM
Solving Advent of Code with jq
Story Published at: December 13, 2022 at 01:29AM
Reverse-mode algorithmic differentiation using effect handlers in OCaml 5
Story Published at: November 19, 2022 at 03:41AM
GHC 9.4.2 regresses being able to do math on aarch64
Story Published at: October 12, 2022 at 02:48PM