@edwinbrady Surely this is not a novel thought, but considering the origin of Idris's name, "Ivor-y tower" seems an appropriate appellation!
-
-
-
@ffee_machine oh yes. I'm embarrassed not to have thought of that :)
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
@Not_ReallyMe not off hand but see my previous replies :-)
End of conversation
-
-
-
@edwinbrady From a theoretician, it's an insult. From an engineer, a compliment. -
@andreasdotorg From a theoretician, it's one step above "ad-hoc" on the insult scale I think. - 1 more reply
New conversation -
-
- 1 more reply
New conversation -
-
@edwinbrady quick, add something to Idris named after a concept in higher-dimensional category theory!Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
This Tweet is unavailable.
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.