Tomas Mikula

@tomas_mikula

tomasmikula.github.io
Joined September 2008
12 Photos and videos Photos and videos

Tweets

You blocked @tomas_mikula

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

  1. May 28

    Beautiful Boulder.

    1 retweet 9 likes
  2. May 23

    Boulder, FP therapy, make the connection

    1 reply 4 retweets 11 likes
  3. May 23

    Landed in Denver, looking forward to (my first) !

    1 reply 2 retweets 10 likes
  4. May 11

    Python is also fun, easy and productive if your program is at most 20 lines of code.

    If you had 20 lines to reveal how fun, easy, productive & safe is, what would you show? Share your ! Educational purpose
  5. Apr 30

    I got my ticket! Looking forward!

    This is the final day to get low standard pricing for LambdaConf 2017! Get your ticket right now:
    2 retweets 2 likes
  6. Apr 29

    As a self-payer, this one tipped the scales for me. Before I buy, if anyone has a promo code, I'll donate the diff to the scholarship fund.

    In a late addition to our lineup, THE Dana Scott will be leading a 6 hour Leap Workshop on Theory & Models of Lambda Calculus.
    1 reply 1 retweet 3 likes
  7. Retweeted
    Apr 27

    User stories, estimates, and sprints limit the horizon of what we even think of as our work. People, not projects.

    5 replies 35 retweets 56 likes
  8. Apr 25

    I wonder if waiting for compilation is like waiting at the baggage claim: small fraction of overall time, but disproportionately painful.

    FP-ers in , what feature do you miss the most? Comment if sth else. Please RT (I don't have enough followers to make a statistic)
    2 replies 1 like
  9. Apr 25
    Replying to

    Compile times are a much bigger pain than I thought. For me, the lack of abstractions costs me way more time than waiting for compilation.

    1 reply 2 likes
  10. Apr 25

    Thanks to everyone who responded! Not liking the results (exact reverse of my own wishlist), but the more glad I am I asked. /cc

    FP-ers in , what feature do you miss the most? Comment if sth else. Please RT (I don't have enough followers to make a statistic)
    1 reply 3 likes
  11. Apr 22

    Corollary: A commitment to maintaining backwards compatibility is a commitment to hinder progress.

    "The first step in becoming a better programmer is to let go of the conviction that we can code it once and get it right on the first write"
    1 reply 1 like
  12. Apr 21

    FP-ers in , what feature do you miss the most? Comment if sth else. Please RT (I don't have enough followers to make a statistic)

    9 replies 61 retweets 11 likes
  13. Apr 10

    Hey Center, here's a list of things I think you should prioritize over improving compile times.

    Replying to @jvican @omervk and 2 others
    If you think the SC should prioritise something else, you should propose it and vote against!
    2 likes
  14. Retweeted
    Apr 2

    Guest post by : "Equivalence versus Equality"

    14 retweets 27 likes
  15. Feb 26

    My trolling on how lazy evaluation can lure you into poor design:

    2 likes
  16. Retweeted
    1 Sep 2015

    Creating environments where people are afraid to ask questions means extremists will fill in the void with solutions.

    6 replies 68 retweets 115 likes
  17. Feb 17

    Yes, encoding of ADTs in is somewhat verbose. On the other hand, GADTs are then not a separate new concept. Same syntax for both.

    1 reply
  18. Feb 17

    In total, 4 compiler bugs reported this week.

    Today, I wanted to be productive. Then scalac said no.
    3 likes
  19. Feb 16

    Today, I wanted to be productive. Then scalac said no.

    1 reply 4 likes
  20. Feb 2

    Current experiment: Lambda syntax for Scala EDSLs (without macros or embedding Scala functions)

    3 retweets 4 likes

@tomas_mikula 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

    ·