Daniel Dunbar

@daniel_dunbar

I work on build systems and the Swift Package Manager at Apple. I love testing infrastructure. Previously of Clang, KLEE, and Blender3D. — he/him

San Francisco, CA
Vrijeme pridruživanja: siječanj 2011.

Tweetovi

Blokirali ste korisnika/cu @daniel_dunbar

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

  1. Prikvačeni tweet
    9. srp 2019.

    Do you enjoy server-side Swift, high performance, graph theory, and/or making builds fast? Come work with us! :) Feel free to DM with any questions.

    Poništi
  2. 21. sij

    Surely somewhere on the internet there is a competition for worst bill payment website, and Recology SF is competing their little heart out. 🙄

    Poništi
  3. proslijedio/la je Tweet
    Poništi
  4. 10. sij

    🍎 Watch Gen 1 (years ago): ugh, screen broke, dunno if it’s worth fixing. Gen Now: Argh I left my watch at home maybe I’ll drive back and get it. The improvements and new features are amazing since I last had one...

    Poništi
  5. 7. sij

    Not sure I will —ever_be_ok with mixed -/_ command line arguments

    Poništi
  6. 13. pro 2019.

    Come for the debugging description, stay for the video at the end

    Poništi
  7. 12. pro 2019.

    Why does libc have Bessel functions in it?

    Poništi
  8. proslijedio/la je Tweet
    9. pro 2019.

    I'm happy to share my comments on the climate for men from my talk:

    Poništi
  9. 9. pro 2019.

    TIL you can AirDrop passwords from iOS to macOS, very handy

    Poništi
  10. 7. pro 2019.

    I’ll be closer to worrying about strong AI when googling “nevada 80 road conditions” doesn’t give me a 2007 news article

    Poništi
  11. proslijedio/la je Tweet
    5. pro 2019.

    For those of us that are less well versed in AWS terms, this is a great guide to gain a better understanding of the many tools they offer Thanks for sharing

    Poništi
  12. proslijedio/la je Tweet
    5. pro 2019.

    Why you should come to UC Santa Cruz to do LSD research: (Come join the Languages, Systems, and Data Lab!)

    Poništi
  13. 5. pro 2019.

    What safe toys do you get for the toddler who loves playing with electrical cords, running with sharp objects, and falling from great heights? Are all 2nd kids like this? 😅

    Poništi
  14. 4. pro 2019.

    I finally picked up on vacation, I was a little sceptical... OMG it is so well done I’ve had to restrain myself from racing ahead on the puzzles after kiddo bedtime

    Poništi
  15. 4. pro 2019.

    . your sci fi recommendations have been top notch for vacation, thanks! (Calculating Stars and Murderbot Diaries so far)

    Poništi
  16. proslijedio/la je Tweet

    For your convenience. Start with Karlan.

    Tweet je nedostupan.
    Poništi
  17. 30. stu 2019.

    And if so, does this mean there is untapped land of mathematically complex algorithms yet to be leveraged? And then those would unfortunately be ones that we would have a lot of trouble mechanically proving correct? Seems like this would imply bad news for program synthesis...

    Prikaži ovu nit
    Poništi
  18. 30. stu 2019.

    TIL (a little) about “proof complexity”. It is fascinating to me that such simple axioms have worst case resolution proof complexity. And yet, CDCL SAT solvers work great on many aspects of algorithmic proving... Does this mean that many programs are just not that complex?

    Prikaži ovu nit
    Poništi
  19. 28. stu 2019.

    Is it possible to adjust a gas burners flow rate curve?

    Poništi
  20. 27. stu 2019.

    What if Twitter ... ... had a mute this meme button? 🤯

    Poništi
  21. proslijedio/la je Tweet
    27. stu 2019.

    This story is so cruel it's 🤯. ICE created a fake school, got Indian students to pay tuition & get student visas then deported them for attending a fake school. They're out of tuition money & immigration status for crime of falling for a US govt run scam

    Prikaži ovu nit
    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:

    ·