2022 NAE Frontiers of Engineering I introduced the 2022 National Academy of Engineering Frontiers of Engineering conference on September 21st. The National Academy of Engineering was founded in 1964 is part of The National Academies of Sciences, Engineering, and Medicine. The NAE operates under the same congressional act of incorporation that established the National Academy of Sciences,
Verifying distributed systems with IsabelleHOL This post also appears on Larry Paulson’s blog. We use distributed systems every day in the form of internet services. These systems are very useful, but also challenging to implement because networks are unpredictable. Whenever you send a message over the network, it is likely to arrive quite quickly,
LtU is now running in a new more stable environment LtU has experienced a long period of downtime recently. Its software infrastructure was outdated enough that it became difficult to maintain when problems arose. It has now been migrated to a brand new environment. It should be much more stable from now on.
A Short History of AWS Silicon Innovation Why would a cloud services company design and deploy custom semiconductors? It definitely wasn’t where I expected we would end up when I joined AWS in 2009 but it’s a decision that has just kept delivering for our customers. It’s been 10 years since those early ideas and, in reflecting
Scrivendo Wohpe (English translation of this post: http://antirez.com/news/136) Dopo due anni di lavoro, finalmente, Wohpe, il mio primo libro di fantascienza, ma anche il mio primo scritto di prosa di questa lunghezza, è uscito nelle librerie fisiche italiane, su Amazon, e negli altri store digitali. Lo trovate qui: https://www.amazon.it/Wohpe-Salvatore-Sanfilippo/dp/B09XT6J3WX Dicevo: il primo scritto di
Writing Wohpe (Traduzione italiana di questo post: http://antirez.com/news/137) [Sorry for the form of this post. For the first time I wrote a post in two languages: Italian and English. So I went for the unusual path of writing it in Italian to start, translating it with Google Translate, and later I just scanned
Graviton3 EC2 C7g General Availability Today we’re making the AWS Graviton3 processor generally available in the AWS EC2 C7g Instances. Graviton3 and EC2 C7g Instance Type General Availability Video Graviton3 is the third generation of the AWS Graviton CPUs and it continues to raise the bar on performance. Graviton is one of our 4 semiconductor
Graydon Hoare 21 compilers and 3 orders of magnitude in 60 minutes In 2019, Graydon Hoare gave a talk to undergraduates (PDF of slides) trying to communicate a sense of what compilers looked like from the perspective of people who did it for a living. I’ve been aware of this talk for over a year and meant to submit a story here, but
Book Review The Future of Fusion Energy I give a five-star ⭐️⭐️⭐️⭐️⭐️ rating to the following book: Jason Parisi and Justin Ball. The Future of Fusion Energy. World Scientific, 2019. ISBN 978-1-78634-749-7. Available from Amazon US, Amazon UK, and many other retailers. I came to this book looking for answers to questions such as: Is there
Xen-on-Nitro AWS Nitro for Legacy Instances On August 25, 2006, we started the public beta of our first ever EC2 instance. Back then, it didn’t even have a name yet, but we latter dubbed it “m1.small.”. Our first customers were able to use the equivalent of 1.7 GHz Xeon processor, 1.75 GB of RAM, 160 GB