research friends: how do you organise your notes/questions? I feel like I've tried a bunch of over-engineered systems(ie org-mode) and they always end up going out of control.
-
-
Though right now, the fact that Idris 1 crashes half the time I try to build Idris 2 is as good a daily reminder as any that it needs to self host soon... Not that I'd say this anywhere public, of course.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.