David Engelmann @david-engelmann.bsky.social I code stuff
Ocaml Based atproto tools - https://github.com/david-engelmann/atproto
Sponsor - https://github.com/sponsors/david-engelmann
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Josh Cincinnati @bitbanter.com Renersatz Man — bitbanter.com
Martin Jambon @mjambon.bsky.social Artist
https://martinj.art
https://mjambon.com
Daniel Feichtinger @auxilit.com Personal computers, malleable software, hypermedia, augmenting the human intellect. Building HyperMap, a REST API format for the 21st century.
www.allpurposemachines.com — open-source projects
www.auxilit.com — personal site
Norwich, UK // He/Him
Keith Linhares for Worcester City Council, District 1 @linhares4worcester.bsky.social www.linharesforworcester.com
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
🇨🇦 Joey Eremondi @joeyeremondi.bsky.social PL Researcher. Assistant Prof at University of Regina 🇨🇦
Trying to make dependent types a bit easier to use.
Formerly Postdoc at Edinburgh with Ohad Kammar, and PhD at UBC with Ron Garcia.
Jared Harris @jedharris.bsky.social Infovore, devoted grandparent, practical cook, housing remodeler and maintainer, walkable community master developer
Remy Goldschmidt @taktoa.bsky.social Chip compiler engineer at MatX Computing. http://keybase.io/taktoa http://admonymous.co/taktoa http://github.com/taktoa
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
ProgramingIsTheFuture @programingisthefuture.com Ω := (λx.x x) (λx.x x)
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
Sam Power @spmontecarlo.bsky.social Lecturer in Maths & Stats at Bristol. Interested in probabilistic + numerical computation, statistical modelling + inference. (he / him).
Homepage: https://sites.google.com/view/sp-monte-carlo
Seminar: https://sites.google.com/view/monte-carlo-semina
Atomic @atomic98.bsky.social Aerospace Engineering, Robotics, Defense, Nuclear Physics, Silicon, Sustainability, Markets
Firenicz @firenicz.bsky.social Advocate for special needs, Texas Aggie’ , music, the arts, Realtor,retired educator swimmer at A&M ,lover of all things water, love my boxer dog!
Barry Jay @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.
Philippa Cowderoy @flippac.org Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else.
(she/her)
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Edward Kmett @kmett.ai 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
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Crista 🔶 @tagide.com Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Mark Frohnmayer @nardopolo.bsky.social Entrepreneur, dreamer, clean transport/democracy advocate, gamer. Co-founder of GarageGames, founder of Arcimoto, Equal Vote Coalition, Bad Habit Software, instigator of Marble It Up!. Next projects… KAGR and UFTV :-).
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
jesse يسّى ישי @tov.bsky.social californian in london. mcmillanist–georgist. likes: type systems, banjo music, soup. dislikes: just-so stories, autocracy, cake
Jeff Raymond @jeff.masstransparency.org Old prospector-looking Millbury MA native. Dad, husband, writer/columnist, occasional public servant, chronic overstarter, music/book nerd, all-around pain in the butt. pfp: George Smith
masstransparency.org / ifitstooloud.com