×
You are not logged in
Bluesky Followers
Amรฉlia Liao
Followers of @ame.fyi
Joana de Castro Arnaud
Registered:21 Oct 2024 22:37
Last post:11 Feb 2026
Last like given:6 hours ago
Uma pessoa simples, com umas ideias muito complicadas.
Mulher trans. Programadora de computador. Fรฃ de ciรชncia e matemรกtica. Escritora amadora. Criadora de jogos amadora. Curiosa sobre um bocado de coisas.
Posts em portuguรชs and/or English.
patrikja.bsky.social
Registered:1 Oct 2025 21:32
Prof. of Computer Science @ Chalmers | Haskell + Agda | From DSLs & parametricity to climate policy modeling | Bridging big ideas with formal details.
PistachioCake
Registered:1 Jan 2024 15:29
Last post:17 Feb 2026
Last like given:4 days ago
I use {nix, rust, helix} btw
23
Maxim Raginsky
Registered:3 Jul 2023 03:31
Last post:17 minutes ago
Last like given:21 minutes ago
Last like received:2 hours ago
web: http://maxim.ece.illinois.edu
substack: https://realizable.substack.co...
Vishal Lama
Registered:4 Mar 2025 06:36
Last like given:1 day ago
Functional programmer (Scala), Data Scientist (R/Python), and Options Trader. Interested in math, statistics, science, history, philosophy, linguistics, literature, buddhism, running (5k), and more.
oddNihilist.bsky.social
Registered:3 Feb 2024 01:29
Animal lover, math and science enthusiast, nihilist, idealist, (she/her)
๐จ๐ฆ Joey Eremondi
Registered:20 Dec 2024 06:25
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.
blu-birb.bsky.social
Registered:15 Dec 2024 17:39
Alice โจ
Registered:19 May 2023 21:58
Last post:1 day ago
Last like given:2 hours ago
Last like received:3 hours ago
Thereโs no sense crying over every mistake. You just keep on trying โtil you run out of cake
- GLaDOS
https://welltypedwit.ch
Brandon Barker
Registered:14 Nov 2024 19:51
Last post:5 Dec 2025
Last like given:4 days ago
I like to run, play around with programming languages and other computing tech, read biology and math, as well as lots of popular nerdery (like Tolkien). All in fairly small doses though.
Ithaca, NY resident and frequent visitor to Kentucky.
Matt Noonan
Registered:25 Nov 2024 21:45
Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
๐บ๐ฏ๐๐ชปfiona ๐ฆง๐ซ
Registered:22 Nov 2024 02:57
Last post:2 days ago
Last like given:2 hours ago
Last like received:2 days ago
i love math and cats and penguins โข she/her
Cosme
Registered:20 Oct 2024 06:53
Last post:8 Mar 2026
Last like given:4 days ago
Parlar ja รฉs exagerar โข รlgebra โข @uv.es
http://www.uv.es/coslloen/
kolmogorov.bsky.social
Registered:18 Nov 2024 22:20
Last post:23 Dec 2025
The discrete, not the real one. Cockroach math impostor
Remy Seassau
Registered:18 Nov 2024 22:35
PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
thyliorus.bsky.social
Registered:12 Mar 2024 05:39
Evan Washington
Registered:15 May 2023 16:46
Last post:2 days ago
Last like given:4 hours ago
Last like received:17 hours ago
yields falsehood when preceded by his own quotation
Artem Chernikov
Registered:31 Jul 2023 09:23
Michael Brin professor of mathematics at the University of Maryland. Mathematical logic, model theory - and connections to combinatorics, algebra, etc.
chernikov.me
Repflez
Registered:4 Jul 2023 22:36
Also known as Oman Computar (cool)
I made @rverse.club
I like character customization.
Learning Gamedev on my own!
Rookie Game Modding dev.
Also a moderator for almost 10 years on a certain indie rhythm game.
Kora ๐ณ๏ธโโง๏ธ
Registered:19 Sep 2024 19:47
Last post:5 Mar 2026
Last like given:4 days ago
stopping by this profile page / youโve stopped to read a verse / i hope it brings a small delight / despite the fact itโs terse
(and should you stay a moment more / in hopes of killing time / i wrote this stanza just for you / and even made it rhyme)
ฮผ
Registered:7 Aug 2023 14:38
Iโm an atypical antipsychotic who loves theorem provers
- ๐ฅ๏ธ Rust ๐ฆ & OCaml ๐ซ
- ๐ Type Theory & Nerd stuff
- ๐ง๐ท Sรฃo Paulo
โฑ๏ธ @io_gabx on twitter/x
fka ontocampo
Registered:31 Aug 2024 14:28
Shireen
Registered:4 Aug 2023 05:50
(they/them) walking oxymoron
I do MathematiCS
thinkingtinkerer
Registered:7 Feb 2024 17:54
abstract general nonsense
๐๐ธZhSigma@332ppmโ
ฮฃx,xโS={๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life
Registered:10 Dec 2023 03:17
Last post:4 hours ago
Last like given:32 minutes ago
Last like received:2 hours ago
S. L. Rolland@332ppm
REPOST
Roma ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat;๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ด;Nno๐ฎ๐ธ๐ซ๐ด
Slav ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ(๐ง๐ฆ๐ฒ๐ช๐ง๐พ)๐ธ๐ฎ
Hel ๐ฌ๐ท Sino ๐จ๐ณ;๐น๐ผ Aggl Eo๐น๐ท๐ซ๐ฎ๐ฏ๐ต;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
Climate Agnotology Disinformation
Antispeciesism Flexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux
Henrique
Registered:27 Dec 2023 10:26
PhD student in Information Theory @ Universitรฉ Paris-Saclay ๐ง๐ท
Shireen M.
Registered:12 Dec 2023 17:09
(they/them) 18 y/o ace ๐ณ๏ธโโง๏ธ wannable mathematician, programmer, and catgirl :p interested in abstract algebra and haskell, also avid music listener. living in a transhostile country with an affinity for cute things ๐
trixelian.bsky.social
Registered:7 Dec 2023 01:06
omar-shehab.bsky.social
Registered:11 Oct 2023 13:32
greenhat.bsky.social
Registered:25 Jul 2023 04:25
cronopio
Registered:4 Oct 2023 22:55
Last like given:19 hours ago
Books, maths, thinking.
Owen Maresh
Registered:22 Sep 2023 13:46
Last post:12 hours ago
Last like given:21 hours ago
Last like received:4 hours ago
Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa
Psoeppe-Tlaxtlal, (an undreamt splendour?)
1lann
Registered:15 Jun 2023 21:21
I like kubernetes and credit cards among other things. he/him
Kai
Registered:26 Jul 2023 14:08
Last post:3 days ago
Last like given:46 minutes ago
Last like received:3 days ago
Condensed matter theorist, math hobbyist
Hecate
Registered:14 Jun 2023 03:52
Last post:15 Feb 2026
It has come to an end
The unknowing sun will rise again
Maybe all is gone, but She still lives on
โ๏ธ Logics, Maths, and Theoretical CS
๐โโฌ Cats, Crows, and Ravens
โ๏ธ Progressive and Nontheist
๐ณ๏ธโ๐ Pro-LGBTQIA+, Anti-fascist, and Anti-racist
Ahmed Allibhoy
Registered:21 Aug 2023 05:05
Last like given:1 hour ago
postdoc and labor organizer at UC Irvine
research: neuromorphic computation & control | nonlinear dynamics | optimization theory
financial secretary, UAW 4811
website: https://ahmedallibhoy.github.i...
alliele
Registered:11 Aug 2023 11:28
Last post:1 day ago
Last like given:17 hours ago
Last like received:1 day ago
professional scala hater and not much else
she/they and ๐ณ๏ธโโง๏ธ
roselle
Registered:31 Jul 2023 05:45
it/she ๐ณ๏ธโโง๏ธ
Kate
Registered:28 Apr 2023 17:21
Last post:6 Mar 2026
Last like given:5 hours ago
Some kind of nerd by day and goblin by night.
Cyclophosphamide connoisseur.
๐ Glasgow, Scotland
๐ข FR/EN/DE
๐จ Avatar by @chordbug.bsky.social
๐ exn.st
See also:
๐ mastodon.social/@kit_ty_kate
๐ https://cohost.org/kit-ty-kate
๐ต๐ธTim Henke (tษชm 'ษฆษล.kษ)
Registered:1 Jul 2023 19:32
Last post:23 minutes ago
Last like given:1 hour ago
Last like received:1 minute ago
๐ณ๐ฑ Postdoc in Quantisation of moduli spaces, QFT, TQFT & CFT, Algebraic Geometry, Differential Geometry, moduli geometry โ Masters in: Maths/Physics/Logic โ Help me learn ๐ต๐น๐ฉ๐ฐ๐ฎ๐น๐ฉ๐ช๐ซ๐ท by talking to me! (he/him)
Forse tu non pensavi ch'io lรถico fossi
Boom
Registered:15 Jul 2023 04:39
computer and radio nerd
uni
Registered:6 Jul 2023 15:19
Last post:18 hours ago
Last like given:16 minutes ago
Last like received:2 hours ago
omg me (it ! ), 21, temporarily embarrassed polynaire (presumably??)
discord: uniwuni
various creature thing ๐๐๐๐ฆ๐ฆ๐
say hi to glorious precious lovely bunnies @transgender.parts