Story Published at: June 5, 2023 at 10:55PM
Looplets: A Language for Structured Coiteration
Story Published at: April 21, 2023 at 07:54PM
Dependently Typing R Vectors, Arrays, and Matrices
Story Published at: April 11, 2023 at 06:07AM
Disambiguating Arm, Arm ARM, ARMv9, ARM9, ARM64, AArch64, A64, A78, …
Story Published at: March 10, 2023 at 08:16PM
26 programming languages in 25 days, Part 2: Reflections on language design
Story Published at: January 3, 2023 at 05:37AM
Still Entombed: The continuing twists and turns of a maze game [pdf]
Story Published at: November 30, 2022 at 08:06PM