I was just at a Thing where a colleague from another department said "This is Edwin, he's a computer scientist. He invented the Whitespace language." I think I'm okay with this. If I'm out when the Turing Award arrives I'm sure a neighbour will collect it for me.
-
Show this thread
-
Replying to @edwinbrady
It's better than "The whitespace dude", you'll be haunted by this one for the rest of your life :D
2 replies 0 retweets 1 like -
Replying to @aloiscochard
A long time ago I decided that this was a good thing :). As a waste of an evening while procrastinating on thesis writing, it's served me amusingly well...
2 replies 1 retweet 3 likes -
-
Replying to @65thdiscord @aloiscochard
Yes, I feel like this is something my employers should take far more seriously than this Idris nonsense.
1 reply 0 retweets 5 likes -
To start with, update its webpage (wikipedia link to http://compsoc.dur.ac.uk/whitespace/tutorial.html … is not working), then report it in Pure using http://code4ref.github.io !
1 reply 0 retweets 0 likes
That's been dead for ages. I have a copy lying around somewhere thanks to @harriesadam but I still haven't done anything sensible with it. Perhaps I should put it on http://idris-lang.org ...
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.