elisabeth lemma ☔
theoretical computer sorcery and theorem potions · she/they/e
wendigotyp.es
@saraluckelman.bsky.social
#Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of SFFReviews.com and @EllipsisImprint. Co-president of @ducu. Own views. Robot.
@thecedarprince.bsky.social
🤓: MS Applied Math @ NEU; Trainee Affiliate @ Roux Inst 🔎: Health informatics, public health, applied cat. theory & open source/science 📝: EN/ES/DE/AR/CZ 🌐: Blog @ https://jacobzelko.com 📹: Twitch @ https://www.twitch.tv/thecedarprince
@MartinEscardo.mathstodon.xyz.ap.brid.gy
Professor at the University of Birmingham, UK. I am interested in constructive mathematics and (constructive and non-constructive) homotopy type theory […] [bridged from https://mathstodon.xyz/@MartinEscardo on the fediverse by https://fed.brid.gy/ ]
@cledmonds.bsky.social
Research Associate @sheffielduni.bsky.social working on proof assistants, formal verification & security. Passionate about CS Education. Cambridge Australia Scholar, PhD, AFHEA.
@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
@ddssff.bsky.social
Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.
@grgzkhr.bsky.social
PhD student at @prg-grp.bsky.app Interested in PL and Type Systems. Programmer for more than 10 years. Based in 🇨🇭 from 🇱🇧 (he/him) https://grgz.me
@londmathsoc.bsky.social
The London Mathematical Society (LMS), founded in 1865, is the UK's learned society for the advancement, dissemination and promotion of #mathematics.
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@zeitschluessel.bsky.social
verwandelt sich langsam in einen Influencer, um vor dem echten Leben davonzulaufen | hauptsächlich Doctor Who und Magic: The Gathering | Jan (er/ihm)
@davesmith00000.bsky.social
Scala.js, WebGL, TEA, and chocolate biscuits. (he/him) Building a 2D game engine in Scala, one half of Purple Kingdom Games, among other things... Same stuff, different place: https://mastodon.gamedev.place/@davesmith00000
@leftatlondon.com
google “pills and good advice left at london” i think you’ll rly like it. I must be Nat the way that I Puff… Musician. Former idiot. Public Universal Frenemy. I’m the unhappy lesbian your grandfather warned you about. She/her in Chicago
@kirancodes.me
Trans girl 🏳️⚧️ | 26 Programming Languages Postdoc @ UIUC still here~ despite it all https://kirancodes.me
@libro.fm
🎧 The audiobook company that shares profits with independent bookshops 💗 Social Purpose Corp 🔗 Shop, sign up, find bookshops, & more: www.libro.fm
@kenran.bsky.social
I like Emacs, (functional) programming, Nix, roguelikes/-lites, vim, logic puzzles, miniature painting ... (he/him) I sometimes stream programming stuff on https://twitch.tv/kenran__
@skylight.social
👇Join Skylight Social!👇 https://apps.apple.com/us/app/skylight-social/id6740706006
@okremiok.bsky.social
@shellbryson.com
Writes sci-fi & ghost stories in Edinburgh. Founding member of Edinburgh SFF https://edinburghsff.com - Software engineer by day. Personal site: https://shellbryson.com
@liamwignall.bsky.social
In no particular order: Academic, Psychologist, Kink/BDSM/Sex Researcher, Gay, ADHD, Weightlifter, Reader. Co-Editor: Psychology & Sexuality www.thekinkscale.com
@annarandall.bsky.social
Kink-affirming therapist and researcher. Exec Dir and Co Founder of TASHRA.org. Intrepid adventurer. Late-in-life geek. Foodie and wine lover. Exploring life-changing options in Italy & Austria.
@drelisheff.bsky.social
Dr. Elisabeth "Eli" Sheff is an expert witness, relationship coach, educator, author, and researcher speacializing in sex and gender minorities. The foremost global academic expert on polyamorous families with children, Dr. Eli researches polyamory & BDSM
@tomcarpino.bsky.social
Dog-dad, researcher, & public health person 🏳️🌈 @Johns Hopkins
@djtaylor.bsky.social
Sex Researcher doing his PhD at University of Sunderland. Currently recruiting so BDSMers get in touch! Big fan of psychology, science, Vampire the Masquerade (and other TTRPGs) and gaming
@emmas.bsky.social
Sociologist, Aberystwyth. Critical disability studies. Overthinking trauma, bodies, pain, time, sexuality, crip rage, queer joy. Knitter, sewist, reptile herder, forever exhausted. She/her. 🏳️🌈 Compost the rich. https://linktr.ee/dremmasheppard
@margotweiss.bsky.social
Writer, professor, procrastinator. Queer anthropologist. Books: TECHNIQUES OF PLEASURE (Duke), QUEER THEN AND NOW (Feminist Press), and UNSETTLING QUEER ANTHROPOLOGY (Duke). Often doing things with AAUP, CLAGS, FJP, SCA margotweiss.com
@aliciamwalker1.bsky.social
Sociology prof & author: Sexuality, relationships/behavior/identity gender; qual; Co-Chair CCF; editor CCF blog; Psych Today blogger🩷💜💙 #Resist #AcademicSky #Dateline #Sociology #sexresearch
@ariellekuperberg.bsky.social
Sociologist / Demographer, Assoc. Prof @UMBC researching families, relationships, sex, gender, higher ed, and student loans in young adulthood. Co-Chair of Council on Contemporary Families. Banjolele player in a Grateful Dead Bluegrass band. 🏳️🌈 🩷💜💙 🪕 💀
@rosactrl.bsky.social
🇨🇱 ✈️ 🇳🇴 immigrant. I like computers, urbanism, literature and music. Too woke for my age. Posting mostly complaints
@hillelwayne.com
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: https://buttondown.email/hillelwayne/
@rossabaker.com
Functional programmer. Open source, open web. Never daunted. #Typelevel #Emacs #Nix #Indieweb Languages: en,de,es [bridged from https://social.rossabaker.com/@ross on the fediverse by https://fed.brid.gy/ ]
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@typescriptlang.org
TypeScript is JavaScript with types and type-checking. Compiles down to JavaScript, runs where JavaScript runs.
@fasterthanli.me
hi, I'm amos! 🍃 they/them 🫐 open-source goblin and content creator(TM) at @bearcove.eu ✨ be kind, be curious articles: https://fasterthanli.me videos: https://youtube.com/@fasterthanlime podcast: https://sdr-podcast.com work: https://bearcove.eu
@keleshev.com
Docopt, OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas Copenhagen
@david.sancho.dev
Software engineer at @ahrefs building open source tools with Reason and OCaml — styled-ppx / server-reason-react / reason-react / Reason / Melange
@gvolpe.com
Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #Haskell
@zachmccoy.bsky.social
Functional Programming, Scala Stuffs, Distributed Systems, MTG @zachmccoy@fosstodon.org
@frankfischermd.bsky.social
Wants to promote science, benevolence, mercy - in critical care medicine and elsewhere. (likes to write Scala software as well) And thinks that we should provide a clear feedback to the opponents (Putin, AFD, Trump, ...) of that goal: *NO*