We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
#FDJT.
He/Him
JavaScript In Depth - https://www.manning.com/books/javascript-in-depth
Computer history. Reverse-engineering old chips. Restored Apollo Guidance Computer, Alto. Ex-Google, Sun, Msft. So-called boffin.
👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Jujutsu—a version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
Main Character Syndrome, but fun. Boston-based. My wood shop and my dogs are my personality. If you're still reading this, I'm your dad now. Sorry, I don't make the rules.
I don't speak for my employer.
signal: edr.91
https://aumasson.jp
cofounder & CSO @ taurushq.com
cryptographer (BLAKE2, BLAKE3, SipHash)
author of Serious Cryptography https://nostarch.com/serious-cryptography-2nd-edition and other books
Signal: jpa.01
staff writer @theatlantic.com and senior fellow @snfagora.bsky.social. author of GULAG, IRON CURTAIN, RED FAMINE, TWILIGHT OF DEMOCRACY and AUTOCRACY INC
https://linktr.ee/anneapplebaum
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run austinsystems.org and love reading sci-fi and history.
That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com. Want to pair on something ngrok related? Let's do it! https://cal.com/samwho/workhours
He/him.
ceo exe.dev, tailscale co-founder, programmer
JavaScript Infrastructure & Tooling at Bloomberg. TC39 Delegate. London.
Artist 🎨 | Photographer 📷 | Globetrotter 🌍 | Speaker 🤹🏻♂️ | Author of Ionide 🚀 | Researcher @ Github Next 🔬| Co-creator of #GitHubCopilot, Copilot NES, Agentic Workflows, and [REDACTED] | Building the future of software development 💻
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Chief Architect at msu solutions GmbH / m8mit. Let's drive the future!
web dev + hot dad. enjoy charts, unions, conputer games, philosophy. chicago crespo.business
Eric Lippert designs programming languages; prior work includes architecting the Hack and Bean Machine compilers at Facebook, and developing the Visual Basic, VBScript, JScript and C# compilers at Microsoft. Blog at https://ericlippert.com
(gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
django, security, eng management, basketball shitposting.
web: jacobian.org
signal: jacobian.01
A tech, philosophy, and leadership psychology nerd.
See more at https://www.subbu.org.
Father. Husband. Programmer. Likes OSS, compilers, programming. Spectre.Console, Cake. Ally ✊🏾🏳️🌈🏳️⚧️♀️(He/Him) @patriksvensson@mstdn.social
Stockholm, Sweden
(Unofficial) VP of Developer Productivity at Microsoft. Developer tools, engineering systems, .NET, C#, Roslyn, Visual Studio, Editor, WPF, Avalonia, MSBuild.
Developer of sorts at @webdevs.firefox.com, but this is my personal account. No thought goes unpublished. He/him.
engineering stuff, safety tools, and patterns. @discord.com, prev @bsky.app
opinions are my own.
Ex-hacker, ex-backer, still slacker
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
Frameworks & Architecture in the Spring open source engineering team, all things Spring, Java, data, DDD, REST, software architecture, drums & music. He/him.
Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
you have the ability to understand things
principal engineer, react person, super gay, still masking
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
I don’t post here, follow me on X: x.com/adamwathan
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Your friendly neighborhood security otter. Part of Microsoft's .NET team. Personal account, not speaking for my employer. 🔥🦦🛡️🔥 -- he/him
Reproducible bugs are candies 🍭🍬
I like programming too much for not liking automatic programming.
wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, atlogin.net, and now CEO @Tailscale.com doing WireGuard mesh. Top search result for "epic treatise."
Dog butler to Indy, Darby, & Kell. Former USMC 0341. Chicago Tavern style. You may know me from years of MSFT. Or not. Was @nerdpyle before the bad times. Eat shït, nazis
President of Signal, Chief Advisor to AI Now Institute
Spring AI/Framework @ Broadcom, #WebAssembly since 2016, ex @mixitconf.org staff. https://seb.deleuze.fr
Alexandria, VA.
Losing a rock is better than never having a rock.
Product Security and Cryptography at GitHub / Microsoft. .NET maintainer. Not speaking for my employer.
https://vcsjones.dev ⚫️ https://gh.io/vcsjones
Programming: computerenhance.com
Comics: meowtheinfinite.com
cryptography • neuro • cloud • biscuits
ORD-DCA-NYC-BCN ✈️
kennwhite@mastodon.social
Head of Customer Success at @DuendeSoftware.com. Founded https://speaker.travel. Frequent speaker. Opinions are my own.
Crackpot, nincompoop, magpie, pedant
mostly @palvaro@discuss.systems
You'd be surprised how much gray matter is dedicated to the analysis of facial imagery. Shame to waste it on anything as—counterintuitive as residual plots or contingency tables.
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
Full of passionate intensity.
Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
my life is derp and i do derp shit
Dev Advocate at JetBrains. Teaching ∞ Learning Kotlin & Compose Multiplatform. Talking Kotlin. Working w/ with love, for there is no other way. Always iterating.
Leading cryptography (ISE Crypto) at Google.
Opinions my own.
Content usually badly explained mathematics
[bridged from https://infosec.exchange/@sophieschmieg on the fediverse by https://fed.brid.gy/ ]
Digital identity & standards geek | Principal @ Spherical Cow Consulting 🐄 | Blogger, speaker, and cat herder of the Internet’s geekiest corners | Might be obsessed with knitting, spinning, weaving, and trashy romance novels | Intrepid world traveler
I lead an incredible team building voting machines everyone can trust. https://voting.works
Optimistic about judicious uses of tech. Systems, security, privacy, cryptography, and the web are my jam.
Previously: Clever, Square, Mozilla, Harvard, MIT.
WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
bibliophile, flâneur, occasional programmer, Clojure core
https://www.fogus.me
https://blog.fogus.me
Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com
https://pimbook.org
https://pmfpbook.org
https://buttondown.email/j2kun
https://heir.dev
I try to be woke and progressive like Jesus was.
Meanjin Land
I build things; I write code; I void warranties. Just wrote an O'Reilly book on digital identity. Windley.com
https://thenumb.at
Computer Graphics, Programming, Math, OxCaml, C++
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Co-chair IETF HTTP & AIPREF WGs, member Internet Architecture Board, standards lead at Cloudflare. Interested in the intersection of legal regulation and technical standards.
My social media is mostly-write: if you want to be sure I see something, e-mail.
Seek first to understand.
Impatient optimist. Dad. Zetetic. Author. Speaker. Made Fiddler & SlickRun. My code runs in your browser. @ MSFT 19yrs+ on web and security. My words are my own.
he/him
https://ericlawrence.com/
https://textslashplain.com/
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
Just to let you know, there are many, many recipes waiting for you on www.nigella.com
You know me from twitter @chrissie1 and mastodon https://hachyderm.io/@chrissie1
Dir. of Identity Standards at Microsoft. Generally a happy camper. Working hard to keep on keeping on.
Writing The Pragmatic Engineer (@pragmaticengineer.com), the #1 technology newsletter on Substack. Author of The Software Engineer's Guidebook (engguidebook.com). Formerly at Uber, Skype, Skyscanner. More at pragmaticengineer.com
Principal Engineer at Google. Simplicity and optimism. Personal opinions.
I do computers. Married to @radkat.fitzpat.com. Three kids. Xoogler.
Go (#golang) team 2010~2020. Made LiveJournal, OpenID, memcached. Currently at @Tailscale.com making WireGuard easy.
Seattle, WA // Bainbridge
SecAppDev is an immersive week-long course in secure application development. In-depth lectures and hands-on workshops take you on a deep-dive in today's security best practices. More info on https://secappdev.org
Kubernetes SIG Security Co-Chair, but this account is mostly about Minneapolis right now.
Chop wood, carry water 💛
MSP feed info: https://bsky.app/profile/amityf.bsky.social/post/3l3frqadlo32h
Former biologist. Actual PhD in genetics. Security at Nvidia, OS security teaching at https://www.ischool.berkeley.edu.
Blog: https://codon.org.uk/~mjg59/blog
Signal: @mjg.59
He/him
Staff Security Engineer at some random tech company, previously Mozilla, Dropbox, and (pre-Elon) Twitter. Has read @kateconger.bsky.social’s autobiography.
web @ grayduck.mn // also github.com/april
RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
Professional open source maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
A community of folks into computer science research and using it for great justice.
🌏 https://paperswelove.org
👀 https://pwlconf.org
🦣 https://mstdn.io/@paperswelove
📺 https://www.youtube.com/@PapersWeLove
Opinions about product management, technology news and inclusivity in tech. Diversity is about demographics, inclusion is about creating a sense of belonging.
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
