Why formal verification is necessary for the softwares used in democratic process?
Australian Govt paid 2 Million Dollars  to develop a contact tracing app, COVIDSafe, which so far has detected 0 case despite 6 million downloads.
ANU has cancelled the school holiday program with 2 weeks' notice as a budget measure. This decision has equity implications for people (women) who have been caring for their children during COVID and smoke all year.
Will never understand how this works
tune in to the #LENS ANU Laptop Ensemble final gig livestream - this Friday night from 8pm AEST
@firstname.lastname@example.org @SoM_ANU@twitter.com #codecreativityculture
Turns out there's a new school zone, speed humps and a pedestrian crossing on the road next to our house now. I wonder how long ago they were put in haha
I'm looking for work in formal methods or functional programming. remote or in Sydney. is there much going?
I'm currently working in the formal methods team of a small self-driving car company, where I've been partially verifying hardware schematics and microcontroller code.
Check out my new keyboard!
It's just got 7 switches and a button. You know binary, yeh?
Just enter the binary value of the character you want to type, and then push the button. Nothing could be simpler!
We are happy to present #ROBERTprotocol, a proposal for a privacy-preserving proximity tracing protocol, developed by @Inria@twitter.com and @FraunhoferAISEC@twitter.com, and led by Privatics team @PrivaticsInria@twitter.com : https://github.com/ROBERT-proximity-tracing #ContactTracing [1/n]
I'm a co-author (one among many) on this new paper reviewing and synthesizing the strong scientific evidence for how universal masking can reduce transmission (source control) and greatly dampen the spread of COVID-19. It's under review. Preprint here: https://www.preprints.org/manuscript/202004.0203/v1
So nice to see this in print at last
They did. The crazy bastard actually did it!
Zoom’s Flawed Encryption Linked to China
The electronic version of my book Linear Algebra Done Right is free until the end of July. This generous gesture by Springer Nature is intended to help out during the coronavirus pandemic. The book can be downloaded at https://link.springer.com/book/10.1007/978-3-319-11080-6.
What pains me about Zoom being such sleazeballs when it comes to both security and privacy is just how unnecessary it is. They have good fundamental tech! But as the skeletons keep falling out of the closet, it’s clear that the organization is fundamentally corrupt.
FYI: if you're having a committee meeting via Zoom and you use the chat function to privately write to someone, your colleagues may not see it in real time, but it shows up when the chat is downloaded and put in the minutes folder...