Sabitlenmiş Tweet
Robert Sison (@[email protected])
3.5K posts
Robert Sison (@[email protected])
@robs_cse
Formal methods researcher with a PhD on proving information-flow security in the presence of concurrency. Ex-industry. 🏳️🌈🏳️⚧️ NB (any pronouns)
Australia Katılım Aralık 2013
171 Takip Edilen187 Takipçiler
Robert Sison (@[email protected]) retweetledi
Robert Sison (@[email protected]) retweetledi
For anyone still here, I’m now at @tobycmurray@cybervillains.com
Much thanks to @alexstamos and team, especially for the honest privacy policy :)
Nataliia Bielova@nataliabielova
What are we still doing here? 🐘 Create a Mastodon account on a server joinmastodon.org/servers ⚡️ Automatically transfer your Twitter network to M. via movetodon.org 🙋♂️See you there! (Tweet content shamelessly copied from @JBAGerritsen)
English
@jer_gib @tobycmurray @nuclearpidgeon While I'm sympathetic to wanting a functional replacement for such things to want to migrate, I definitely don't trust that my DMs are private on Mastodon. But then, I no longer trust they're private on Twitter either - I now don't really see a difference between the two on this.
English
@tobycmurray @nuclearpidgeon Disagree. If the "pub chats" you want to follow are happening on Mastodon, you should join, whether or not you think of it as a replacement for Twitter. If you're worried about DM privacy, don't DM.
English
Have you (like me) been procrastinating joining #Mastodon cos you’re not sure which instance to choose? Lots said about moderation policies but, given that it’s #databreach season, has security featured into your thinking? Which instances have a reputation for being secure?
English
@tobycmurray While I appreciate how all this has made explicit the question of trust in the operators of each social media website, it was the question of whether I trust them more than the owner and moderators of Twitter that made it easy for me to move without full answers to such questions
English
@MarcoGuarnier1 @cis_unimelb @UNSWCOMPUTING @buckdotly @tobycmurray @lsf37 @GernotHeiser Thanks Marco. The accepted version of our paper is now available here: robs-cse.com/publications/F…
English
@robs_cse @cis_unimelb @UNSWCOMPUTING @buckdotly @tobycmurray @lsf37 @GernotHeiser Looking forward to read the preprint :-)
English
Some good news: We've had a paper accepted to FM'23 on our formalisation of the prevention of microarchitectural timing channels by operating systems
(Joint work between @cis_unimelb, @UNSWCOMPUTING and Proofcraft w/ coauthors @buckdotly, @tobycmurray, @lsf37 and @GernotHeiser)
Robert Sison (@[email protected])@robs_cse
Ongoing work is with @tobycmurray (@cis_unimelb) collaborating with Scott Buckley, @GernotHeiser (@UNSWCOMPUTING), and @lsf37 (Proofcraft). Relevant prior publications: 🔖 Heiser et al '20 doi.org/10.1145/342147… '19 doi.org/10.1145/331755… 🔖 Ge et al '19 doi.org/10.1145/330242…
English
We've deposited the Isabelle/HOL formalisation for our upcoming FM 2023 paper here: doi.org/10.5281/zenodo… (DOI for all versions of the deposit)
English
Robert Sison (@[email protected]) retweetledi
Robert Sison (@[email protected]) retweetledi
Adviso to news outlets: It’s not ‘[name], who identifies as a trans man,’ or ‘[name] identifies as a trans man.’
It’s ‘[name] is a trans man’ or ‘[Name], who is a trans man,’
When you use ‘identifies as,’ you move confirmed information to a speculative, theoretical framework.
English
Robert Sison (@[email protected]) retweetledi
I was once stuck at a job due to a H1B, and let me tell you it's fucking miserable.
Recruiters, please start reaching out to folks still at Twitter. They'll be unusually receptive.
Hiring someone with a H1B is *trivial*, last I heard it cost $6K and took two weeks
English
Robert Sison (@[email protected]) retweetledi
if twitter goes away, it’s really lousy news for those of us who get paid to tweet by the cia. i mean, i put in LOTS of work. i developed this op from the ground up. they paid me $2500 per tweet. and i guess i just thought it would last forever. i don’t know, it’s just sad
English
Robert Sison (@[email protected]) retweetledi
Twitter has about 1200 H1B Visa workers, according to reports. Those workers do not have the flexibility to resign from their jobs at Twitter.
Elon Musk@elonmusk
Just leaving Twitter HQ code review
Manhattan, NY 🇺🇸 English
Robert Sison (@[email protected]) retweetledi
Robert Sison (@[email protected]) retweetledi
I mean, right, in the ideal world, nobody would feel the need to be closeted at work. This is, however, not the ideal world. Around 50% of LGBTQ academics choose not to be out at work. This proportion is similar across many work sectors.
English
Robert Sison (@[email protected]) retweetledi
There's a tweet I keep seeing reposted that claims that academics should disclose our privileges (gender, sexuality, nationality, socioeconomic background, etc) before announcing our accomplishments. I don't often do this, but let's unpack the claim.
English