Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @lelff
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @lelff
-
Pinned Tweet
A coconut is just a nut!
#CategoryTheory#haskellThanks. Twitter will use this to make your timeline better. UndoUndo -
How many surrealists does it take to change a lightbulb? Two. One to hold the giraffe, and one to put the clocks in the bathtub.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Antonio Nikishaev Retweeted
Schrödinger's wife: Have you seen the cat? Schrödinger: I have good news and bad news
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Antonio Nikishaev Retweeted
TL;DR Touch Bar runs watchOS, and macOS sends it framebuffer data over USB. This presumably then relays multitouch events back to macOS.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Antonio Nikishaev Retweeted
This mechanical calculator goes crazy trying to divide by zeropic.twitter.com/d5XV5luisy
Thanks. Twitter will use this to make your timeline better. UndoUndo -
2^74207281 - 1 is prime http://www.mersenne.org/primes/?press=M74207281 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
State considered harmful — A proposal for a stateless laptop http://blog.invisiblethings.org/2015/12/23/state_harmful.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Antonio Nikishaev Retweeted
Did you know Canadian bills have a diffraction grating? Lasers!
#pewpewpew#physicspic.twitter.com/F8gxZgzIEc
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Antonio Nikishaev Retweeted
Graph isomorphism is in quasipolynomial time:https://rjlipton.wordpress.com/2015/11/04/a-big-result-on-graph-isomorphism/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
e & π digits
#haskell code golf http://lpaste.net/144465Thanks. Twitter will use this to make your timeline better. UndoUndo -
x86 considered harmful http://blog.invisiblethings.org/2015/10/27/x86_harmful.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Church-Rosser in
#agda http://hub.darcs.net/roconnor/STLC/browse …Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
There are 10 types of people in the world: those who understand binary, those who don't, and those who don't expect this to be a base-3 joke
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Antonio Nikishaev RetweetedThanks. Twitter will use this to make your timeline better. UndoUndo
-
Coq8.5β2: Definitions extracted to Haskell GHC should no longer randomly segfault when some Coq types cannot be represented by Haskell types
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Lens over Tea #4 http://artyom.me/lens-over-tea-4
#haskellThanks. 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.