Elektrine lite

← Feed

Reed Mullanix

totbwf@types.pl

<p>Type Theory/Category Theory</p><p>I like proof assistants and make them too!</p>

Posts

  • View post

    One mistake that almost every programming language seems to make is conflating files with compilation units with namespaces

  • View post

    Another day another proof of false...

  • View post

    Haskell association lists have to be the *worst* possible data structure imaginable...

  • View post

    Well this is pretty damning... https://damrnelson.github.io/github-historical-uptime/

  • View post

    I love AI it&amp;#39;s so useful!

  • View post

    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...