#trustedsystems — Public Fediverse posts

Good evening good folx of the :fediverse: It's time for your evening #ConnectionList #Introduction. Please meet:

@ashul is a #WebDev and a #runner, living on #Noongar country in #Perth 🇦🇺 👋

@badri is a #writer and #NonFiction #Editor, on the lookout for pieces of #science, #culture, #history and #philosophy 👋

Dr @annettamallon is an #EndOfLife consultant and #doula, with an interest in #sociology and #SocialResearch. She is a #writer and #mentor on #Lutruwita land #Tasmania 👋

@lathiat is into #linux #ubuntu, #ceph and #OpenStack and maintains Avahi #mDNS. It's always DNS, right?! 👋

@benno You might know him as Jeamland, Benno Has Opinions on #systemd 😆 🇦🇺 Writes about #software, and importantly, the people behind it 👋

@melodytaba is a #PhD candidate #researcher at Sydney Uni, researching #Youth #DigitalHealth #SocialMedia #SciComm 👋

@derek is a #ProductManager who is into #SolarPunk and #sustainability 🇺🇸 👋

@hogesonline is a #computing #teacher, is into #Python 🐍 , is learning #JavaScript and is into #cycling 👋
life goal: ✅ 🤣

Distinguished Professor @gernot heads up the #TrustedSystems #systems group at UNSW and is the the founding Chairman of #seL4 - the world's most assured #linux #kernel. 🇦🇺 👋

@estark works on #security and #PKI for Chrome browser - #HTTPS, #certs, #encryption and the like 👋

That's all for this evening, why not consider building your own #ConnectionList? ❤️

Good evening good folx of the :fediverse: It's time for your evening #ConnectionList #Introduction. Please meet:

@ashul is a #WebDev and a #runner, living on #Noongar country in #Perth 🇦🇺 👋

@badri is a #writer and #NonFiction #Editor, on the lookout for pieces of #science, #culture, #history and #philosophy 👋

Dr @annettamallon is an #EndOfLife consultant and #doula, with an interest in #sociology and #SocialResearch. She is a #writer and #mentor on #Lutruwita land #Tasmania 👋

@lathiat is into #linux #ubuntu, #ceph and #OpenStack and maintains Avahi #mDNS. It's always DNS, right?! 👋

@benno You might know him as Jeamland, Benno Has Opinions on #systemd 😆 🇦🇺 Writes about #software, and importantly, the people behind it 👋

@melodytaba is a #PhD candidate #researcher at Sydney Uni, researching #Youth #DigitalHealth #SocialMedia #SciComm 👋

@derek is a #ProductManager who is into #SolarPunk and #sustainability 🇺🇸 👋

@hogesonline is a #computing #teacher, is into #Python 🐍 , is learning #JavaScript and is into #cycling 👋
life goal: ✅ 🤣

Distinguished Professor @gernot heads up the #TrustedSystems #systems group at UNSW and is the the founding Chairman of #seL4 - the world's most assured #linux #kernel. 🇦🇺 👋

@estark works on #security and #PKI for Chrome browser - #HTTPS, #certs, #encryption and the like 👋

That's all for this evening, why not consider building your own #ConnectionList? ❤️

Good evening good folx of the :fediverse: It's time for your evening #ConnectionList #Introduction. Please meet:

@ashul is a #WebDev and a #runner, living on #Noongar country in #Perth 🇦🇺 👋

@badri is a #writer and #NonFiction #Editor, on the lookout for pieces of #science, #culture, #history and #philosophy 👋

Dr @annettamallon is an #EndOfLife consultant and #doula, with an interest in #sociology and #SocialResearch. She is a #writer and #mentor on #Lutruwita land #Tasmania 👋

@lathiat is into #linux #ubuntu, #ceph and #OpenStack and maintains Avahi #mDNS. It's always DNS, right?! 👋

@benno You might know him as Jeamland, Benno Has Opinions on #systemd 😆 🇦🇺 Writes about #software, and importantly, the people behind it 👋

@melodytaba is a #PhD candidate #researcher at Sydney Uni, researching #Youth #DigitalHealth #SocialMedia #SciComm 👋

