Stoked to be part of an awesome team that has won the ACM Software System Award for the creation and real-world deployment of the #seL4 microkernel https://awards.acm.org/software-system
Good evening good folx of the 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?
Been here a few days, so I guess it’s time for an #introduction post
I’m Alex, better know as Axman6 pretty much everywhere you can think of - IRC (libra.chat#haskell etc.), site, probably LinkedIn and others too.
As far as jobs and hobbies are concerned, I’ve been a professional #Haskell developer for nearly a decade, with various roles in finance and #HFT (despite not really having much of an interest in finance…), in the public sector where I worked on much of the #RenewableEnergy parts of https://nationalmap.gov.au at #NICTA & #CSIRO, writing backend services in Haskell, doing lots of #geospatial data processing, #SQL, #DevOps and much more.
I’m currently writing #Daml, a dialect of Haskell, for a large financial system but also #LookingForWork - if you’re in need of an experienced remote Haskell dev who loves to make things go fast, I’d love to have a chat.
I’m also doing my Masters in #cybersecurity at #UNSW - oh how I wish there was more overlap between the #cyber and #functional programming worlds… does it all end with #seL4? Let me know!
I’ve got a strong interest in #cryptography, #integrity, as well as #hacking things to see how they work, and love a good #CTF.
On the more personal side of things, I’m based in #Canberra, #australia. As you can see from my profile pic, I’m also a volunteer in the State Emergency Service - I guess you could say I like pin coladas, and talking walks in the rain… in a storm… on your roof… with a chainsaw
Google announces #KataOS: #Rust userland on top of #seL4:
https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html
It seems to be special-purpose, but there’s a technical vision here that makes more sense to me than the “Rust in Linux” meme. “Rust in Linux” is more of a distraction than anything else.