Marek Bernát

@mimblewabe

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

Joined October 2009

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. Retweeted
    Jan 28

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

  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.

  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

  6. Retweeted
    Jan 15
  7. Retweeted
    31 Dec 2016

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

  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
  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.

  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.

  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

  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!

  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

  17. 5 Oct 2015

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

  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.

  20. Retweeted
    17 May 2015

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

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

    ·