@derek is a #ProductManager who is into #SolarPunk and #sustainability 🇺🇸 👋

@hogesonline is a #computing #teacher, is into #Python 🐍 , is learning #JavaScript and is into #cycling 👋
life goal: ✅ 🤣

Distinguished Professor @gernot heads up the #TrustedSystems #systems group at UNSW and is the the founding Chairman of #seL4 - the world's most assured #linux #kernel. 🇦🇺 👋

@estark works on #security and #PKI for Chrome browser - #HTTPS, #certs, #encryption and the like 👋

That's all for this evening, why not consider building your own #ConnectionList? ❤️

Good evening good folx of the :fediverse: It's time for your evening #ConnectionList #Introduction. Please meet:

@ashul is a #WebDev and a #runner, living on #Noongar country in #Perth 🇦🇺 👋

@badri is a #writer and #NonFiction #Editor, on the lookout for pieces of #science, #culture, #history and #philosophy 👋

Dr @annettamallon is an #EndOfLife consultant and #doula, with an interest in #sociology and #SocialResearch. She is a #writer and #mentor on #Lutruwita land #Tasmania 👋

@lathiat is into #linux #ubuntu, #ceph and #OpenStack and maintains Avahi #mDNS. It's always DNS, right?! 👋

@benno You might know him as Jeamland, Benno Has Opinions on #systemd 😆 🇦🇺 Writes about #software, and importantly, the people behind it 👋

@melodytaba is a #PhD candidate #researcher at Sydney Uni, researching #Youth #DigitalHealth #SocialMedia #SciComm 👋

@derek is a #ProductManager who is into #SolarPunk and #sustainability 🇺🇸 👋

@hogesonline is a #computing #teacher, is into #Python 🐍 , is learning #JavaScript and is into #cycling 👋
life goal: ✅ 🤣

Distinguished Professor @gernot heads up the #TrustedSystems #systems group at UNSW and is the the founding Chairman of #seL4 - the world's most assured #linux #kernel. 🇦🇺 👋

@estark works on #security and #PKI for Chrome browser - #HTTPS, #certs, #encryption and the like 👋

That's all for this evening, why not consider building your own #ConnectionList? ❤️

Good morning #Fediverse! :fediverse: In this morning's #ConnectionList #introduction, where I try to more deeply and richly connect the Fediverse, I'd like you to meet:

@alienelf who works with #MasakhaneNLP #NLP in #Africa. They are a #scientist and #musician 🇿🇦

@DRMacIver works in #software #testing and #assurance, and if you are #snek or #curlyboi inclined you may want to follow him 🇬🇧 🐍 #Python

@nicky is incredible and she is a founder of Grok Learning, a #tech #educator and now works in #productmanagement. She is also of the #snek #Python 🐍

@ElectricWill is from The North in #Sheffield, and is living with Duchenne muscular dystrophy, and is a #wheelchair user. They (not assuming pronouns) are into #photography #gaming #disability #a11y 🇬🇧 👋

@hmlittlecbigc is a #PhD candidate at the Kirby Institute at UNSW and a #healthpromotion practitioner. She's on Bidjigal land 🇦🇺 👋

@robs is a #formalmethods #researcher #academic in #concurrency. Uses #Isabelle and #HOL for any other #trustedsystems. folks. You might know @gernot ? Also interested in 🇯🇵 (cc @Takoyaki ) and likes #SciFi 🇦🇺 👋

@lauren works in #tech #systems and #policy #analysisas well as #privacy 🇺🇸

@signalapp is the brand account for Signal. What's the deal with stories?!

@thunderbird is the brand account for Thunderbird for any #opensource and #foss folks.

(Edited to remove Mozilla brand account which looked suspicious)

More this evening! ❤️

Good morning #Fediverse! :fediverse: In this morning's #ConnectionList #introduction, where I try to more deeply and richly connect the Fediverse, I'd like you to meet:

@alienelf who works with #MasakhaneNLP #NLP in #Africa. They are a #scientist and #musician 🇿🇦

@DRMacIver works in #software #testing and #assurance, and if you are #snek or #curlyboi inclined you may want to follow him 🇬🇧 🐍 #Python

