Skip to content
By using Twitter’s services you agree to our Cookies Use. We and our partners operate globally and use cookies, including for analytics, personalisation, and ads.
  • Home Home Home, current page.
  • About

Saved searches

  • Remove
  • In this conversation
    Verified accountProtected Tweets @
Suggested users
  • Verified accountProtected Tweets @
  • Verified accountProtected Tweets @
  • Language: English
    • Bahasa Indonesia
    • Bahasa Melayu
    • Català
    • Čeština
    • Dansk
    • Deutsch
    • English UK
    • Español
    • Filipino
    • Français
    • Hrvatski
    • Italiano
    • Magyar
    • Nederlands
    • Norsk
    • Polski
    • Português
    • Română
    • Slovenčina
    • Suomi
    • Svenska
    • Tiếng Việt
    • Türkçe
    • Ελληνικά
    • Български език
    • Русский
    • Српски
    • Українська мова
    • עִבְרִית
    • العربية
    • فارسی
    • मराठी
    • हिन्दी
    • বাংলা
    • ગુજરાતી
    • தமிழ்
    • ಕನ್ನಡ
    • ภาษาไทย
    • 한국어
    • 日本語
    • 简体中文
    • 繁體中文
  • Have an account? Log in
    Have an account?
    · Forgot password?

    New to Twitter?
    Sign up
cmuratori's profile
Casey Muratori
Casey Muratori
Casey Muratori
@cmuratori

Tweets

Casey Muratori

@cmuratori

I'm worried that the baby thinks people can't change.

Seattle
caseymuratori.com
Joined March 2009

Tweets

  • © 2021 Twitter
  • About
  • Help Center
  • Terms
  • Privacy policy
  • Cookies
  • Ads info
Dismiss
Previous
Next

Go to a person's profile

Saved searches

  • Remove
  • In this conversation
    Verified accountProtected Tweets @
Suggested users
  • Verified accountProtected Tweets @
  • Verified accountProtected Tweets @

Promote this Tweet

