Edward Kmett
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
@mihai.page
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
@aisamu.bsky.social
Shitty cognitive cosplayer of deterministic machines Certified® Cloud Yeller @[email protected] @[email protected]
@tavis.damnsimple.com
Geek in Vancouver. Sometimes CTO / software architect. Obsessive reader. Always curious! (was @tavisrudd elsewhere)
@tacticalgrace.justtesting.org
🔥 Lambda Scientist 💡 Functional programming 💡 Programming languages 💡 Cryptography 👨🏽💻 Swift, Haskell & Agda 💜 Volt 🇪🇺 policy: digital rights & economy 📍 Utrecht 🇳🇱🇩🇪🇪🇺 • Twitter: @TacticalGrace
@gibtsdes.bsky.social
Living in Scotland. Complaining about stuff. Always hoping that things are changing for the better! Also: using #logic when trying to be precise. #UkraineMustWin #UkraineWillWin
@kwyn.io
Maker to the core. Bits and atoms alike. Rezzbian and won't shut up about it. My posts and opinions are my own. I don’t speak for any brand or company. Signal: @kwyn.42
@eikopf.dev
he/him | absolutely will not shut up about programming languages | a little gayer than is legal in this jurisdiction | 🇨🇭 🇦🇺 🇬🇧
@codyroux.bsky.social
Still ultrafinitist, but with a softer side. https://www.kleene.church/ I do the Church of Logic podcast. https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
@timsweeneyepic.bsky.social
@sungkim.bsky.social
A business analyst at heart who enjoys delving into AI, ML, data engineering, data science, data analytics, and modeling. My views are my own.
@scalzi.com
I enjoy pie. Social Media FAQ: https://whatever.scalzi.com/2025/04/16/the-official-john-scalzi-social-media-faq/
@teuber.bsky.social
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
@polux2001.bsky.social
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@lucazulian.bsky.social
software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time https://github.com/lucazulian
@ktim.bsky.social
If you'd have asked me when I was 3 what I wanted to be when I grew up I would have said a bologna sandwich
@mrdrozdov.com
Research Scientist @ Mosaic x Databricks. Adaptive Methods for Retrieval, Generation, NLP, AI, LLMs https://mrdrozdov.github.io/
@pitloffredi.bsky.social
Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
@thedavidsj.bsky.social
Working on AI gov. Past: Technology and Security Policy @ RAND re: AI compute, telemetry database lead & 1st stage landing software @ SpaceX; AWS; Google.
@handle.invalid
Software engineer from South Wales. OCaml and F# programmer by day. https://github.com/epmorgan https://www.monadic.sh
@jtulley.bsky.social
Programmer, biker, desert hiker, nerd, skeptic Married to @jenndola (He/him)
@ryanmarc.us
Assistant professor at UPenn. Database systems. https://RyanMarc.us I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
@chr1s.bsky.social
Occasional computer user. I like ☕ and infrastructure. https://mastodon.social/@chr1stian and https://twitter.com/@_that_chris . Gopher. ʕ◔ϖ◔ʔ
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "eyes off u." by Will Hyde
@nagykaroly.bsky.social
@samderbyshire.bsky.social
Cohomology enthusiast. I've seen rings you people wouldn't believe.
@johanjeuring.bsky.social
Professor of Software technology for learning and teaching, Utrecht University
@alexsoares.bsky.social
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@area73.bsky.social
Software developer and hardware hacker. I also enjoy retro computing, home automation, 3D printing, and self-hosting.
@superjz.bsky.social
Building the future @Natural Capital, Aether Biomachines, Ashvattha Therapeutics, Icebox prev: Partner Social Capital, Founder CloudOn / Dropbox
@jonkhler.argmin.xyz
web @ https://argmin.xyz interests: machine learning, ai4science, algorithms, coding member of technical staff @ https://cusp.ai past @ MSR, DeepMind, MPI-IS home @ Heimbach (Gilserberg), Berlin, Europe born @ 353 ppm block toxicity he/him
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him