The most important point to understand about contact tracing and privacy is, despite your intuitions, that tracing can be done without storing where you’ve been. This is the essence of Google/Apple’s approach (and many other recent proposals)

This is exactly why contact tracing should not collect location data: even with local DP, you’d then have to solve an impossible utility/privacy trade off. Better to avoid the trade off by not collecting locations at all, have both privacy and public health utility

"The seL4 Microkernel – An Introduction” #seL4 Foundation whitepaper, download it from sel4.systems/About/

Our awesome proof-engineering team has completed the functional correctness proof of #seL4 on the @RISC-V (RV64) architecture! You can now run the same verified OS kernel on all major architectures microkerneldude.wordpress.com/2020/06/09/sel…

Hi Twitter, access to accurate, timely healthcare information is critical during a pandemic. I’m looking forward to sharing important health updates with you here and complementing NSW Health.

Wow. Side project to put a big fair-share #solar array on our NSW strata buildings received unanimous support and the highest voting turn out we've had. ☀️😎

I was the first in my family to have the opportunity to go to university. But the Morrison Government's increases to uni fees will rob many young Australians of the same chance. Sign our petition against the Liberals’ unfair changes to our unis: mattthistlethwaite.com.au/actions/petiti…

Lidar or cameras? Which is evolving rapidly & what is the right answer for self-driving? 📸🚗 泰州招聘兼职/泰州留学生/泰州孕妇/泰州妻友/宿迁上门服务 shares on this week's episode 👇 📺: rb.gy/keywsn 🍎: rb.gy/r4r188 🎧: rb.gy/z2eiyv

"I want everyone to get a chance at being what they want to be." Me too, and I'm grateful to the system that allowed me to do that 25 years ago. It does not exist today.

.Suunto watch thinks I'm doing butterfly when smashing out 100m free in record time. Can you take the data and improve?

At Ghost our mission is self-driving for everyone. We're hiring in Sydney and Mountain View – looking for great systems engineers, people with a passion for formal methods, operating systems, languages, machine learning, full stack, and leadership. PM me. gh.st

“This announcement from the seL4 Foundation represents a major milestone toward advancing security capabilities necessary for building safety-critical systems on next-generation silicon,” said Daniel Potts, Director of Engineering at Ghost.

Experience Ghost - attention-free L4 autonomy, starting on the freeway. Want to learn more about the neural networks that enable Ghost to drive? Read and see more behind-the-scenes here: ghostautonomy.com/blog/see-how-g… #SelfDrivingCars #AutonomousVehicles

Cruise stuck in the Middle of the road in SF.

"Any very complex computer science problem is being subject to AI, and with AI you almost always get better performance." 泰州招聘兼职/泰州留学生/泰州孕妇/泰州妻友/宿迁上门服务 presentation on making AI reliable for autonomous driving. Video and full transcript here: ghostautonomy.com/blog/car-mbs-2…

Today Ghost announced an investment from OpenAI. Here is an introduction to how large multi-modal vision-language models can be applied for generalized reasoning about driving.

Happy Presidents' Day to my US friends. Regan and JFK were two of the greats and both outstanding swimmers for their time.

#swimming is such a cheat. In just 1.15hrs and 4.3kms(2.7mi) I burnt 1234kcal with no kicking. Eat whatever you want.

I need more compute.

token rate limits are my bottle neck.