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.
-
-
Replying to @tangled_zans
If you find a good answer please let me know... I recently found a TODO list from about 2002 and most of it still isn't done. It's more a Wishful Thinking list. I have been having some success with https://habitica.com/ though, setting daily tasks of "work on <current goal>"
2 replies 0 retweets 6 likes -
Replying to @edwinbrady @tangled_zans
"TODO: usable sound and complete reasoning for expressive dependently-typed programming languages."
1 reply 0 retweets 2 likes -
Replying to @krismicinski @tangled_zans
I wasn't that ambitious even in 2002...
1 reply 0 retweets 1 like -
Replying to @edwinbrady @tangled_zans
well then hey, you've outdone yourself ;-)
1 reply 0 retweets 1 like
Replying to @krismicinski @tangled_zans
I think it's missing the "sound" and "complete" parts but it's getting there...
11:31 AM - 27 Jan 2020
0 replies
0 retweets
2 likes
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.