Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
barbarism critic @scarletred.bsky.social filthy commie, musician, software engineer, momrade | intolerant left | real down to Mars girl 💫 read my blog: https://www.dialecticsofdecline.com
John Scalzi @scalzi.com I enjoy pie.
Social Media FAQ: https://whatever.scalzi.com/2025/04/16/the-official-john-scalzi-social-media-faq/
Cody @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
@xenaproject.bsky.social @xenaproject.bsky.social 
Scala Times @scalatimes.com A Weekly Scala Newspaper. Got a story/link/tip? Drop us a line: scalatimes@softwaremill.com!
Curated by the @softwaremill.com crew. Want a sticker? E-mail us!
@scala-js.org @scala-js.org 
@noelwelsh.bsky.social @noelwelsh.bsky.social I'm writing a book, online at https://functionalprogrammingstrategies.com/
My personal site is https://noelwelsh.com/
Randall Munroe @xkcd.com 
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Dan Marsden @stringdiagram.bsky.social Categories, computer science and logic.
Also: @stringdiagram@mathstodon.xyz
Website: https://stringdiagram.com/
arxiv math.AT @arxiv-math-at.bsky.social Mathematics -- Algebraic Topology (math.AT)
source: export.arxiv.org/rss/math.AT
maintainer: @tmaehara.bsky.social
Manuel Gómez @mgomez.ch Estepicursor lupolipafóbico. Te audire non possum—musa sapientum fixa est in aure. fix (10×). No longer avoiding success at all costs. DFS brain. 👨🏽💻🇻🇪@🇩🇪
alt:
profile picture: mid-30s guy, short black hair, hiking with an envomask
banner: cat in the sun
theHigherGeometer @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/ ]
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app