Marek Bernát

@mimblewabe

I use Clojure at work and Ocaml at home. I research graph-based visual programming.

Cambridge, England
Joined October 2009
5 Photos and videos Photos and videos

Tweets

You blocked @mimblewabe

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @mimblewabe

  1. Retweeted
    Jan 28

    Scientists unveil new form of matter: Time crystals

    2 retweets 1 like
  2. Retweeted
    Jan 28

    Next FPBrno meetup on 2017-02-22. Would you like to have a talk? Let us know!

    1 reply 5 retweets 4 likes
  3. Retweeted
    Jan 19

    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.

    8 replies 398 retweets 716 likes
  4. Jan 17

    Wow, Manchester by the Sea was amazing, best movie I've seen in a year. Casey Affleck nailed it.

  5. Retweeted
    Jan 17

    The whiteboard coding interview is a lot more like fraternity hazing than a mechanism for predicting job performance

    8 replies 97 retweets 235 likes
  6. Retweeted
    Jan 15

    Our model of innovation via the adjacent possible is featured in Technology Review

    3 replies 67 retweets 110 likes
  7. Retweeted
    31 Dec 2016

    "Remember, exercise is, contrary to stereotypes about weightlifters and athletes, a philosophical endeavor."

    2 replies 26 retweets 65 likes
  8. Retweeted
    29 Dec 2016

    And the award for most idiosyncratic combination of endorsements for a book published in 2016 goes to !

    , , and 3 others
    1 reply 47 retweets 185 likes
  9. 29 Dec 2016

    Paradox of the day: consistently rename all the words in a book. The text becomes unreadable and yet its true meaning is not changed.

    1 reply
  10. Retweeted
    28 Dec 2016

    Mathematicians often like to point out the obvious, such as "Anagram is an anagram of anagram." It gives them a sense of group identity.

    15 replies 374 retweets 696 likes
  11. Retweeted
    29 Dec 2016

    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

    67 retweets 172 likes
  12. 4 Nov 2016
    Replying to

    are you trying to say that these notions are fundamental to setting up a type theory in the first place?

  13. Retweeted
    10 Oct 2016

    My paper "Five stages of accepting constructive mathematics" was published in Bulletin of AMS: I hope you enjoy it!

    1 reply 24 retweets 37 likes
  14. 4 Oct 2016

    at which point the answer will be obvious. Your degree is well-deserved.

  15. 4 Oct 2016

    why are we here?

  16. 15 Oct 2015

    A little evening composition λ> let o = (.) λ> o o o o o o λ> o o o o o o o o o o

    5 likes
  17. 5 Oct 2015

    Current morning routine: pinching myself to make sure I'm not dreaming about my new job.

    6 likes
  18. 27 May 2015

    What are the biggest problems in your life? And why aren't you fixing them? Via

  19. Retweeted
    23 May 2015

    And so ends the debate over whether static types are useful for making programs more robust.

    9 replies 133 retweets 85 likes
  20. Retweeted
    17 May 2015

    Finally approaching future tech. Near real time glucose readings on Apple Watch, from a sensor I'm wearing.

    5 replies 27 retweets 21 likes

@mimblewabe hasn't Tweeted yet.

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.

    You may also like

    ·