Justin Cormack

@justincormack

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

Joined August 2009

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.

  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.

  4. Retweeted
    16 hours ago
    Replying to

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

  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"

  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

  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

  8. Dec 24
  9. Retweeted
    Dec 23

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

  10. Retweeted
    Dec 23

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

  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.

  12. Retweeted
    Dec 23

    Ooh nice, didn't know about execveat

  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."

  14. Retweeted

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

    , , and 7 others
  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

  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.

    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.

  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"

  19. Retweeted
    Dec 23

    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.

  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. 🎉

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

    ·