@nicky is incredible and she is a founder of Grok Learning, a #tech #educator and now works in #productmanagement. She is also of the #snek #Python 🐍

@ElectricWill is from The North in #Sheffield, and is living with Duchenne muscular dystrophy, and is a #wheelchair user. They (not assuming pronouns) are into #photography #gaming #disability #a11y 🇬🇧 👋

@hmlittlecbigc is a #PhD candidate at the Kirby Institute at UNSW and a #healthpromotion practitioner. She's on Bidjigal land 🇦🇺 👋

@robs is a #formalmethods #researcher #academic in #concurrency. Uses #Isabelle and #HOL for any other #trustedsystems. folks. You might know @gernot ? Also interested in 🇯🇵 (cc @Takoyaki ) and likes #SciFi 🇦🇺 👋

@lauren works in #tech #systems and #policy #analysisas well as #privacy 🇺🇸

@signalapp is the brand account for Signal. What's the deal with stories?!

@thunderbird is the brand account for Thunderbird for any #opensource and #foss folks.

(Edited to remove Mozilla brand account which looked suspicious)

More this evening! ❤️

Good morning #Fediverse! :fediverse: In this morning's #ConnectionList #introduction, where I try to more deeply and richly connect the Fediverse, I'd like you to meet:

@alienelf who works with #MasakhaneNLP #NLP in #Africa. They are a #scientist and #musician 🇿🇦

@DRMacIver works in #software #testing and #assurance, and if you are #snek or #curlyboi inclined you may want to follow him 🇬🇧 🐍 #Python

@nicky is incredible and she is a founder of Grok Learning, a #tech #educator and now works in #productmanagement. She is also of the #snek #Python 🐍

@ElectricWill is from The North in #Sheffield, and is living with Duchenne muscular dystrophy, and is a #wheelchair user. They (not assuming pronouns) are into #photography #gaming #disability #a11y 🇬🇧 👋

@hmlittlecbigc is a #PhD candidate at the Kirby Institute at UNSW and a #healthpromotion practitioner. She's on Bidjigal land 🇦🇺 👋

@robs is a #formalmethods #researcher #academic in #concurrency. Uses #Isabelle and #HOL for any other #trustedsystems. folks. You might know @gernot ? Also interested in 🇯🇵 (cc @Takoyaki ) and likes #SciFi 🇦🇺 👋

@lauren works in #tech #systems and #policy #analysisas well as #privacy 🇺🇸

@signalapp is the brand account for Signal. What's the deal with stories?!

@thunderbird is the brand account for Thunderbird for any #opensource and #foss folks.

(Edited to remove Mozilla brand account which looked suspicious)

More this evening! ❤️

Good morning #Fediverse! :fediverse: In this morning's #ConnectionList #introduction, where I try to more deeply and richly connect the Fediverse, I'd like you to meet:

@alienelf who works with #MasakhaneNLP #NLP in #Africa. They are a #scientist and #musician 🇿🇦

@DRMacIver works in #software #testing and #assurance, and if you are #snek or #curlyboi inclined you may want to follow him 🇬🇧 🐍 #Python

@nicky is incredible and she is a founder of Grok Learning, a #tech #educator and now works in #productmanagement. She is also of the #snek #Python 🐍

@ElectricWill is from The North in #Sheffield, and is living with Duchenne muscular dystrophy, and is a #wheelchair user. They (not assuming pronouns) are into #photography #gaming #disability #a11y 🇬🇧 👋

@hmlittlecbigc is a #PhD candidate at the Kirby Institute at UNSW and a #healthpromotion practitioner. She's on Bidjigal land 🇦🇺 👋

@robs is a #formalmethods #researcher #academic in #concurrency. Uses #Isabelle and #HOL for any other #trustedsystems. folks. You might know @gernot ? Also interested in 🇯🇵 (cc @Takoyaki ) and likes #SciFi 🇦🇺 👋

@lauren works in #tech #systems and #policy #analysisas well as #privacy 🇺🇸

@signalapp is the brand account for Signal. What's the deal with stories?!

@thunderbird is the brand account for Thunderbird for any #opensource and #foss folks.

(Edited to remove Mozilla brand account which looked suspicious)

More this evening! ❤️