Roast coffee myself
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
Explain the usefulness
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)
Flesh out this note in detail.