Joey Dodds

@n1nj4

In order of average hours per week: Family, Sleep, Research Engineer at Galois, Video Games. This is a personal account.

Portland, OR
galois.com/team/joey-dodd…
Vrijeme pridruživanja: ožujak 2007.
105 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @n1nj4

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

  1. Prikvačeni tweet
    6. svi 2019.

    Excited to be working on ElectionGuard for in collaboration with . I've been running the project with and . Here's my blog post about it:

    8 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    29. sij

    Good advice from at

    1 reply 4 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet
    29. sij

    At by today? Don’t miss the Governing session chaired by from 10:45 a.m.-12:45 p.m. for discussions on trustworthy , Internet infrastructure , the state of stalkerware and !

    4 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  4. proslijedio/la je Tweet
    25. sij

    It depends! * Not public yet but there is an effort to verify medical equipment using the new automation in * Also not public but there are at least 2 commercial efforts to build a thing like ^that one^ but more dev friendly, for ring0 ! * Hire !

    Odgovor korisniku/ci @intoverflow
    Any suggestions for realistic partial/transition approaches for firmware-ish code like ME? :) I've seen so much of that kind of vendor firmware, full of security issues caused by hardware interfaces/memory layout/etc chaos which I have *no* idea how they'd even start modelling.
    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    23. sij

    also, Andrew and his spouse are planning to skip the last day of the conference in order to go bird-watching

    1 reply 1 proslijeđeni tweet 35 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    20. sij

    What about industrial audiences? is working with now. 😯😯

    1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    28. lis 2019.

    Learn about , the application of automated reasoning to help answer critical questions about your infrastructure. Check out research and insights from our automated reasoning experts:

    20 proslijeđenih tweetova 56 korisnika označava da im se sviđa
    Poništi
  8. 23. lis 2019.

    Find someone that looks at you the way my kid looks at his freaky Lego creations

    1 reply 6 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    18. lis 2019.

    Another fine entry in the Galois dev tutorial series

    1 reply 1 proslijeđeni tweet 4 korisnika označavaju da im se sviđa
    Poništi
  10. 14. lis 2019.

    I want to change my nick to "spooky disjunction" for halloween, but it's far to niche of a separation logic joke

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

    This is how it usually works out. Contact your favorite researchers. Most of them want to help you

    So, because I was a somewhat impudent 14yo, I emailed Simon Peyton-Jones. Looking back I really dont know how I hoped this would work out.. I really shouldn't have gotten a response. But, in fact, spj wrote a very nice and encouraging response, referring me to some good resources
    Prikaži ovu nit
    7 korisnika označava da im se sviđa
    Poništi
  12. 23. kol 2019.

    1 korisnik označava da mu se sviđa
    Poništi
  13. proslijedio/la je Tweet
    23. kol 2019.
    Odgovor korisnicima i sljedećem broju korisnika:

    1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  14. 20. kol 2019.

    3 korisnika označavaju da im se sviđa
    Poništi
  15. 16. kol 2019.

    This is a PL memes twitter account now

    1 reply 5 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    15. kol 2019.

    Can journals make PL research more accessible? , EIC of TOPLAS, thinks so.

    8 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Poništi
  17. 14. kol 2019.

    2 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    3. srp 2019.
    Odgovor korisniku/ci

    Thank you for teeing this up

    3 proslijeđena tweeta 13 korisnika označava da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    2. lip 2019.

    "Microsoft bets on ElectionGuard SDK to fortify election security” by with quotes from , , and .

    3 proslijeđena tweeta 3 korisnika označavaju da im se sviđa
    Poništi
  20. 21. svi 2019.

    We'll have: • Dependently typed API specs (and non-dependently typed) • Protocol specifications in literate Cryptol • Cryptol running withing a server for election encryption, communicating with a frontend • System models in our new LANDO language

    1 proslijeđeni tweet 8 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  21. 21. svi 2019.

    The ElectionGuard open-source day is hurtling towards us and it includes some of the best formal methods we know how to do today. I plan on putting together some twitter threads after the release.

    1 reply 2 proslijeđena tweeta 10 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

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

    ·