“All mushrooms are edible, but some are edible only once.”
- Lithuanian proverb about life.
As college students head back to school, we want to repeat this message from a university librarian: software that monitors students during tests perpetuates inequality and violates their privacy. Universities need to stop using them. https://bit.ly/3hj9Dqb
There might be a last-minute PhD studentship at Bristol. PM me if you like at least two of: PL, categories, HoTT, logical relations, homotopies, process calculus.
Is it better to indent your code from left to right or right to left? Been hearing different opinions
Any category theory / database students interested in a job working through the papers at https://www.categoricaldata.net/papers and turning them into white papers aimed at working database professionals? If so send us a direct message!
apps whats preventing you from looking like this
The real difference between industry and academia is that in one you make six figures, and the other you make tikz figures.
Probabilistic Reasoning :-)
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]