27ᴍɪɴ @27min.bsky.social new videos every hour and 27 minutes :D
José @requ1n.bsky.social Growing bioinformatics engineer🌱
#Rust aficionado and #Python fan
Part time @realmadrid enthusiast
@skleene.bsky.social @skleene.bsky.social 
David Jelgersma @davidjel.bsky.social 
Willy (-o'-the-wisp) @kypetzl.bsky.social He/Him
🔎 "Datacenter sweat" : https://bsky.app/search?q=AI%7Cwater%7Cdatacenter+from%3A%40kypetzl.bsky.social
UCSB Computer Science Department @ucsb-cs.bsky.social 
Andrés E. Caicedo @andrescaicedo01.bsky.social Father of two. Set theorist. Editor at Math Reviews.
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
@helgapatakiof.bsky.social @helgapatakiof.bsky.social - M @michae1.bsky.social @michae1.bsky.social
@martendevries.bsky.social @martendevries.bsky.social 
Tadonic the Flautulent @tadonic.bsky.social "Breaker of Wind". 😉 Aspiring car-free musician (rock, folk, Celtic / British trad.). Free / Libre Open Source Software (FLOSS) advocate, educator, & former developer. Part of the Resistance. #FOSS #musician #rock #folk #celtic #autofree #WashingtonDC #DC
Barry Rountree @rhizomic.bsky.social Computer scientist at LLNL. He/him.
Banner: A messy desk with a computers and a cat tree. Overstuffed bookshelves made of reclaimed wood. Sunny patio and exuberant foliage.
Photo: Detail of rockface from Mt. Tamalpais State Park.
cronopio @cronopiob.bsky.social Books, maths, thinking.
Alex Martinez Rivera @alex-mrtnz.bsky.social I'm a student in the field of formal verification (proof assistants), currently doing an internship in the Gallinette team of INRIA.
David McCarthy 🇺🇦 @totalutility.bsky.social Philosopher, likes ethics, epistemology, uncertainty, welfare economics, category theory, climbing 🇺🇦
أبو صعصعة 🇲🇷 @beddiyouh.bsky.social 
kathryn @kathryn.xn--u4h.net she/it/dyke 🏴🦄
@toussaintma.bsky.social @toussaintma.bsky.social 
Zachary 🦋 @zed.earth Cyber-Social Infrastructure
Program Language Designer…- D Sébastien Déchamps @deloscampos.org
Ben Grant @bengrantmath.bsky.social PhD candidate in math at UConn. Interested in cluster algebras, representation theory, algebraic combinatorics, dimer models, knot theory, and logic. he/him/his
https://sites.google.com/view/benjamingrant
@thoasm.eurosky.social @thoasm.eurosky.social 
Quentin Godfroy @conscritneuneu.bsky.social 
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
(Co)fibration (Co)nnoiseur @dogmilla.bsky.social It/its or she/her if you are a coward.
A dog that was infected by the knowledge of higher category theory.
PT/EN
Gregor @coexact.bsky.social only made of atoms
JoDwarf @jodwarf.eurosky.social Matheux amateur, informaticien laborieux, maker parfois chanceux, je tente de transmettre ce que j'ai acquis à mes élèves.
Souvent, c'est en enseignant que je finis par comprendre !
@joe-d49.bsky.social @joe-d49.bsky.social 
@acendrou.bsky.social @acendrou.bsky.social 
ed glibertine @edwardtdean.org He/him Pittsburgher.
Still can't believe all this terrible shit, and at the behest of that fucking guy.
Any time I'm here, I would rather be somewhere else, playing music, pool or chess
@abeliancategory.bsky.social @abeliancategory.bsky.social 
Pontsun @pontsun.com Programmer: Rust, C, Lean, JavaScript
Language speaker: English, Swedish
Wikipedia editor: Gnome
Thomas House @tah-sci.com Professor of Mathematical Sciences, trying to take an Internet detox at the moment.
https://personalpages.manchester.ac.uk/staff/thomas.house/about.html
Pierrot le frou @phof7milkhotel.bsky.social Your favorite doomer boy | Music Quizz enjoyer | Personnal account | Video-games, weird movies, art & shitpost | PhD student in cryptography | Talking a lot about my life
He/Him, FR/EN (mostly FR tho)
Raphaël Couturier @raphcout.bsky.social Professor of computer science, Université Marie et Louis Pasteur, France
Piotr @swistak0.bsky.social PhD CS (dynamical systems, applying number theory stuff :)). I like badminton and smash. Green 🤞💚
Practicing 🇵🇱, learning 🇪🇸🇩🇪 (talk to me in any!)
@gollumcapulet.bsky.social @gollumcapulet.bsky.social 
@andrejbauer.bsky.social @andrejbauer.bsky.social 
Yoshiaki Onishi @yoshionishi.com composer/conductor/clarinetist, employed by his boss Dorian the Cat (he/him) More: https://linktr.ee/yoshiakionishi
Elly @ellyzoe.bsky.social Ridiculous and extra. Multidisciplinerdy. Lit & writing major, CS PhD, teacher of many subjects, jack of many trades. Gender-unwilling Jewish hillbilly in the PNW. 🏳️🌈 she/they/elle/iel. English/Français
🐘 ellyzoe@mas.to
🌩️👀 9MDQTEGZfpxH
@boarders.bsky.social @boarders.bsky.social Thanks to impermanence all things are possible
Working on a book on topos theory
Naïm Camille Favier @ncfavier.bsky.social PhD student at Chalmers interested in univalent foundations, category theory and music. they/them. https://monade.li
@knudstorp.bsky.social @knudstorp.bsky.social 
Max Dunitz @maxdunitz.bsky.social Doctorant, Centre Borelli (compte perso). Je travail sur des problèmes inverse en imagerie. I work on inverse problems in imaging. He/they. #BlackLivesMatter Site web : max-dunitz.perso.math.cnrs.fr
__{}__{}____ @edmondantes.bsky.social wrong tool
pseudo-poet
hacker ma non troppo
Peva Blanchard @pi-b-sd.bsky.social My interests, not in any order of priority
- environmental impacts analysis
- applied category theory
- digital humanities
- music
Colas Bardavid @colasbd.bsky.social Professeur de maths (en MPSI) et d'informatique (en PCSI). Je m’intéresse aussi à l’UX design, à la philo, aux arts, etc.
• http://colasbd.github.io •
Sam Kuhn @samkuhn.bsky.social 
Mobie @m0bie.bsky.social just a girl
@teniba.bsky.social @teniba.bsky.social 
@mandelnag.bsky.social @mandelnag.bsky.social 
@srosh.bsky.social @srosh.bsky.social 
Isaac Weddell @isaacweddell.bsky.social 
Pierre @renepierrejous.bsky.social Je ne vous dirai pas tout ce que j'ai pensé sur cette affaire. Ni même d'ailleurs ce que j'ai fait. Quant à ce que j'ai ressenti, comme beaucoup, eh bien,
judith herzog @juditherzog.bsky.social migrating bird
recovering antitrust nerd
miki @mikipop.bsky.social 
Wild pentachoron correspondent @crossslide.bsky.social Ame
thyst, orchid, mulberry, midnight blue, navy blue, electric blue, sapphire, turquoise, cyan, aqua, olive green, pine green, sea green.
とどまりたる例なし。
44 years old.
Timeo_Danaos🇫🇷🌐🇺🇦 🏳️🌈🇪🇺☢️⚛️☣️🇨🇦🇲🇽 @timeodanaos.bsky.social Oenophile abstinent, chimiste écolo, cuistot au régime, père indigne, mari misogyne, chauffard patenté, athée prosélyte et chanteur de salle-de-bain.
Dold–Kan: The Musical! @wildverzweigt.bsky.social Con alivio, con humillación, con terror, comprendió que él también era una apariencia, que otro estaba soñándolo.
🖤🤍💜 (ő/őt)
nullx002 @nullx002.gitlab.io 
@carrotjuice1234.bsky.social @carrotjuice1234.bsky.social 
Dino Carpentras @justanormaldino.bsky.social Postdoc at ETHz - Associate Editor HSScomms
Exploring Opinion Dynamics and Collective Intelligence with social simulations and belief networks.
Thomas Gerbaud @t.gerbaud.xyz data oriented nerd, physicien, ingénieur,, chroniqueur, fan d'excellente musique
✒️ http://algonaute.fr
@0x1312.bsky.social @0x1312.bsky.social MCF en Informatique (section 27). Joueur d’échecs approximatif. Algorithmicien communiste. 🏴
Andre Garnier Reed @andregarnierreed.bsky.social Cinéma, bande dessinée, maths et info.
castorhash @castorhash.eurosky.social 
Josselin @josselin.iblop.net Artisanal Retro-Futurist ⊗ Team-Scale Anarcho-Syndicalist
Érik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Younès Benslimane @younesben.bsky.social Économie, environnement, tout ça...
Eric Grancher @ericgrancher.bsky.social 
Karl Pettersson @karlpettersson.bsky.social Data mangler.
Antoine Pitrou @pitrou.net Logiciel libre / free software (core developer of @arrow.apache.org, #ApacheParquet, #Python #CPython). Engineer at @quantstack.bsky.social. Membre de l'Afis @afis.bsky.social.
(profile picture: Sophie Taeuber's lion)
ZëN (l/acc) @simulacronzen.bsky.social Precog Cyberpunk #PsychoQuanticPunkt #Philosophy #Metaphysics #Literature #LeftAccelerationism #Metalepsis #Quantum #Chaotic
texts : https://lempiredessimulacres.wordpress.com
music : https://www.youtube.com/@drzen4609
Nico Metocean @nicometocean.eurosky.social Researcher in Statistics for MetOcean engineering. Extrême events. Climate Change. ESR. Statistics. Rstats. GAMs. Proud and tired father of three.- B Bruno Piguet @brunopiguet.bsky.social
𝖅𝖊𝖗𝖔⚡𝖙𝖗𝖆𝖈𝖊 @zerodayphantom.bsky.social Ghost in the algorithm. Whisperer of APIs. Building the unseen, bending the rules. Follow the signal—if you can.
Julien Narboux @jnarboux.bsky.social Researcher in Computer Science, IRIF, Université Paris Cité.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
Professeur Karré @professeurkarre.bsky.social Chaîne Youtube de vulgarisation de l'informatique.
Youtube : https://www.youtube.com/@professeurkarre
Facebook : https://www.facebook.com/ProfesseurKarre/
Tumblr : https://www.tumblr.com/blog/professeurkarre
Mastodon : https://social.sciences.re/@Karre
@pirsquare.bsky.social @pirsquare.bsky.social 
Protinux @protinux.bsky.social Champignon en devenir
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
Léon Probst @leonprobst.bsky.social PhD student in philosophy at ISFI in USI, doing logic and philo of math
https://leon-probst.github.io/
kuk @kukntoast.eurosky.social Prof λ en lycée du 92 (maths)
🦧🏉♘
Thomas🪴 @lipsum.dev Maths et applications, avec les mains et avec du code 💻
https://blog.lipsum.dev