@mahdi.ch
Theoretical Computer Science professor @ U. of Michigan-Ann Arbor. Opinions are mine and may evolve over time. repost โ endorsement. Policy: I don't interact with anonymous profiles. Join AAUP. he/him/his.
@agnesebarbensi.bsky.social
Applied and computational topologist, lecturer in maths at the University of Queensland (she/her) https://sites.google.com/view/agnesebarbensi/home
@pyviv.bsky.social
Combinatorist, Mathematician, CS PhD, pythonista, teacher, feminist, and more. She / her Also here on Mastodon https://t.co/TdGPTS8KMq
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@darrenjw.bsky.social
Professor of Statistics, Bayesian, computational systems biologist and functional programmer, https://darrenjw.github.io/
@maxal.bsky.social
Academic mathematician/computer scientist, University of Birmingham, UK. AI and machine learning, causal inference, signal processing, applied mathematics, computational statistics. Ex Oxford PhD, MIT postdoc fellow.
@lambdaphdp.bsky.social
Exploring {Probabilistic Programming w/ Typed ฮป-Calculi; Lean; Program Synthesis; Self-Improving A.I.; Evolutionary Genetics} @ umontreal. Ph.D. USherbrooke
@brettevans.me
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
@spicenni.bsky.social
Postdoc @ ILLC/UvA Logic | Formal semantics | Theories of Truth & Truthmaking | HOL Light user Support the Human Right To Science!
@jnpn.bsky.social
Lisp / FP / Logic programming / APL Applied Math / Comp bio wannabee looking for projects in MDD/MDA, RO, DX, cs.PLT
@drewsh.com
Writing a common lisp book bluesky folks follow @ap.brid.gy so we can interact! Profile pic is a chickadee from https://falseknees.com Header is a Haskell [โฆ] [bridged from https://hachyderm.io/@crmsnbleyd on the fediverse by https://fed.brid.gy/ ]
@juliagasti.bsky.social
Temporal Knowledge Graphs and Fish Jokes PhD student at University of Mannheim Previously Research Scientist at NEC Laboratories Europe and Collaborating Researcher at Mila (She/Her)
@shenyanghuangtg.bsky.social
PhD student at McGill University, Mila, studying temporal graph learning and graph representation learning.
@mcsquared.bsky.social
Philosopher, rhymer and working class grinder, dissident, socialist, anarcho-syndicalist, voice of the voiceless; deciphering Necessary Illusions
@whatyouhi.de
Member of the Elixir core team, speaker, writer. he/him. Platform Engineer at Knock.
@taylor.town
๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐ taylor.town ๐๐๐ ๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐๐
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions ยท she/they/e wendigotyp.es
@jtnystrom.bsky.social
Metagenomics, algorithmic bioinformatics, programming languages. Performance engineering, esp w. Scala and Spark. Swedish, living in Japan. Consulting: https://jnpsolutions.io/
@mikedecr.computer
quant dweeb in ultrafast beep boop algorithmic trading; former political scientist; chicago; bike rider; mikedecr.computer
@chreke.com
Functional programming enjoyer Co-founder of https://functionalsoftware.se Personal website: https://chreke.com Sometimes I write stuff here: https://blog.snork.dev/
@rosa.codes
๐ช๐บ European โค๏ธ cities, maths, theoretical computer science, learning languages, puzzles & bicycles ๐ถ Human to Mochi ๐ฉ๐ปโ๐ป Principal programmer @ 37signals - she/her -๐บ๐ฆ๐ณ๏ธโโง๏ธ๐ณ๏ธโ๐โ๐ป
@dr-mothball.bsky.social
I am an assemblage of parts who are themselves whole. Emacs enthusiast. Org addict. Lisp nerd. (Recovering) Functional programmer. Guitarist.
@chartee.bsky.social
Filosรณficamente Anarquista, del arte de la Ciencia & Programador. I Love Math, Bioinformatics and Computational Biology ๐งฌ github.com/carht
@hedy.dev
terminal inhabitant and language enthusiast. also an #Emacs enjoyer https://github.com/hedyhli https://tilde.zone/@hedy she/her
@32bit.cafe
We're a community of like-minded website hobbyists and professionals helping to make the personal web fruitful and bountiful again, full of self-expression and removing the capitalistic drive out of it. https://32bit.cafe
@ericlippert.com
Eric Lippert designs programming languages; prior work includes architecting the Hack and Bean Machine compilers at Facebook, and developing the Visual Basic, VBScript, JScript and C# compilers at Microsoft. Blog at https://ericlippert.com
@jimmyhmiller.bsky.social
Compiler engineer and co-host of the future of coding podcast https://jimmyhmiller.github.io https://futureofcoding.org/episodes/
@iamjbd.bsky.social
๐ค ML at Hugging Face ๐ฒ Academic Staff at Stanford University (AIMI Center) ๐ฆด Radiology AI is my stuff
@seflless.bsky.social
Founder of Decode, a white-board that writes & explains code โ https://decode.dev
@cworthy.bsky.social
Non-profit using ocean measurements and numerical models to enable trustworthy and transparent verification (MRV) of ocean-based carbon dioxide removal (#CDR) cworthy.org
@johndcook.mathstodon.xyz.ap.brid.gy
Consultant in applied mathematics and data privacy https://www.johndcook.com [bridged from https://mathstodon.xyz/@johndcook on the fediverse by https://fed.brid.gy/ ]
@j-bertolotti.mathstodon.xyz.ap.brid.gy
Associated Professor of Physics at the University of Exeter. Scientific visualizations (grouped under the hastag #PhysicsFactlet). He/lui/on. All opinions [โฆ] [bridged from https://mathstodon.xyz/@j_bertolotti on the fediverse by https://fed.brid.gy/ ]
@johncarlosbaez.mathstodon.xyz.ap.brid.gy
I'm a mathematical physicist who likes explaining stuff. Sometimes I work at the Topos Institute. Check out my blog! I'm also a member of the n-Category [โฆ] [bridged from https://mathstodon.xyz/@johncarlosbaez on the fediverse by https://fed.brid.gy/ ]
@grimalkina.bsky.social
Psychologist for Software Teams (& writing a book about it). Founder: Developer Success Lab, Catharsis Consulting. VP of Research. Defender of the mismeasured. https://www.drcathicks.com/ Host at: https://www.changetechnically.fyi/
@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
@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.
@elempeng.bsky.social
Elementary Penguin is an okapi at the San Diego Zoo. He likes math and hates food.
@wittywebhandle.bsky.social
โ๏ธ Current Reigning Antipope ๐ซ Dirtbag Elitist ๐ช Nominated for Nobel Prize ๐ Time's 'Man of the Year' (2006) he/him ๐ฎ๐ช ๐จ๐ฆ Communist, Economist, Stonerist ๐ต๐ธ Free Palestine ๐ณ๏ธโโง๏ธ Trans Rights = Human Rights
@petergleick.bsky.social
Climate, water, environmental security scientist, birds, mandolin. Member US National Academy of Sciences, MacArthur Fellow, Carl Sagan Prize, author of The Three Ages of Water (2023). Also on Mastodon. @petergleick@fediscience.org
@charleskeener.bsky.social
Anti-Zionist Free Palestine Ukraine Solidarity Anti-Racist Anti-Carceral Abolitionist Anti-Genocide Anti-Colonial Anti-War Anti-Imperialist Intersectional Feminist Queer LGBTQI+ Green Eco-Socialist People Planet Peace Interfaith Seeker of Beloved Community
@dystopiangrift.bsky.social
a podcast about organizing the Left. https://linktr.ee/voicesfromtheleft
@samwho.hachyderm.io.ap.brid.gy
That guy who writes visual essays about software at https://samwho.dev. ๐ฆ @samwho.dev [bridged from https://hachyderm.io/@samwho on the fediverse by https://fed.brid.gy/ ]