If you want a better ready made abstraction you can use flake.parts which is based on the module system
Introduction - flake-parts
flake.parts
September 23, 2025 at 10:55 PM
If you want a better ready made abstraction you can use flake.parts which is based on the module system
Yeah, take a look at this: github.com/skykanin/Dra...
August 16, 2025 at 4:54 PM
Yeah, take a look at this: github.com/skykanin/Dra...
Exposing the package in your devShell together with `pkg-config` usually does the trick. Although it the past I've set my own `LD_LIBRARY_PATH` envvar, but this is not recommended.
August 16, 2025 at 4:43 PM
Exposing the package in your devShell together with `pkg-config` usually does the trick. Although it the past I've set my own `LD_LIBRARY_PATH` envvar, but this is not recommended.
Perfect, now I can get mechahitler comments straight in my code!
July 16, 2025 at 10:48 PM
Perfect, now I can get mechahitler comments straight in my code!
Easiest boycott of my life
April 5, 2025 at 9:10 PM
Easiest boycott of my life
maybe an introduction to how tactics in lean work as compared to manually pattern matching and substitution on the proposition.
March 13, 2025 at 5:51 PM
maybe an introduction to how tactics in lean work as compared to manually pattern matching and substitution on the proposition.
3D printed terrain for the Warhammer 40k boardgame 😄
December 3, 2024 at 9:34 PM
3D printed terrain for the Warhammer 40k boardgame 😄
yeah, I'm going to attempt to use uiua.org this year.
Uiua
A stack-based array programming language
uiua.org
November 25, 2024 at 12:18 AM
yeah, I'm going to attempt to use uiua.org this year.