Matthew Fernandez

@wattsamata

Security researcher at Intel. Formal verification, systems software, CPU architecture, introverted but opinionated. Always happy to mentor or be mentored.

Vrijeme pridruživanja: siječanj 2018.
72 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @wattsamata

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

  1. Prikvačeni tweet
    12. lip 2018.

    Not even midday and a colleague has already called my actions “just totally bizarre.” Off to a great start.

    5 korisnika označava da im se sviđa
    Poništi
  2. prije 16 sati

    OH: this is the opposite of embarrassingly parallel. It’s like proudly perpendicular.

    1 reply
    Poništi
  3. 3. velj

    wanted: an established way of tracking errata to publications

    1 reply 2 korisnika označavaju da im se sviđa
    Poništi
  4. 1. velj

    This is well intentioned, but misguided. This is like shaming providers of public bathrooms for being available to ICE.

    Thousands of open source projects are being used by Palantir to help ICE carry out human rights abuses. And we're naming names. Tear down the wall at
    5 korisnika označava da im se sviđa
    Poništi
  5. 30. sij

    years ago one of my automation scripts went haywire and assigned wrong album art to every song and it’s kind of great

    1 korisnik označava da mu se sviđa
    Poništi
  6. 24. sij

    What is the canonical reference for the “fuel” trick for proving termination? I’ve only ever seen it referred to as “the usual fuel trick” with no reference.

    1 korisnik označava da mu se sviđa
    Poništi
  7. 24. sij

    Thanks to the hard work of Debian volunteers and bots, looks like my model checker will be natively installable on Ubuntu 20.04!

    3 korisnika označavaju da im se sviđa
    Poništi
  8. 23. sij

    Yesterday I tried to persuade someone not to do something silly and they countered with, “Ah but you see, I am a fool.” Still annoyed that was such an effective argument.

    1 reply 2 korisnika označavaju da im se sviđa
    Poništi
  9. 7. sij

    for people who chose a career that involves a lot of it, programmers sure seem to hate typing

    1 reply
    Poništi
  10. 6. sij

    me, holding a flashlight under my chin: as the child slept, the monster stalked on, silently leaking memory. Its heap grew and grew and GREW. Who could fathom this shapeless horror??? coworker: can you keep it down? I don’t think this is what they mean by rubber duck debugging.

    1 proslijeđeni tweet 9 korisnika označava da im se sviđa
    Poništi
  11. 3. sij

    it has been 0 days since a shortcut from my Linux muscle memory opened some Windows Hello Cortana Ink Workspace bullshit

    2 korisnika označavaju da im se sviđa
    Poništi
  12. 1. sij

    well this is quite extra

    1 korisnik označava da mu se sviđa
    Poništi
  13. proslijedio/la je Tweet
    29. pro 2019.

    Man all these people insisting that nobody needed to do anything and Y2K just went away are probably mystified every week by the miracle of their laundry getting done

    15 proslijeđenih tweetova 99 korisnika označava da im se sviđa
    Poništi
  14. 18. pro 2019.

    Very cool! And found a spec bug!

    My latest little 1-day project: generating a Z3 SAT model of x86 intrinsics from Intel's documentation. This can help prove SIMD code correct, find lookup table values, etc.
    Prikaži ovu nit
    4 korisnika označavaju da im se sviđa
    Poništi
  15. 16. pro 2019.

    always nice to find madness like this in your logs

    Poništi
  16. 13. pro 2019.

    bae: how was work? Did they fire Vim yet? me: lol... wait, you think Vim is someone I work with? bae: of course, you complain about him all the time. He sounds like a real pos.

    1 reply 7 korisnika označava da im se sviđa
    Poništi
  17. 12. pro 2019.

    I try to refer to concrete program state as opposed to ghost state but I think there must be a more concise way of saying this so I search “opposite of ghost” and the internet tells me “replying to text messages.” Helpful, thanks.

    1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Poništi
  18. 11. pro 2019.

    OH: look, we can debate the pros and cons of different web browsers all day, but can we at least all agree Firefox has the coolest name?

    1 reply 6 korisnika označava da im se sviđa
    Poništi
  19. 11. pro 2019.

    so how do people actually use LLDB?

    1 reply 1 korisnik označava da mu se sviđa
    Poništi
  20. 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!)

    29 proslijeđenih tweetova 80 korisnika označava da im se sviđa
    Poništi
  21. 6. pro 2019.

    Is there some variant of Dunning-Kruger to describe the inverse relationship between the willingness to trust a technology and how much you know about how it works?

    7 korisnika označava da im se sviđa
    Poništi

@wattsamata 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:

    ·