doing

• setting up this blog
  • I've deployed it! It's live!
• filed a PR about mathjax configuration in extra section
• removed all notifications on github
  • I'll unsubscribe from most things as they send me notifications.
• exploring sel4 related resources
  • found l4v. I'll try building it.
• Nethack
  • I am now playing an archeologist. I polymorphed a pet dog into a gray dragon. I got past sokoban and gnomish mines, so this one is somewhat promising.