Chris Poskitt

@ChrisPoskitt

Faculty at Singapore Management University (). Software engineering, formal methods, cybersecurity, and computer science education.

Singapore
chrisposkitt.com
Vrijeme pridruživanja: svibanj 2009.
368 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @ChrisPoskitt

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

  1. proslijedio/la je Tweet
    20. sij

    We () just opened our software testing lecture notes. It currently contains 14 full chapters, 52k words, 63 videos, and 82 exercises. License: CC-BY-NC-SA. Feel free to use it!

    15 replies 193 proslijeđena tweeta 415 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    17. sij

    Your regular reminder that Britain, from 1966-1995, had a Motorail network. Slower cars, worse motorways and less-crowded railways then are among the reasons why it was a viable proposition (but v hard to make work now) on UK rail, but that doesn't stop me wishing that it could

    107 replies 220 proslijeđenih tweetova 1.080 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    13. sij

    First day of the new semester.

    5 replies 201 proslijeđeni tweet 503 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    13. sij

    “Incorrectness Logic”: Peter O’Hearn’s new fundamental logic of programs, interestingly dual to Hoare’s correctness logic. A theoretical foundation for answering questions like, “how can this code go wrong?” To be presented at

    1 reply 10 proslijeđenih tweetova 34 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    7. sij

    If work was the only thing giving substance to my life, I suspect the thin gruel would have killed me by now. You only get one life - make the most of it, and use it in the way that is right for you.

    Food for thought from Physics Laureate , awarded the 1921 Physics Prize.
    5 replies 20 proslijeđenih tweetova 169 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    4. sij

    I did not know that quote of Winston Churchill until tonight: “Success consists of going from failure to failure without loss of enthusiasm.” Pretty much defines research (or 99% of it), doesn’t it? :-)

    1 reply 16 proslijeđenih tweetova 59 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    20. pro 2019.

    Is this the best prediction in the history of tech? (Written in 1999)

    138 replies 2.512 proslijeđenih tweetova 7.590 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    21. pro 2019.

    This semester I taught a course on programming language semantics and abstract interpretation. All of the slides are freely available in PDF and Keynote here: . I really loved presenting this, and am thankful for the students who worked so hard to learn it

    8 replies 79 proslijeđenih tweetova 308 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    10. pro 2019.

    I see a lot of complaints in my Twitter stream about academic conferences rejecting papers. I think many somewhat miss the point - a lot of unfair rejections are a direct result of the current incentive structures that generate too many papers and focus them on too few confs.

    47 proslijeđenih tweetova 128 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    9. pro 2019.

    Seems that there are no more needs in compilers, operating systems, databases, etc. That's the old world.

    Is there is a CS department with vacant academic positions that is *not* recruiting in "machine learning, security, robotics, and AI"?
    1 reply 4 proslijeđena tweeta 10 korisnika označava da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    8. pro 2019.

    Is there is a CS department with vacant academic positions that is *not* recruiting in "machine learning, security, robotics, and AI"?

    3 proslijeđena tweeta 24 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    1. pro 2019.

    In nearly 35 years of using computers, I can't think of a *single time* I wanted to copy-and-paste and preserve the source styles in the destination document - why is this the default in every application?

    25 replies 52 proslijeđena tweeta 388 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    19. stu 2019.

    Much of what’s being sold as "AI" today is snake oil. It does not and cannot work. In a talk at MIT yesterday, I described why this happening, how we can recognize flawed AI claims, and push back. Here are my annotated slides:

    4.609 proslijeđenih tweetova 9.894 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    8. stu 2019.

    By printing my course handout with red front covers and green back covers, all 300 of my first year students can vote simultaneously on 3-way questions during my lectures (red, green or hands in the air). I've been doing this for 20 yrs - it was my 1st ever teaching innovation.

    70 replies 263 proslijeđena tweeta 2.672 korisnika označavaju da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    8. lis 2019.

    "I've received tenure at Harvard! I want to thank all of the enemies that I had to destroy to achieve this great honor..."

    21 reply 253 proslijeđena tweeta 1.022 korisnika označavaju da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    30. ruj 2019.

    Early registration for ASE 2019 in San Diego ends today. We have a fantastic program lined up. Don't miss it.

    9 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    24. ruj 2019.

    My colleagues at the Singapore University of Technology & Design (SUTD) are looking for a postdoc to work on security/formal methods for cyber-physical systems. Please see for more info!

    5 proslijeđenih tweetova 4 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    17. ruj 2019.

    “a postdoctoral researcher with a three-year contract, a partner and two children on the average salary is now expected to pay more than 30% of their first year’s take-home pay – £7,240 – upfront on visa and immigration costs” 🤯

    Global academic talent, driven out of the UK through incompetence and obstructiveness, driven by racism and Brexit ignorance. This is how great nations fail. On our watch. Right now.
    88 proslijeđenih tweetova 97 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    31. kol 2019.

    Overjoyed to announce that I have N papers accepted to the [name of international conference on X]! [no details about the work or coauthors follow]

    11 replies 39 proslijeđenih tweetova 467 korisnika označava da im se sviđa
    Poništi
  20. proslijedio/la je Tweet
    14. kol 2019.

    Conference organisers using EasyChair, a plea: either allow subreviewers to see reviews and participate in discussions, or disallow subreviewers. It's immensely frustrating to work hard on a review and then see it disappear, especially if you're then asked follow-up qs via email.

    5 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@ChrisPoskitt još nije objavio nijedan Tweet.

Č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:

    ·