@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@ddavisspaceart.bsky.social
Space Artist, sky observer and photographer. Processor of space images. Interested in Astronomy, Planetary Geology, history and in what the future may bring.
@alexwarth.bsky.social
Principal Investigator at @inkandswitch.com Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of ohmjs.org
@jdherg.bsky.social
🐙 emoji.octopus.holdings 🖥️ Alum RC Sp2'15, m7'21; WashU 👨💻 formerly tech at iwillvote.com, Google, HFA, Stripe, etc
@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/ ]
@teorth.bsky.social
Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
@recursecenter.bsky.social
The retreat where curious programmers recharge and grow. Work at the edge of your abilities, develop your volitional muscles, and learn generously. We'll be posting all the cool stuff Recursers are making!
@miss-zelda.bsky.social
Scientist, sex worker, nerd Only replies on onlyfans 🥰 Spicy sites linktr.ee/Miss_Zelda
@mvanier.bsky.social
Teaching professor of computer science at Caltech. I like functional programming, array programming, interpreters, compilers, proof assistants, and cats.
@latentmoss.bsky.social
@kevinsimler.bsky.social
@lsparrish.bsky.social
Generalist specializing in antimatter production https://antimatter.productions/ Also a 40yo college student
@ciphergoth.org
Cryptography, personal trivia, and the future of all humanity. I block on a first offense for rudeness or sarcasm.
@spmontecarlo.bsky.social
Lecturer in Maths & Stats at Bristol. Interested in probabilistic + numerical computation, statistical modelling + inference. (he / him). Homepage: https://sites.google.com/view/sp-monte-carlo Seminar: https://sites.google.com/view/monte-carlo-semina
@aoeu.bsky.social
the first dvorak typist on bluesky (to go for the laziest possible username) 💾 github.com/aoeu 🔊 bandcamp.com/10kdb 🔥 instagram.com/flowgetaboutit 🗺️ barely brooklyn / not quite queens
@arthurb.bsky.social
Machine learning, functional programming, but mostly #tezos. Husband of Kathleen Breitman.
@stevebyrnes.bsky.social
Researching Artificial General Intelligence Safety, via thinking about neuroscience and algorithms, at Astera Institute. https://sjbyrnes.com/agi.html
@michaelnielsen.bsky.social
Searching for the numinous Australian Canadian, currently living in the US https://michaelnotebook.com
@sweeting.me
learning about brains + internet archiving ⑊ aka @theSquashSH on X ⑊ @ArchiveBox.io ⑊ 🚴♂️🏍🎵🗻 ⑊ 沪老外 ⑊ past: @MonadicalHQ, @RecurseCenter '14
@oxidist.bsky.social
statistical mechanics enjoyer, same handle elsewhere. https://oxidist.github.io
@bradtem.bsky.social
Self-driving and future of transportation, EFF Chair Emeritus, Founder of earliest dot-com, Founding faculty Singularity University, Sr. Contributor Forbes.com, Blog ideas.4brad.com
@cinera-verinia.bsky.social
I'm here to make friends. Please be patient, I'm intellectually challenged. https://x.com/CineraVerinia
@observersuns.bsky.social
Nothing is safer than an extemploration of fantasmicality.
@gusl.bsky.social
Berlin. Statistician interested in Social Epistemology, Judgmental Forecasting, Bayesian Cogsci, Education. Lover of languages.
@rmcelreath.bsky.social
Anthropologist - Bayesian modeling - organic modem converting poetry into code - cat and cooking content too - Director @ MPI for evolutionary anthropology https://www.eva.mpg.de/ecology/staff/richard-mcelreath/
@madgarden.bsky.social
Indie game developer, of a sort. Retro games, glitchy synth, C, FORTH, blacksmithing. Made Death Road to Canada, EGGNOGG+, Punch Quest, and some other stuff
@andymatuschak.org
More wonder, more insight, more expression, more joy! Currently exploring tools that augment human memory and attention. https://andymatuschak.org Twitter: andy_matuschak Mastodon: @andy@andymatuschak.org
@thorstenball.com
Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
@dubroy.com
Programmer & researcher, co-creator of https://ohmjs.org. 🇨🇦 🇩🇪 🇪🇺 Co-author of https://wasmgroundup.com — learn Wasm by building a simple compiler in JavaScript. Prev: CDG/HARC, Google, BumpTop
@kajsotala.bsky.social
This is a profile. There are many like it, but this one's mine. Blogs: https://kajsotala.fi , https://kajsotala.substack.com/ .
@lemonodor.bsky.social
Persistent sousveiller. Walt Disney R&D Imagineer. https://heavymeta.org
@akkartik.name
Programmer building programs that are useful, easy to install, easy to run, easy to modify, easy to share. https://akkartik.name/freewheeling-apps
@rplevy.info
Exploring the potential for superempowerment of individuals and networks by augmenting triadic joint attention with programmable semiotic scaffolding.
@duncanmak.bsky.social