Rado Kirov

@radokirov

San Francisco
radokirov.com
Joined March 2009
9 Photos and videos Photos and videos

Tweets

You blocked @radokirov

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

  1. Retweeted
    May 25

    If you look at another engineer's work and think, "That's dumb. Why don't you just..." Take a breath. Find out why the problem is hard.

    60 replies 1,101 retweets 2,295 likes
  2. Retweeted
    May 17

    'All of man’s unhappiness comes from his inability to stay peacefully alone in his room.' - Blaise Pascal

    3 replies 108 retweets 206 likes
  3. May 12

    So much of my work involves piecing together the semantics of a system through carefully constructed small examples. Is there a better way?

    1 like
  4. Retweeted
    Apr 16

    Hey users - you don't need to wait for Prettier to add support, try clang-format. I wrote a quick howto:

    We just released 1.0 of prettier!
    2 replies 68 retweets 155 likes
  5. Retweeted
    Apr 13

    Our societies are so good at teaching us how to generate ambitions. We also need to learn the art of - occasionally - surrendering them.

    9 replies 216 retweets 495 likes
  6. Retweeted
    Apr 7

    just announced publicly that is now one of the official languages used at !

    8 replies 272 retweets 364 likes
  7. Retweeted
    Mar 29

    You either die a microlibrary or you live long enough to see yourself become the monolith.

    OH: "A default app from `create-react-app` has ~150KB of compiled JS. And then 1.6M of source mapping" "Hello world, indeed"
    5 replies 46 retweets 112 likes
  8. Retweeted
    Mar 23

    'The hardest problem in computer science is not being an opinionated jerk about everything.' --

    7 replies 354 retweets 474 likes
  9. Retweeted
    Mar 20

    Looks like we have 7 proofs and one counter-example. Makes you wonder if we are doing this "strong theoretical foundations" thing right...

    9 replies 33 retweets 61 likes
  10. Retweeted
    4 Oct 2012

    Greenspun's 11th rule: Any sufficiently complicated type system contains an ad-hoc, slow implementation of half of Prolog.

    1 retweet
  11. Mar 9

    Prediction: future generations will laugh at our obsession with taxonomy - symbol -> object -> module -> project

    2 likes
  12. Retweeted
    Mar 9

    do you feel like you dont know what youre doing? like youre just making things up as you go along? thats ok, it worked out for computers.

    97 retweets 181 likes
  13. Retweeted
    Mar 1

    One of the things I've only learned since I became old (52) is that some tasks you thought were hard become easy if you do them slowly.

    20 replies 171 retweets 461 likes
  14. Retweeted
    Feb 23

    In our new chapter, "This Man Is About to Blow Up Mathematics," by .

    14 retweets 29 likes
  15. Retweeted
    Feb 14

    "We build our computer (systems) the way we build our cities: over time, without a plan, on top of ruins." - Ellen Ullman

    17 replies 1,818 retweets 2,183 likes
  16. Retweeted
    Feb 9

    A good teacher: someone who retains a clear, compassionate sense of what it was like not to know.

    18 replies 740 retweets 1,411 likes
  17. Retweeted
    Jan 9

    'The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise' - Edsger Dijkstra

    98 retweets 131 likes
  18. Retweeted
    Jan 4

    Wait wait wait, has been willing to accept a PR for HKP for nearly two years and we haven't done it yet?

    2 replies 16 retweets 19 likes
  19. 30 Dec 2016

    What Does Any of This Have To Do with Physics? - Issue 43: Heroes - Nautilus via

    1 retweet
  20. Retweeted
    21 Dec 2016

    The more time I have to spend debugging broken things the less convinced I am that my time is well spent adding features...

    62 retweets 93 likes

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

    ·