@kottke if only all software was required to include the tools for maintenance, diagnosis, and repairs.
Ever wondered why there are no third party repair shops for software? It's because almost all software is locked up like John Deere's tractors. Only the owner of the software is allowed to fix issues and it is not you.
Jaro Reinders
@jaror@social.edu.nl
PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda. I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee. Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.
social.edu.nl
Jaro Reinders
@jaror@social.edu.nl
PhD student at Delft University of Technology 🎓 in the @DelftPL group. Trying to build correct compilers from modular building blocks 🧩 in #Agda. I'm also a #Haskell enthusiast, #GHC contributor, and a member of the GHC Steering Committee and the Core Libraries Committee. Other than that I'd like to play some #folk guitar 🎶 and recently obtained a banjo 🪕. I also appreciate playing with language 📝 #lightverse.
social.edu.nl
@jaror@social.edu.nl
·
Apr 09, 2026
0
0
0
Loading comments...