Excited to dive into the Cedar Policy Language? Zachary Tatlock is hosting a web series on Cedar, and the first episode is now live! Check it out here: youtube.com/watch?v=CUvtp3…

Powerful Ted Talk by Scott Galloway youtube.com/watch?v=qEJ4hk…

Is he going to be okay?

In 2019, we set a goal to match 100% of the electricity we consumed across Amazon’s global operations – including our data centers, corp buildings, grocery stores, and fulfillment centers – with renewable energy by 2030. Proud to share that we’ve already met that goal, seven

Here's a practical example of how Formal Methods can make code faster: AWS's new proven-correct authorization engine is 65% faster (even at p99.9) than the previous version. youtu.be/oshxAJGrwMU?si…

20+ tips for writing Rust programs x.com/i/broadcasts/1…

Liz Truss doesn't think Kamala Harris is qualified to lead a country. That's a problem because if anyone knows about not being qualified to lead a country it's Liz Truss: x.com/wallstreetcar/…

I started my business to benefit billions of people by accelerating the move to stable, secure and energy efficient software.

How to make a web crawler with Rust x.com/i/broadcasts/1…

Joint Paris 2024 Boxing Unit/IOC Statement olympics.com/ioc/news/joint…

Kristi Noem: No one will top my bizarre animal killing stories. RFK Jr.: Hold my bear.

Building an application in a language that doesn't (yet) have Cedar bindings? Cedar Agent has you covered. » Cedar Agent: Use Cedar Everywhere! from CedarCraft youtu.be/OX3rNuA5zWU?si…

Don’t call it that.

In a #SPLASH keynote, I talk about our work on formally verifying the authorization engine in AWS, which handles trillions of daily requests. Witness formal methods at cloud scale in Pasadena, CA. Join us: 2024.splashcon.org/track/splash-2…

The impact on families of the work of Kᴀᴛʀɪɴᴀ Cʜᴇɴ (陳葦蓁） and the BC NDP on building affordable, quality, accessible childcare is huge. Our action plan builds on that, while John Rustad would cancel our progress and set working families back thousands per year! bcndp.ca/actionplan

Hm, vote for the party lead by the climate denialist today or…? #bcpoli

We knew this was going to be a close election, but we’ve been here before. BCers support our fair election process and the people at Elections BC making sure every vote gets counted. Thanks to candidates, volunteers & election workers who make democracy work.

I was the Campaign Manager for the Provincial Conservatives in BC. This morning, I personally took part in counting some of the final ballots in Surrey-Guildford. Elections BC staff were all incredibly diligent in their work and very thorough in ensuring transparency. I feel

NEW - The BC NDP have formed a majority government in British Columbia. Garry Begg leads by 18 votes with just 21 votes left to count, winning the riding of Surrey-Guildford. This gives the NDP 47 seats. The result could be overturned following a judicial recount. #bcpoli

Hugops to netflix.