Task Index

  • Sridhar Ratnakumar \
  • 💾 Software \
  • Haskell \
    • Haskell from the ground up
    ☐ Thinking in Types, by isovector
    ☐ Category Theory, and other theory
    ☐ Functional Programming and Proof Checking Course Plan: https://oxij.org/activity/itmo/fp/plan/
    ☐ MTL
    ☐ Lenses
    ☐ Types = Values; https://vitez.me/hts-language
    ☐ Find relevant papers, in order.
    ☐ Write You A Haskell: Building a modern functional compiler from first principles.
  • Sridhar Ratnakumar \
  • 💾 Software \
  • Haskell \
    • My release process for Haskell libraries
    ☐ Research a tool that automates much of the release process; cf. https://twitter.com/domenkozar/status/1744333116687184030
  • Sridhar Ratnakumar \
  • 💾 Software \
  • Haskell \
  • haskell-template \
    • Philosophy
    ☐ Explain the usefulness flake-parts (and thus haskell-flake and mission-control)
  • Sridhar Ratnakumar \
  • 💾 Software \
  • Linux \
    • Encrypted Virtual Folder
    ☐ Nixify?
    ☐ Avoid having to chown -R $USER inside mounted dir?
    ☐ What does it take to resize later? Can we do it unbounded from beginning?
  • Sridhar Ratnakumar \
  • Humanity Orthodox \
    • Neurosis
    ☐ Flesh out this note in detail.