Reed Mullanix
totbwf@types.pl
<p>Type Theory/Category Theory</p><p>I like proof assistants and make them too!</p>
Posts
-
Post #2531599
One mistake that almost every programming language seems to make is conflating files with compilation units with namespaces
-
Post #2461472
Another day another proof of false...
-
Post #2162176
Haskell association lists have to be the *worst* possible data structure imaginable...
-
Post #2162174
Well this is pretty damning... https://damrnelson.github.io/github-historical-uptime/
-
Post #1349159
I love AI it&#39;s so useful!
-
Post #664025
When looked at the right way, init systems like systemd, launchd, etc are build systems; instead of building a piece of software, they build a working environment. This is more than just a vague metaphor: most reasonable init systems will have a way of expressing dependencies, expected outputs, etc. What *is* legitimately different is that init systems keep running after the artifact is built, and have rules that dynamically fire; EG: a rule that fires when network configurations change, a rul...