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
-
-
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
-
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!
End of conversation
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.