PhD student in Computer Science at the University of Manchester
https://lmaltsis.github.io/

Formal Methods, Proof Assistants, Software Security

they/them

Personal views. Director of standards for OASIS for a decade, and then its general counsel & CPO, launching and coaching cooperative open source and open standards projects, mostly in cybersec, AI security, trade, civic tech, and data protection. Still a practicing lawyer, as well. Alignment lawful-good in a chaotic-neutral industry. (Otherwise I probably would have stayed on Wall Street.) Ex-corporate law partner, ex-Minnesota, LA-based. Still also @jamiexml on Bluesky and (very occasionally) X/birdsite.

News Editor
The Record by Recorded Future News:
@therecord_media
cybersecurity news & more
Washington, D.C.

SW craftsperson & technology enthusiast, emphasis on security #SpielerischeSicherheit.

Co-organiser of Open Security Conference @OSCo

Private here. Working in the intersection of #informationSecurity, #ITSecurity, #OTSecurity, #SecureDevelopment, #ProductSecurity with a dose of #CriticalInfrastructure mixed in.

also at https://bookwyrm.social/user/realn2s

(working for @SMAsolar)
Opinions are my own, not my employer’s
#BLM #nonazis #NoAfD #IamAntifa
#TranRightsAreHumanRights

No #AltText no boost

Autonomie et solidarité ✊

Any pronouns 🏳️‍⚧️

#Féminisme, #Antifascisme, #Anticapitalisme, #Antiimpérialisme, #Anticolonialisme, #Écoterrorisme #Antivalidisme et #Intersectionnalité

Troubles de la personnalité et déficit de l'attention

Passionné•e par #Astronomie, #SciencesSociales, #Gaming, #Musique, #DoctorWho, #Creepypasta et #Animes

Juriste conformité et risques #RGPD #InfoSec #CyberSec #Privacy

#DébattreDeRien #PassionSondages

#Gaza Supporter 🇵🇸🕊️

Agnostique

https://justmytoots.com/@shibanarchist[email protected]

Intellectual (Non practicing, Lapsed)
Mostly Harmless.
Biological.
NB
Kaurna land.
Autodidact, Polymath, Honoris Causa Ignoramus.
#AI #Infosec #Consciousness
Prefigurative Social & Technological Innovation enthusiast
(#SocialInnovation, #TechForGood, #SystemicChange, #EthicalAI)

#REGULATEAI !

"Humans are the larval form of AI"
- me

"Only thing that stops a bad guy with an AI...
Is a good guy with an AI."
- me

"I fight for the user."
- Tron

Webby: https://dodgy.link/ is very dodgy.

Header art:
Luv, a replicant from the beautiful movie "Blade runner 2049", is having her nails done...
... simultaneously she rains death onto bandits with heavy ordinance from a drone through her augmented reality glasses.

Avatar:
Motif from a SA Amalgamated Metal Workers union banner.
South Australian Museum.
United, the workers,
will never be defeated !

Imperfect ally, but I'm trying my best. This is an LGBTQ+ safe space. Posts auto-delete after 90 days.

Proud resident the Twin Cities. Liberal Christian. Partner to a kick-ass woman who is smarter than me and has the PhD to prove it.

For money, I am a writer of all things #IaC as a #DevOps engineer, although I'm currently between jobs. #getFediHired

For my sanity, I'm also a fan of:

#dadjokes
#puns
#LEGO
#cycling
#pf2e
#boardgames
#urbanism and urban planning in general

I boost all corgis (then share them with my partner), the odd assortment of tech humor and terrible puns, posts from folks seeking employment, things relevant to MN or US current events (being careful to avoid a large degree of negativity), and the rare political hot take. I hope to provide a place where everyone can feel welcome, be comfortable being themselves, and smile after leaving.

#nobot #noindex

Amateur professional #selfhost sysadmin. Professional amateur #cloud #security at #AWS. Also fond of #cats, #cigars, #whiskey and #pipes. I like board games and some video games. I am #covid cautious and I still #wearamask. Opinions are my own, but they can be yours too. 100% Organic:,No artificial colors, preservatives, or intelligence added.

Hacker, infosec nerd. Engineer & scientist, foodie, gadget geek, true blue in a red US state.

I boost and toot on politics, tech, fascism — these may seem CWs for you. Undesired exposure to those subjects is a risk with me. I’ll readily CW talking about violence, porn, or other triggers, but not politics. I guess, block or mute me if that’s not ok for you.

Trying to leave the world better, not worse.

I have follow request approval switched on, but accept if you have a bio and some posts.

Won't let the machines win | Fighting with sword and bow
#ActiveDirectory | #EntraID | #InfoSec | #PowerShell

#golang; #rust; #nix; #nixos; #k8s; #docker; #security; #privacy; #foss; amateur socializer; #reader; pet parent; occasionally #gaming; #queer

📍 Dallas, TX | Full-stack dev (React • Node • Python • SQL) trying to keep the internet weird and secure. Here to learn more about #AppSec and secure coding practices so the code actually wins. 🤠
Find me at:
🦊 GitHub: github.com/Jkalio52
🦋 BlueSky: @jay52-tx.bsky.social

#Datacenter #Pictures #Mac #Linux #Arduino #PHP #Privacy #Space and #Security as well as http://naked-music.com. Ex-Host of Webmontag Hamburg #wmhh. AS12731.

Software developer with a focus on front-end web development.
Working for @9elements, an agency for design, software, firmware and security.

Cloud security and SOC. Zero Trust without bullshit.
Breaks things, acts surprised, then helps fix them properly.
Azure, detection, architecture.
#cybersecurity #privacy #zerotrust #devsecops #soc #securityoperations #cyberdefense

@AxelNennker

OpenId
Identity
OAuth2
Learning Rust
Smartcredentials

I'm a #transfem #kitty who likes #linux #cybersecurity #urbanism #gardening #permaculture #witchcraft and more! I'd love to get to know cool people

professional strings(1) operator

rust reverse engineering training -> @decoderloop

personal account, personal views
🏳️‍🌈😎
only online on certain days, all responses delayed

IT, Fahrrad, Technik, Selbstständig, Familienmensch, Neurodivergent, Polyam & Pan, #StVOUltra, Bastler, handwerklich geschickt & LARPer mit eAutos

macht was mit #Security und #KRITIS.
#notjustsad, #AuDHS, #familieistmehr
"männlich, weiblich, das sind doch bürgerliche Kategorien"

"Niemand kann mich beherrschen, ich kann mich ja nicht mal selbst beherrschen!"

#stuckinthe80s. #80s music nerd. Book lover.
Picture taker, memory maker. #photog
#Python dabbler. Security@SAP

SysAdmin / NetAdmin / Computer Technician

#h4ckseed ecologist sportsman e-music bricolage agro diy | ES/EN