Abstract
A monad is just a monoid in the category of endofunctors.
Favourite quotes
• Falling in Love - Fr. Joseph P. Whelan || Fr. Pedro Arrupe, SJLinux stuff
• Almost Ubuntu with NextStep: NextSpace• Fix: USB WiFi on Ubuntu Server (a.k.a Realtek usb [r8188eu]) doesn't work.
• Nvidia GeForce Now in Linux
Literary & artistic works
• Las lágrimas de mi madre• El baile del silencio
macOS stuff
• Running GTA III (Steam version) on macOS Big Sur• Filesystem ext4 in MacOS
Notes
• Self-signed RSA cert generation and signing using OpenSSL• RSA key generation and file encryption using OpenSSL
Programming general
• Enhancing security: Protecting your environment variables with Nix flakes, Direnv, and Infisical• Tail call functions on Rust I
• Proving things with Kind
• Agda Fundamentals: (I / 1)
• Setup a Svelte Project With Typescript Support
Random computer-sciences-related projects
• GPT-2 filled with spanish golden-age poetryWeird programming stuff
• Python TCO• Fast fib on Rust (kinda)