After having carefully studied my school's schedule (Aka staying too late) I will try streaming most days after 7pm. stay tuned for more! it will probably involve type systems and lots of Idris
-
-
Replying to @andre_videla
I am torn between "please don't work all the time" and "this sounds cool I should retweet this" :). (but please don't work too hard either :))
1 reply 0 retweets 1 like -
Replying to @edwinbrady
If anything this will make sure I don't work past midnight! retweet once I actually do it. There is still many unknown to this project
1 reply 0 retweets 0 likes
Replying to @andre_videla
Working until midnight is reasonable if you start at, say, 4pm... Anyway, yes, this is a great idea and it'll be interesting to see if it works!
12:43 PM - 8 Jan 2020
0 replies
0 retweets
1 like
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.