Block

  • Tweet with a location

    You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more

    Your lists

    Create a new list


    Under 100 characters, optional

    Privacy

    Copy link to Tweet

    Embed this Tweet

    Embed this Video

    Add this Tweet to your website by copying the code below. Learn more

    Add this video to your website by copying the code below. Learn more

    Hmm, there was a problem reaching the server.

    By embedding Twitter content in your website or app, you are agreeing to the Twitter Developer Agreement and Developer Policy.

    Preview

    Why you're seeing this ad

    Log in to Twitter

    · Forgot password?
    Don't have an account? Sign up »

    Sign up for Twitter

    Not on Twitter? Sign up, tune into the things you care about, and get updates as they happen.

    Sign up
    Have an account? Log in »

    Two-way (sending and receiving) short codes:

    Country Code For customers of
    United States 40404 (any)
    Canada 21212 (any)
    United Kingdom 86444 Vodafone, Orange, 3, O2
    Brazil 40404 Nextel, TIM
    Haiti 40404 Digicel, Voila
    Ireland 51210 Vodafone, O2
    India 53000 Bharti Airtel, Videocon, Reliance
    Indonesia 89887 AXIS, 3, Telkomsel, Indosat, XL Axiata
    Italy 4880804 Wind
    3424486444 Vodafone
    » See SMS short codes for other countries

    Confirmation

     

    Welcome home!

    This timeline is where you’ll spend most of your time, getting instant updates about what matters to you.

    Tweets not working for you?

    Hover over the profile pic and click the Following button to unfollow any account.

    Say a lot with a little

    When you see a Tweet you love, tap the heart — it lets the person who wrote it know you shared the love.

    Spread the word

    The fastest way to share someone else’s Tweet with your followers is with a Retweet. Tap the icon to send it instantly.

    Join the conversation

    Add your thoughts about any Tweet with a Reply. Find a topic you’re passionate about, and jump right in.

    Learn the latest

    Get instant insight into what people are talking about now.

    Get more of what you love

    Follow more accounts to get instant updates about topics you care about.

    Find what's happening

    See the latest conversations about any topic instantly.

    Never miss a Moment

    Catch up instantly on the best stories happening as they unfold.

    1. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @sudo_lindenberg @adamgordonbell

      This is why I use the term "first class" and "second class". The rules of the machine you program on are "first class" - they cannot be broken, and are true by default. Anything you put on top of that is second class - it is only true or valuable if you can demonstrate that.

      1 reply 0 retweets 2 likes
    2. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @sudo_lindenberg @adamgordonbell

      This is why we routinely have modern software that is literally thousands of times slower than the underlying machine is capable of. It is simply due to people using extraordinarily expensive combinations of second-class concepts they have not evaluated.

      1 reply 0 retweets 3 likes
    3. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @sudo_lindenberg @adamgordonbell

      The situation is especially difficult because some second-class concepts can safely be used in some circumstances, and not in others, but most programmers today don't have the knowledge necessary to correctly make that decision.

      1 reply 0 retweets 2 likes
    4. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @sudo_lindenberg @adamgordonbell

      So the primary thing people like me are arguing for is that people need to learn things like assembly language, not because they need to write code in it, but because if they don't understand it, they don't really understand the high-level code either. They just think they do.

      1 reply 0 retweets 5 likes
    5. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @sudo_lindenberg @adamgordonbell

      In summary, we are saying programmers should learn how the machine works, and evaluate their higher-level constructs against the resulting machine behavior those constructs produce. Nobody is arguing that everything has to be hand-coded in asm. I certainly don't do that myself :)

      2 replies 0 retweets 6 likes
    6. Adam Gordon Bell  🤓‏ @adamgordonbell Mar 3
      Replying to @cmuratori @sudo_lindenberg

      I feel like a future long-form discussion is needed. I think the people who use the phrase "A sufficiently smart compiler" ... (which occasionally includes me) and people whose browser autocompletes g to 'http://godbolt.org ' need to talk more.

      2 replies 0 retweets 2 likes
    7. Casey Muratori‏ @cmuratori Mar 3
      Replying to @adamgordonbell @sudo_lindenberg

      We could have an entire long-form discussion (argument?) just on the phrase "sufficiently smart compiler" :)

      1 reply 0 retweets 3 likes
    8. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @adamgordonbell @sudo_lindenberg

      As a point of reference, the LLVM team still routinely ships horrific codegen bugs for plain C code (ex: https://youtu.be/R5tBY9Zyw6o?t=5879 …). The notion that somehow there will be compilers that are "smart" in the future doesn't really make much sense.

      1 reply 0 retweets 2 likes
    9. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @adamgordonbell @sudo_lindenberg

      If just plain C code is already too complicated to ensure good codegen, how can we possibly expect compilers to eventually be so smart as to do good codegen for dramatically more complicated constructs?

      1 reply 0 retweets 3 likes
    10. Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @adamgordonbell @sudo_lindenberg

      Worse yet, the "smarter" you expect the compiler to be, the more unpredictable it becomes, leading to yet more codegen issues - small changes to the source suddenly produce huge, unexpected changes in the output, making it very hard to work with.

      1 reply 0 retweets 3 likes
      Casey Muratori‏ @cmuratori Mar 3
      Replying to @cmuratori @adamgordonbell @sudo_lindenberg

      Obviously I don't know, but I would suspect anyone who uses the term "sufficiently smart compiler" just doesn't spend very much time actually looking at what compilers have traditionally been capable of in their 70 year history.

      12:00 PM - 3 Mar 2021
      • 3 Likes
      • DrunkenBanana Ivan Braidi
      1 reply 0 retweets 3 likes
        1. New conversation
        2. Casey Muratori‏ @cmuratori Mar 3
          Replying to @cmuratori @adamgordonbell @sudo_lindenberg

          Now, of course, I'd love to suddenly be wrong about this. Maybe we'll have amazing compilers next year. But until we do, I think people need to be much more realistic about what compilers can and cannot be expected to reliably produce in a production environment.

          1 reply 0 retweets 2 likes
        3. Casey Muratori‏ @cmuratori Mar 3
          Replying to @cmuratori @adamgordonbell @sudo_lindenberg

          There's an n^2 thing here. Everything that requires "smarts" in the compiler doesn't just have to work by itself. It has to work with all the _other_ things you wanted it to be "smart" about. Eventually, as N gets large enough, it becomes impossible even to test, let alone write.

          0 replies 0 retweets 3 likes
        4. End of conversation

      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.

        Promoted Tweet

        false

        • © 2021 Twitter
        • About
        • Help Center
        • Terms
        • Privacy policy
        • Cookies
        • Ads info