Justin Cormack

@justincormack

Security, open source, cloud, LinuxKit, BSD, unikernels, work

Cambridge, England
cloudatomiclab.com
Joined August 2009
1,417 Photos and videos Photos and videos

Tweets

You blocked @justincormack

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @justincormack

  1. Retweeted
    13 hours ago
    Replying to

    Hi John, So I sorta agree with him that formal is a lot of work - but I see hope in the SMT-based approaches coming out of UW. The real bottleneck I see is creating specs of real stuff: Linux syscall ifc, /usr/lib/*, ISO C, C as used in Linux, ... No specs, no proofs.

    3 replies 3 retweets 13 likes
  2. 2 hours ago

    "Researchers said the mystery of why Cambridge has so much mistletoe has been answered"

  3. 15 hours ago

    Having some sloe gin I made seven years ago. Pretty tasty.

    2 replies 6 likes
  4. Retweeted
    16 hours ago
    Replying to

    Attention this is getting makes me concerned it's more than just KASLR-bypass infoleak...

    3 replies 2 retweets 5 likes
  5. 19 hours ago

    Linux, for the first time, is in the process of merging a security patch that will cause significant slowdown "all existing x86 processors are seemingly affected by information-disclosure vulnerabilities, future processors may not be"

    4 replies 77 retweets 141 likes
  6. Dec 24

    "Not since the days of small magnetic core memories fifty years ago have we had mutable memory from which our programs execute directly and still survive power cycling" by

    1 reply 4 retweets 6 likes
  7. Retweeted
    Dec 24

    Here are a few slightly nostalgic reflections on Christmas traditions And a quick intro to my Leave and Remain Christmas trees

    20 replies 24 retweets 121 likes
  8. Dec 24

    “C’est le coeur du fromage anglais”

  9. Retweeted
    Dec 23
    Replying to

    $5 to anyone who can explain how execveat is supposed to work with #!

    1 reply 1 retweet 2 likes
  10. Retweeted
    Dec 23

    The First Photographs of Snowflakes: Discover the Groundbreaking Microphotography of Wilson “Snowflake” Bentley (1885)

    3 replies 147 retweets 248 likes
  11. Retweeted
    Dec 18

    This is a VERY rare opportunity. is like that songwriter you never heard about, but wrote all your favorite songs and has a box full of platinum records gathering dust in the attic. Without her work, Docker would not be the engineering execution machine it is today.

    Join us on Thursday 1/11 @ 5PM for a chat w/ , Director of Product Planning !
    2 replies 13 retweets 45 likes
  12. Retweeted
    Dec 23
    Replying to

    Ooh nice, didn't know about execveat

    1 retweet 4 likes
  13. Retweeted
    Dec 22

    "You can take the red passport and the story ends. You wake up in your bed and everything's fine." "Or you can take the blue passport and wake up in a dystopian nightmare future where everyone is poor and desperate and things have gone horribly fucking wrong."

    268 replies 8,030 retweets 18,586 likes
  14. Retweeted
    Dec 23

    The transistor was first demonstrated 70 years ago, in 1947, opening the door to a digital future

    , , and 7 others
    3 replies 53 retweets 68 likes
  15. Retweeted
    Dec 23

    He's making a list He's checking it twice Which syscalls are naughty And which ones are nice ain't letting you down

    Ok for the blog this Christmas I listicled on syscalls Eleven syscalls that suck Eleven syscalls that rock yes these are your (page) fault
    4 retweets 12 likes
  16. Retweeted
    Dec 23

    “But you can achieve simplicity by brute forcing complexity and see what worked best!!!” You can randomly generate 2000x5000 pixels and assume one day you’ll achieve Mona Lisa too.

    2 replies 8 retweets 22 likes
    Show this thread
    Show this thread
  17. Retweeted
    Dec 23

    Cook's Camden: ‘an architectural resolution unsurpassed not just in social housing in the UK but in urban housing anywhere in the world’. Mark Swenarton's new book shows why.

    4 replies 50 retweets 126 likes
  18. Dec 23

    "not exploited until commercial bakers like the great Lionel Poîlane took over the family business in 1970, and introduced mechanical kneading"

    1 retweet 2 likes
  19. Retweeted
    Dec 23
    Replying to

    vm post migration, generational gc for lang runtimes (), app-specific mmap (), memory dissagregation (), and my personal favorite, dist shared memory. I have to say tho, the uffd still needs a lot of work.

    2 retweets 6 likes
  20. Retweeted
    Dec 22

    Sat next to an older woman on my flight to the Midwest. She worked as an anthropologist at Xerox PARC in the 90s. Her job? Figuring out how to stop interviewing software engineers with rote algorithmic questions. I told her the CS world is still awful at interviewing. 🎉

    25 replies 422 retweets 1,749 likes

@justincormack hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·