Craig Stuntz

@craigstuntz

I can write an incorrect program which is faster than your incorrect program. He/him

Columbus, OH
Vrijeme pridruživanja: rujan 2009.

Tweetovi

Blokirali ste korisnika/cu @craigstuntz

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @craigstuntz

  1. Prikvačeni tweet
    6. ožu 2017.

    Left, the Mu-loop from FlooP, a 1979 PL invented to illustrate boundaries of Turing completeness. Right, an example from the MySQL manual.

    Poništi
  2. proslijedio/la je Tweet
    1. velj

    Programming languages without garbage collection send us down a long path of design decisions that lead to slow compile times and fragile runtime performance cliffs.

    Prikaži ovu nit
    Poništi
  3. 31. sij

    Wow, I'm reasonably well informed about IEEE 754-2008 floats, but I've never seen this before! "We’re going to look at how JSCore uses NaN-boxing… Notably we can store 32 bit integers, and 48 bit pointers…. This means that we can store every value in the language in 64 bits."

    Poništi
  4. 31. sij

    The Cloud and DevOps tracks are looking a little lean in terms of the number of submissions; if you have a talk on one of those subjects, I'd like to see your session proposal. You have a good chance of getting in!

    Prikaži ovu nit
    Poništi
  5. 31. sij

    The Stir Trek CFP closes *tomorrow!* Get your talk proposals in soon! It's a nonprofit conference led by the community, and it's a lot of fun!

    Prikaži ovu nit
    Poništi
  6. 31. sij
    Poništi
  7. 30. sij

    Again, demo code, but not a good look from Google. Don't defend your API from SQL injection like this:

    A regular expression which filters a few SQL injection attacks.
    Prikaži ovu nit
    Poništi
  8. 30. sij

    I realize this is demo code, but TBQH I expect a bit more from Google than "retrieve the twitter API token from cache based on a `client_id` passed as a URL query string." 😲

    Apigee configuration which does what the post says.
    Prikaži ovu nit
    Poništi
  9. 29. sij

    Blogged: "Gray Failure" (my summary of a great paper characterizing errors in distributed systems)

    Poništi
  10. proslijedio/la je Tweet
    29. sij

    The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back. considers where we are now while recapping the distinguished panel she organized to discuss POPLmark's impact.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    29. sij

    The Underpants Problem: Your $4 billion unicorn startup is in an account whose root email is set to the gmail account your founder uses to buy underpants on .

    Poništi
  12. proslijedio/la je Tweet

    quotes: “We’ve been good at persuading folks to not roll their own crypto, but we have been really bad at persuading cryptographers to not roll out their own UI/UX. We’re sorry.”

    Poništi
  13. proslijedio/la je Tweet
    27. sij

    nice blog post by summarizing replies to my question about modernizing a compiler course!

    Poništi
  14. proslijedio/la je Tweet
    27. sij

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    Poništi
  15. 26. sij

    Don't disable zoom on mobile web pages. Just don't.

    Poništi
  16. proslijedio/la je Tweet
    25. sij

    Really thorough write-up of the “state of tails calls in .NET”, with lots of interesting, low-level info

    Poništi
  17. 25. sij

    Just got clickjacked on the Mac's Touch Bar as iTunes shifted from the scrubber to an "OK/Cancel" dialog box.

    Poništi
  18. 24. sij
    Poništi
  19. proslijedio/la je Tweet
    23. sij

    Just finished the ITICSE working group's paper on compiler error messages: What an absolutely fantastic piece of work. I'm not new to this space, but I learned a lot!

    Poništi
  20. 24. sij

    Had to look twice at this promoted tweet. Regretfully, it's not *the* Bob Harper!

    Corner of a promoted tweet from some other dude named Bob Harper
    Poništi
  21. proslijedio/la je Tweet
    22. sij

    This. It's hard to imagine how Apple are going to resolve this, it took a long time to accept that the auditor problems were fundamental, and it's hard to see how itp is any different here. Prediction: after a few failed attempts to rework it, they'll come to the same conclusion.

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·