Tweetovi

Blokirali ste korisnika/cu @curtis_dunham

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

  1. proslijedio/la je Tweet

    I made a meme about the use of formal methods in the industry.

    Poništi
  2. proslijedio/la je Tweet
    16. pro 2019.

    Why don't we have research bands? I want to be in a research band. We would drop singles (POPL/PLDI papers), B-sides (appendices with meta-theory), and albums (long series of follow-up work, only for devoted fans)

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet

    programs don't ask, "what time is it?" they ask, "how many seconds has it been since 1970?", and i think that's beautiful.

    Poništi
  4. proslijedio/la je Tweet
    12. stu 2019.

    Due to the recent bug we are removing all jump instructions in the next microcode update.

    Poništi
  5. proslijedio/la je Tweet
    1. stu 2019.

    To all the grad students of the world working on a paper that has taken much longer to complete than you initially thought: You are still a great scientist. Your paper will still be awesome. Don't let your brain convince you otherwise.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    2. srp 2019.

    I am consistently impressed with the quality of the code in Martin Escardo's TypeTopology repository. Both the comments and clarity of code are worthy of imitation.

    Poništi
  7. proslijedio/la je Tweet
    12. lip 2019.

    How fast will your code run on the latest Intel chip? Find out with Ithemal (). With only black-box access to a processor, we use machine learning to answer the question () with half the error of Intel's own tools.

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    23. svi 2019.

    The "classical five" exercise (Coq'Art, ex 5.7, p. 123) is even more fun in Agda than it is in Coq.

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    19. svi 2019.

    What starts to hit you very hard, once you've listened to a massive load of music and read a massive load of books from the past, is that it's all been done before, with extreme brilliance, but that's no reason not to have a go at doing it again, in your own individual way.

    Poništi
  10. proslijedio/la je Tweet
    14. svi 2019.

    I’m starting to think there might be a logical flaw in our plan to fix one software vulnerability at a time until they’re all gone.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    9. svi 2019.

    This is clearly the right way to present related work.

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    7. svi 2019.

    The long history of failed OS emulation... If this is correct, 2/3 of the major OSes will be frankenmonsters of conjioned OSes. Recall that OSX is freebsd + mach.

    Poništi
  13. proslijedio/la je Tweet
    21. ožu 2019.

    Really liking copattern syntax in It lets you define folds and so on with the usual pattern-matching syntax

    Poništi
  14. proslijedio/la je Tweet
    28. velj 2019.

    Profs. Daniel A. Jiménez and Calvin Lin won the HPCA Test of Time award for their 2001 paper, “Dynamic Branch Prediction with Perceptrons.”

    Poništi
  15. proslijedio/la je Tweet
    5. stu 2018.

    Ever wondered why Chrome and Gmail have become so much more sluggish and memory hungry?

    Poništi
  16. proslijedio/la je Tweet
    13. ruj 2018.

    "Consciousness in Humans and other Machines": a presentation at

    Poništi
  17. proslijedio/la je Tweet
    6. ruj 2018.

    I love this diagram of type system co/contra-variance

    Poništi
  18. proslijedio/la je Tweet

    "There’s a reason we are conscious, Bach argues, and computers would do well to have the same capabilities." My profile of the inimitable A.I. researcher ⁦⁩ for ⁦⁩.

    Poništi
  19. proslijedio/la je Tweet
    24. kol 2018.
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    29. srp 2018.

    "Constructivism: An expert's view" at +plus magazine.

    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:

    ·