Alex Nelson
Mathematician, software engineer. Obsessed with everything about proof assistants.
AMS Subject Class.: 68V15, 68V20, 20Exx.
@swordsjew.bsky.social
journalist, author, sword collector, schmoe. newsletter: buttondown.email/theswordandthesandwich buy my new book!! https://www.hachettebookgroup.com/titles/talia-lavin/wild-faith/9780306829192/ contact: talialavinwrites@gmail.com
@notsosilentrobb.bsky.social
Speculative fiction/Sci-fi and Black Library author. Digital marketer/graphic designer by day. LONGSHOT and LEONTUS: LORD SOLAR on sale now! All views my own
@ctietze.mastodon.social.ap.brid.gy
Developer of indie macOS apps. The Archive, WordCounter, TableFlip, Move! Using #Xcode to write #Swift and sometimes #SwiftUI apps for #iOS and #Mac. OG […] [bridged from https://mastodon.social/@ctietze on the fediverse by https://fed.brid.gy/ ]
@nocontexttrek1.bsky.social
Double dumb-ass on you. (And so fourth) #AltText enthusiast. Same account as mastodon, currently dark on twitter. Any other similar accounts are not me. JRE_LLAP on vemo for tips🤜🏼🤛🏼 #StarTrek
@michaeln.mastodon.sdf.org.ap.brid.gy
Associate Professor at the Australian National University’s School of Computing. Lead developer of the HOL theorem-proving system. [bridged from https://mastodon.sdf.org/@michaeln on the fediverse by https://fed.brid.gy/ ]
@jamellebouie.net
The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group. Send me your mutual aid requests.
@robertrath.bsky.social
Freelance word mercenary. Head Writer of Extra History on YouTube. Author of THE INFINITE AND THE DIVINE, THE FALL OF CADIA, and ASSASSINORUM: KINGMAKER for Black Library. Born Hawaii, live HK. All views my own. He/Him
@profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.
@varsha.bsky.social
will index your book in exchange for money, send me a book rec, dissertating at berkeley: history+dams+us foreign policy+india. linktr.ee/varshaoforange
@stuffwithstuff.com
Dad, husband, brother, son. Working on Dart at Google, ex-game dev at EA, wrote "Game Programming Patterns" and "Crafting Interpreters". http://stuffwithstuff.com/
@gavthorpe.bsky.social
New York Times Bestselling Author, world creator, consultant and games developer specialising in SF and Fantasy. Proud daddy. Whitecishet. He / him.
@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/
@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.
@mikebrooks668.bsky.social
That Audible-bestselling, British Fantasy Awards-losing SFF author with Very Tall Hair. Guitarist, singer, occasional DJ. (d)eaf, queer. He/him. All queries to @losbennett.bsky.social at Liverpool Literary Agency
@atabeykaygun.bsky.social
Mathematician. Frankenstein's monster. Incongruous bits and pieces coalesced accidentally instead of a plan. Apparently, also includes batteries. https://kaygun.github.io
@inconvergent.net
procedural artist parallel programmer irregular programming crimes in lisp i am working on a game: @boxtype.app buy art at: buy.inconvergent.net
@xenodium.bsky.social
Blogs about #emacs and other stuff at xenodium.com. Authored plainorg.com and flathabits.com for iOS. Living in an Emacs buffer somewhere in London. Also at https://twitter.com/xenodium and https://indieweb.social/@xenodium
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@logica.mat.br
Professor. PhD in Mathematical Logic. Expert in Computability and Philosohy. Passionate about TTRPGs and classic games like Diablo and Heroes of Might and Magic III. Devoted fan of fantasy literature, Star Trek, and music https://linktr.ee/profjuliocsilva
@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
@taliaringer.bsky.social
@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
@arxiv-math-lo.bsky.social
Mathematics -- Logic (math.LO) source: https://export.arxiv.org/rss/math.LO maintainer: @tmaehara.bsky.social
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app