Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @mimblewabe
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @mimblewabe
-
Marek Bernát Retweeted
Scientists unveil new form of matter: Time crystalshttps://www.eurekalert.org/pub_releases/2017-01/uoc--sun012617.php …
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
Next FPBrno meetup on 2017-02-22. Would you like to have a talk? Let us know!
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
I also don't understand why people compare Go with Rust. If you need a GC-less programming language: Rust; if you need a board game: Go.
Thanks. Twitter will use this to make your timeline better. Undo -
Wow, Manchester by the Sea was amazing, best movie I've seen in a year. Casey Affleck nailed it.
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
The whiteboard coding interview is a lot more like fraternity hazing than a mechanism for predicting job performance
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
Our model of innovation via the adjacent possible http://www.nature.com/articles/srep05890 … is featured in Technology Review https://www.technologyreview.com/s/603366/mathematical-model-reveals-the-patterns-of-how-innovations-arise/ …
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
"Remember, exercise is, contrary to stereotypes about weightlifters and athletes, a philosophical endeavor."http://bit.ly/2hQzXJv
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
And the award for most idiosyncratic combination of endorsements for a book published in 2016 goes to
@atlasobscura! http://www.atlasobscura.com/books pic.twitter.com/IErojAR2Zs
Thanks. Twitter will use this to make your timeline better. Undo -
Paradox of the day: consistently rename all the words in a book. The text becomes unreadable and yet its true meaning is not changed.
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
Mathematicians often like to point out the obvious, such as "Anagram is an anagram of anagram." It gives them a sense of group identity.
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
The irony is that most people think they have to leave where they are to get to where they want to be. — Neale Donald Walsh
Thanks. Twitter will use this to make your timeline better. Undo -
are you trying to say that these notions are fundamental to setting up a type theory in the first place?
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
My paper "Five stages of accepting constructive mathematics" was published in Bulletin of AMS: http://www.ams.org/journals/bull/0000-000-00/S0273-0979-2016-01556-4/ … I hope you enjoy it!
Thanks. Twitter will use this to make your timeline better. Undo -
at which point the answer will be obvious. Your degree is well-deserved.
Thanks. Twitter will use this to make your timeline better. Undo -
why are we here?
Thanks. Twitter will use this to make your timeline better. Undo -
A little evening
#haskell composition λ> let o = (.) λ> o o o o o o λ> o o o o o o o o o oThanks. Twitter will use this to make your timeline better. Undo -
Current morning routine: pinching myself to make sure I'm not dreaming about my new
#haskell job.#lifeisgoodThanks. Twitter will use this to make your timeline better. Undo -
What are the biggest problems in your life? And why aren't you fixing them? Via http://lesswrong.com
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
And so ends the debate over whether static types are useful for making programs more robust.https://www.python.org/dev/peps/pep-0484/ …
Thanks. Twitter will use this to make your timeline better. Undo -
Marek Bernát Retweeted
Finally approaching future tech. Near real time glucose readings on Apple Watch, from a sensor I'm wearing.pic.twitter.com/IQjJEFnCn9
Thanks. Twitter will use this to make your timeline better. Undo
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.