Alastair Reid

@alastair_d_reid

Researcher at Google: formal specification/verification, security, computer architecture, ... Using Haskell, Z3, Verilog, Scala, Coq, ... Tweets are my own.

Cambridge, England
Vrijeme pridruživanja: lipanj 2010.

Tweetovi

Blokirali ste korisnika/cu @alastair_d_reid

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

  1. Prikvačeni tweet
    29. ruj 2019.

    I start my new job at Google Research today! I’ll be working on project Oak with and . It’s going to be a lot of fun!

    Poništi
  2. 23. sij

    Got the book. Now I need to get it signed...

    Poništi
  3. 23. sij

    Harsh political commentary in the cocktail menu

    Poništi
  4. 17. sij

    Really looking forward to my first ever (also HASE, VMCAI, PriSC). No idea which people I know will be there (or which ones I should know but don’t) - ping me.

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

    Found my old car licence plate

    Poništi
  7. 2. sij

    I wrote a quick guide to using ARM's ASL interpreter to run Arm's specification. Happy New Year!

    Poništi
  8. 10. pro 2019.

    Celebrating Alan Turing with style

    Poništi
  9. proslijedio/la je Tweet

    At conferences, I use Inigo Montoya’s guide to Networking Success (Yes, really. Otherwise I always forget to say my name🤦🏻‍♀️) 1. Greeting 2. Name 3. Relevant personal connection 4. What to expect from the encounter

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

    HOW TO GIVE A CONFERENCE TALK IN FIVE EASY STEPS 1. Write the outline! It'll help you collect your thoughts and make a good talk!!! 2. Write a first draft! Doesn't need to be that good, just get your thoughts down!!! 3. Rehearse! Read the draft aloud and see if it sounds good!

    Prikaži ovu nit
    Poništi
  11. 26. stu 2019.

    Two gaps at present: 1. Hard to use direction of connections in model because we don’t have the data for human brains 2. Model depends on parameters that they can’t relate to in vitro data. (If they use in vitro data, model would have you dead in weeks not decades)

    Prikaži ovu nit
    Poništi
  12. 26. stu 2019.

    This view was interesting. The two obvious regions are the left and right hemispheres - the sparse quarters show how little connection there is between them.

    Prikaži ovu nit
    Poništi
  13. 26. stu 2019.

    Started with continuous model, reduced it to a discrete model representing connection strengths/lengths in a matrix. Able to reproduce some disease patterns (But not ALS)

    Prikaži ovu nit
    Poništi
  14. 26. stu 2019.

    Interesting talk last night in Cambridge “Mathematics vs dementia” modelling how disease spreads through the brain following the connectome.

    Prikaži ovu nit
    Poništi
  15. 19. stu 2019.

    Looking forward to the Facebook Testing and verification symposium in London today.

    Poništi
  16. 10. stu 2019.

    “Among [John Bercow, the speaker of the House of Commons] reforms are, famously, the establishment of a nursery in what was previously the House of Commons pistol range”. I’m not sure whether to be surprised that there was a shooting range in Parliament.

    Poništi
  17. proslijedio/la je Tweet
    7. stu 2019.

    We’re proposing to start holding SOSP and OSDI each year about six months apart, preferably starting in 2021 or 2022. (Lack of specifics intentional; there are a lot of things to coordinate with.) See more at , and let us know your thoughts!

    Prikaži ovu nit
    Poništi
  18. 10. stu 2019.

    About 20 years ago, my (much) younger brother told me about an amazing Swedish band with a weird name. The name was a palindrome. So I just discovered Nina Hagen and I feel like when Graeme discovered ABBA.

    Poništi
  19. 8. stu 2019.

    But it was a good day because I wrote some racket code today. My first proper, paying* programming job involved writing a compiler in Lisp. Nice to feel the parentheses between my toes again. * “proper, paying” == I could buy all the climbing equipment I wanted and pay rent

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

    I tried to download ’s machine readable ISA spec today but got a 404 instead. A bit frustrating given my former role :-)

    Prikaži ovu nit
    Poništi
  21. 27. lis 2019.

    Cowering in fear at the summit of Black Mountain with ⁦⁩ Josef and Niklas

    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:

    ·