RT @mukesh_tiwari@twitter.com

Why formal verification is necessary for the softwares used in democratic process?
Australian Govt paid 2 Million Dollars [1] to develop a contact tracing app, COVIDSafe, which so far has detected 0 case despite 6 million downloads.

๐Ÿฆ๐Ÿ”—: twitter.com/mukesh_tiwari/stat

RT @DrKyburz@twitter.com

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.

๐Ÿฆ๐Ÿ”—: twitter.com/DrKyburz/status/12

RT @benswift@twitter.com

tune in to the ANU Laptop Ensemble final gig livestream - this Friday night from 8pm AEST

details at facebook.com/events/2563515850

@anucecs@twitter.com @SoM_ANU@twitter.com

๐Ÿฆ๐Ÿ”—: twitter.com/benswift/status/12

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

Show thread

Leaving the house for the first time in nearly 3 months ๐Ÿ˜ฌ

RT @MosRobinson@twitter.com

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.

๐Ÿฆ๐Ÿ”—: twitter.com/MosRobinson/status

RT @Foone@twitter.com

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!

๐Ÿฆ๐Ÿ”—: twitter.com/Foone/status/12571

RT @nataliabielova@twitter.com

We are happy to present , 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 : github.com/ROBERT-proximity-tr [1/n]

๐Ÿฆ๐Ÿ”—: twitter.com/nataliabielova/sta

RT @zeynep@twitter.com

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: preprints.org/manuscript/20200

๐Ÿฆ๐Ÿ”—: twitter.com/zeynep/status/1249

RT @null4bl3@twitter.com

They did. The crazy bastard actually did it!

๐Ÿฆ๐Ÿ”—: twitter.com/null4bl3/status/12

RT @AxlerLinear@twitter.com

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 link.springer.com/book/10.1007.

๐Ÿฆ๐Ÿ”—: twitter.com/AxlerLinear/status

Just when I say "It's so quiet without the usual Saturday morning traffic", someone decides 7:30am is a good time to spend an hour cutting through steel. The sounds of Australia ๐Ÿ™ƒ

RT @dhh@twitter.com

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.

๐Ÿฆ๐Ÿ”—: twitter.com/dhh/status/1244997

RT @HJHaldanePhD@twitter.com

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...

๐Ÿฆ๐Ÿ”—: twitter.com/HJHaldanePhD/statu

Alex boosted

#xkcd #gammaTest 6-Foot Zone - Technically now it's a 34-foot zone. - Fri, 27 Mar 2020 04:00:00 -0000 - xkcd.com/2286/ #poweredByAwk

Show more
Canberra Bubble & Friends

Mastodon instance for bubble loonies, greenies who can control the weather and others with such magical powers. Oh and their friends.