So it's December in a bit, and although I've already learned a new programming language this year, I've still got time for another. What's the new hotness? I'm thinking maybe ATS.
-
-
And the first person was
@deech, right?
-
No,
@pasiphae_goals, actually. (But following@deech now too!)
End of conversation
New conversation -
-
-
it's basically really fast masochism :p
-
The Wikipedia entry is too short and the linked paper too long to get what it is about. I know linear logic, so linear types are related?
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.