Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @justincormack
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @justincormack
-
Justin Cormack Retweeted
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.
Thanks. Twitter will use this to make your timeline better. Undo -
"Researchers said the mystery of why Cambridge has so much mistletoe has been answered"https://www.bbc.co.uk/news/amp/uk-england-cambridgeshire-42471912 …
Thanks. Twitter will use this to make your timeline better. Undo -
Having some sloe gin I made seven years ago. Pretty tasty.
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
Attention this is getting makes me concerned it's more than just KASLR-bypass infoleak...
Thanks. Twitter will use this to make your timeline better. Undo -
Linux, for the first time, is in the process of merging a security patch that will cause significant slowdown https://lwn.net/SubscriberLink/741878/eb6c9d3913d7cb2b/ … "all existing x86 processors are seemingly affected by information-disclosure vulnerabilities, future processors may not be"
Thanks. Twitter will use this to make your timeline better. Undo -
"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" https://www.ssrc.ucsc.edu/Papers/ssrctr-17-01.pdf … by
@danielbittmanThanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
Here are a few slightly nostalgic reflections on Christmas traditions http://bit.ly/2C5DVva And a quick intro to my Leave and Remain Christmas trees
Thanks. Twitter will use this to make your timeline better. Undo -
“C’est le coeur du fromage anglais”https://www.ft.com/content/51707ac0-e516-11e7-8b99-0191e45377ec …
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
$5 to anyone who can explain how execveat is supposed to work with #!
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
The First Photographs of Snowflakes: Discover the Groundbreaking Microphotography of Wilson “Snowflake” Bentley (1885) http://bit.ly/2poJsrm pic.twitter.com/GYsbvkmHo3
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
This is a VERY rare opportunity.
@AmyLindburg 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.https://twitter.com/holbertonschool/status/942802005357158401 …Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
Ooh nice, didn't know about execveat
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
"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."pic.twitter.com/2g7IAZ7dJB
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
The transistor was first demonstrated 70 years ago,
#OnThisDay in 1947, opening the door to a digital future http://wrd.cm/13txr3j pic.twitter.com/Xs8NVZQcJX
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
He's making a list He's checking it twice Which syscalls are naughty And which ones are nice
@justincormack ain't letting you downhttps://twitter.com/justincormack/status/944563963207016448 …Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
“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 threadThanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
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. https://municipaldreams.wordpress.com/2017/12/19/cooks_camden/ …pic.twitter.com/QARujsX3P8
Thanks. Twitter will use this to make your timeline better. Undo -
"not exploited until commercial bakers like the great Lionel Poîlane took over the family business in 1970, and introduced mechanical kneading"https://www.the-tls.co.uk/articles/public/let-them-eat-bread/ …
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
vm post migration, generational gc for lang runtimes (https://medium.com/@MartinCracauer/generational-garbage-collection-write-barriers-write-protection-and-userfaultfd-2-8b0e796b8f7f …), app-specific mmap (https://github.com/LLNL/umap ), memory dissagregation (https://eric-keller.github.io/papers/2017/fluidmem_techreport_2017.pdf …), and my personal favorite, dist shared memory. I have to say tho, the uffd still needs a lot of work.
Thanks. Twitter will use this to make your timeline better. Undo -
Justin Cormack Retweeted
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.
Thanks. Twitter will use this to make your timeline better. Undo
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.