Ben Hocking

@BenH343

Princ.Sci. at Dependable Computing, working on , , and other issues. PhD in CS/UVA. MS in astrophys/GSU. He/him.

Charlottesville, VA
Vrijeme pridruživanja: kolovoz 2017.

Tweetovi

Blokirali ste korisnika/cu @BenH343

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

  1. Prikvačeni tweet
    10. svi 2019.

    Hyperdimensional fun fact: an 11-ball of width (or diameter) d has less than 0.1% of the hypervolume of the 11-dimensional hypercube of width d that it would inscribe. Consequence: if you're doing uniform sampling in an 11-dimensional space (or higher), most points are "extreme".

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

    Around 2012 my colleagues and I worked on Intel ME We were bug hunters We read the code Line by line For months 1 team of many Want to tell me formal methods are too expensive? I've done code reviews I've done FM It's time to talk about it

    Poništi
  3. proslijedio/la je Tweet
    26. pro 2019.

    Learn-by-reading is preferable to learn-by-doing when it comes to fatal mishaps. Here's an essential war story list for safety critical embedded systems. Even better, take turns presenting these case studies at your company's lunch and learn.

    Poništi
  4. 12. pro 2019.

    The new Plundervolt vulnerability is an example of the difficulty in using to prove h/w is secure. Proofs often rely on implicit or explicit assumptions that might be violated in the real world. (Of course, such proofs are still valuable.)

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

    strongly agree with this... when doing bug-finding work using model checkers or whatever, say: "false alarm" instead of "false positive" "missed bug" instead of "false negative"

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

    I CAN FINALLY POST THIS ☃️🌲🌨

    Prikaži ovu nit
    Poništi
  7. 27. stu 2019.

    (2/2) …make an assumption about the century based on the 2-digit years provided to us. In many cases, that assumption was that if the year was < 20, the change the year to be 2000+year, but if it was ≥ 20, change it to be 1900+year. I wonder if that logic is still being used…

    Prikaži ovu nit
    Poništi
  8. 27. stu 2019.

    (1/2) As the year 2020 approaches, I remember how back when we dealt with the Y2k bug, we had two general techniques: 1) Where practicable, change the year to be four digits (ideal). 2) Where such a change wasn't practicable (usually because the date format was forced on us)…

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

    Two facts deducible about French bread: • If you toast it, you get French toast. In general, toasted(X bread) = X toast. • It is the same as garlic bread. French bread is synonymous with Gallic bread, which is autocorrected to garlic bread.

    Poništi
  10. 9. stu 2019.

    This thread reminds me of some software developers…

    Poništi
  11. proslijedio/la je Tweet

    For those of you interested in the nitty gritty of model-checking nuclear power plants, this is an excellent dissertation that covers *how* the techniques are applied!

    Poništi
  12. proslijedio/la je Tweet
    Poništi
  13. proslijedio/la je Tweet

    Fairly certain that crude oil is a genuine eldritch horror. • lied in wait in the Earth's crust for literally millions of years • made from the dead bodies of creatures nobody in recorded history has ever seen alive • almost immediately granted us advanced technology

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    4. lis 2019.

    Dear policymakers, We know terrorists are bad. We know they depend on encryption. They also depend on gravity. Asking mathematicians to "backdoor encryption for terrorists but make it safe for everyone else" is as dumb as demanding physicists do the same for gravity.

    Prikaži ovu nit
    Poništi
  15. 5. lis 2019.

    1. First language: Compucolor II Basic 2. Had difficulties: Coq 3. Most used: PVS, SPARK Ada 4. Totally hate: .NET, JavaScript 5. Most loved: PVS, SPARK Ada 6. For beginners: Ruby

    Poništi
  16. 21. ruj 2019.

    My 20-month-old son announced “me eat trees”. I don’t know whether to be more concerned about his grammar, his eating habits, or his lack of environmentalism.

    Poništi
  17. proslijedio/la je Tweet
    20. ruj 2019.

    Me: How was your day? 8yo: I just worry they are doing it wrong. Me: Doing what wrong? 8yo: They separate everything so we can’t understand anything. Who says music isn’t really math or math isn’t science really? Someone made categories but the world is a mushier than that.

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

    Let's talk about this hack a second, because this one? This is a problem. He didn't have a bad password, or forget 2FA. Nobody hacked into Twitter. They bribed someone at a mobile carrier to dupe his phone's sim card.

    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    28. kol 2019.

    I just had such an affirming experience. On my 8hr intl flight back from a conference, I sat next to a father/son. In broken English, the father began to apologize/warn me that his ~10 yr-old son had severe nonverbal autism, and that this would like be a difficult journey. 1/

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

    Design and testing reduce speed. But "velocity" is magnitude AND direction.

    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:

    ·