Thinking in Types, by isovector
Category Theory, and other theory
Functional Programming and Proof Checking Course Plan: https://oxij.org/activity/itmo/fp/plan/
Types = Values; https://vitez.me/hts-language
Find relevant papers, in order.
Write You A Haskell: Building a modern functional compiler from first principles.
Research a tool that automates much of the release process
Avoid having to
chown -R $USERinside mounted dir?
What does it take to resize later? Can we do it unbounded from beginning?
eealias to open a file with fzf directly
New post: adding custom Lua functions to do things (eg: zettelkasten thingy; like create new notes under dir); bind it to keybinding, appearing in which-key.
Open file by searching contents
Autosave for Markdown notes
Sane indentation of lists on ‘enter’
setup redirect for my Google accounts to ProtonMail.
lazygit (basic workflows)
Roast coffee myself