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.
-
-
I will! Thank you for the tip. I feel like there's two aspects to the problem - breaking down big projects into smaller chunks, and consistently doing a little bit of progress every day towards them.
-
My problem with the latter is the tendency to get nerd sniped and forget what it is I'm actually trying to achieve. So a daily reminder helps!
- 1 more reply
New conversation -
-
-
"TODO: usable sound and complete reasoning for expressive dependently-typed programming languages."
-
I wasn't that ambitious even in 2002...
- 2 more replies
New conversation -
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.