@cheater00.bsky.social
@lgyraoptuhneonvdie.bsky.social
Actually autistic Protect trans children Land back Abolish police Abolish prison Free Palestine
@ocramz.bsky.social
ML, λ • language and the machines that understand it • https://ocramz.github.io
@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.
@mihai.page
Supply chain security @ Google OSS Security Team. Previously TensorFlow Security & OSS (@ Google); Haskell+differential privacy+ML @ LeapYear.
@comandingo.bsky.social
software developer, haskell, category theory, religionsgeschichte, weird studies
@eviefp.bsky.social
they/she commie & queer activist apprentice field mathematician, functional programming enjoyer DMs are open
@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
@recardona.bsky.social
🇵🇷 Asst. Prof. of AI, CogSci, Interactive Narrative, Game Design, & VR in the Division of Games at the University of Utah. He/They.
@maybevoid.com
Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
@neogoose.bsky.social
Born to use camera, forced to use neovim. Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@rossquantum.bsky.social
Quantum computing lifer. ZX-calculus co-inventor. Quantum compiler compiler and quantum programmer programmer. String diagrammer. Category theoriser. Head of Quantum Software @ Quantinuum
@flippac.bsky.social
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)
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@harrisongrodin.com
PhD student in the CMU SCS CSD PoP group, excited about type theory, programming languages, and category theory
@stringdiagram.bsky.social
Categories, computer science and logic. Also: @stringdiagram@mathstodon.xyz Website: https://stringdiagram.com/
@doppioslash.bsky.social
Principal Graphics Programmer Rendering, PBR, ProcGen (Houdini, Blender), Tools, Optimisation, Photography, UE5, camera lens simulation Rust, C++, C#, Python Author of "Physically Based Shader Development for Unity 2017", Apress
@highergeometer.mathstodon.xyz.ap.brid.gy
rimcræftiga | bespoke constructions in categorified geometry since 2010 | dude [bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@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
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@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.
@unormal.bsky.social
A semi-sentient colony of self-assembling, cooperative, biological nano-units. Still somewhat functional, despite its age. 🏆Deloitte Fast 500 🏆Red Herring Top 100 Private Companies 🏆IGF Narrative. 🚀Hugo nominated Caves of Qud Sproggiwood pronoun* BLM
@carlbergstrom.com
UW biology prof. I study how information flows in biology, science, and society. Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b LLM course: https://thebullshitmachines.com Corvids: https://tinyurl.com/mr2n5ymk I don't like fascists. he/him
@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
@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.
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@briantrice.bsky.social
Mad computer scientist; electric motorcycle hacker; software architect; data viz whatever? Former nuclear tech, always NB. They/them. https://signal.me/#eu/5U6AQo_peWVxKPh5raxwBKUp8UxZm4iwfIb-21fgVSVQFRgfXn1DF42nvXiWSNfu
@wickstrom.tech
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more. wickstrom.tech
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@r4ghav.bsky.social
PhD candidate at Purdue on the job market. I build compilers for privacy-preserving programs. I also play DnD and the violin and sometimes doomscroll on the nLab 🫡
@vaibhavsagar.com
future trophy husband disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿 🇦🇺🇮🇩🇮🇳 on gadigal land vaibhavsagar.com instagram.com/vbhvsgr recurse.social/@vaibhavsagar twitter.com/vbhvsgr
@enfascination.com
As social support devolves to community, we get a chance to retrain everyone in doing democracy daily Prof in commons, self-governance, and the cogsci of social emergence. Internet as a governance lab. Science towards nescience enfascination.com/research
@profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.