Daniel Patterson @dbp.bsky.social Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
joomy @joomy.bsky.social researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey.
🐦: http://twitter.com/joomy
🕸️: http://joomy.korkutblech.com
Dr. Anna Latour @aldlatour.bsky.social Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Johannes Kinder @jkinder.bsky.social Professor @ LMU Munich
Security, Program Analysis, Machine Learning
Gowtham Kaki @gowthamkaki.bsky.social Assistant Professor at CU Boulder. Programming Languages. Formal Methods. Distributed Systems. Security.
https://gowthamk.github.io
Sarah E. Chasins @schasins.bsky.social Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Terence Tao @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/
François Garillot @huitseeker.bsky.social Cryptography, decentralized networks, in close proximity to ☕🦀. Ex: {Protocol, Mysten, Dapper} Labs, Meta, …
AI + FM papers @ai-fm-papers.bsky.social A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Moritz Schloegel @mu00d8.bsky.social Faculty @CISPA Helmholtz Center doing software security, program analysis, and fuzzing
Previously at SEFCOM lab @ASU and @RUB
Tiago Cogumbreiro @forkjoin.bsky.social Associate professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
Ethan Cecchetti @ethancecchetti.bsky.social Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist
Mastodon: discuss.systems/@EthanCecchetti
Web: cecchetti.sites.cs.wisc.edu
Rasmus Pagh @rasmuspagh.net Professor of computer science at University of Copenhagen. Interested in random things & their application (especially to algorithms and privacy). rasmuspagh.net
Aleksey Shipilëv @shipilev.bsky.social In love-hate relationship with machines. Currently: OpenJDK, AWS. "Trust me, it's really me" backlink: https://shipilev.net/#social
Qian Li @qianli.dev Co-founder @dbos.dev • Stanford CS PhD
Co-organizer @southbaysystems.xyz
Working on 🐘 Database + Systems + AI
Amateur bird watcher 🦉
Personal site: qianli.dev
She/her.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
pianocktailiste @pianocktailiste.bsky.social Shitpost ; très occasionnellement mathématiques appliquées et physique ; souvent avis désastreux sur tout et surtout n'importe quoi.
Ma thèse en 180 secondes - France @mt180fr.bsky.social Ma Thèse en 180 secondes France #MT180 est un concours organisé par France Universités et le CNRS.
UVSQ @uvsq.bsky.social Université de Versailles Saint-Quentin-en-Yvelines, membre fondateur de l'Université Paris Saclay
Académie des sciences @academiesciences.bsky.social 🏅Soutenir la recherche
👩🔬Transmettre les connaissances scientifiques
💡 Conseiller les pouvoirs publics
https://linktr.ee/academiedessciences
#helloESR
CNRS @cnrs.fr Organisme public 🇫🇷 de recherche pluridisciplinaire, le Centre national de la recherche scientifique c'est 33 000 personnes qui font avancer la connaissance. #HelloESR
CNRS Biologie @cnrsbiologie.bsky.social Décrypter la complexité et la diversité du vivant
🔗 https://www.insb.cnrs.fr/fr
CNES @cnes.fr L'actu du CNES, le Centre National d'Études Spatiales. Retrouvez les 3 infos de la semaine chaque vendredi sur notre chaîne WhatsApp.
Université Paris-Saclay @univparissaclay.bsky.social Compte officiel de l'Université Paris-Saclay : 48 000 étudiants, 9 000 chercheurs et enseignants-chercheurs, 4 600 doctorants #Formation #Recherche
François Fleuret @francois.fleuret.org Research Scientist Meta/FAIR, Prof. University of Geneva, co-founder Neural Concept SA. I like reality.
https://fleuret.org
Richard McElreath 🐈⬛ @rmcelreath.bsky.social Anthropologist - Bayesian modeling - science reform - cat and cooking content too - Director @ MPI for evolutionary anthropology https://www.eva.mpg.de/ecology/staff/richard-mcelreath/
MHoussayH @mhoussayh.cpesr.fr Geographer, teacher
I either give too many fucks or no fucks at all... I can't find a middle ground for moderate fuck distribution
Luna de la Forge de la Lune @forgedelalune.bsky.social Artiste derrière la forges de la Lune
Luna de son vrai nom
je fabrique mes couteaux de A à Z
Catalogues des modèles de couteaux disponible par mail
Liste des modèles
https://bsky.app/profile/forgedelalune.bsky.social/post/3m5gyusnd4c24
Joh Peccadille @peccadille.bsky.social Post-doctorante à l'Institut national d'Histoire de l'art & chargée de cours à l'école du Louvre
Histoire culturelle & urbaine. Estampe, XVIIIe, Humanités numériques.
HAL : https://cv.hal.science/johanna-daniel/
Carnet : https://ig.hypotheses.org/
Amaury @amaury-cts.bsky.social 22. Passionné de spatial (surtout chinois), photographe amateur, souvent dans un train vers les coins paumés d'Europe 🚀🚆🇪🇺
Dr Pyviv @pyviv.bsky.social Combinatorist, Mathematician, CS PhD, pythonista, teacher, feminist, and more. She / her
Also here on Mastodon https://t.co/TdGPTS8KMq
@antoine-ducros.bsky.social @antoine-ducros.bsky.social Enseignant-chercheur en mathématiques à Sorbonne-Université (Jussieu). Grand amateur de voyages. Et je fais beaucoup de photos.
Olivier @gloupin.bsky.social Professor (@Polytechnique)
Torturer of cryptographic primitives
Tech should help people, not the opposite
He/him/any
Jean-Yves Labouche @jylabouche.bsky.social #maths #SNT #RRUPN au Lycée Français de Taipei | Autoédition chez Éditions Factorielle | Auteur chez #Hatier | Membre #c2it (#IREM #TICE) et #MathémaTICE
Site : http://www.monclasseurdemaths.fr/
Vidéos : https://www.youtube.com/@JeanYvesLabouche
Durand Arnaud @durandarno.mathix.org Enseignant de Mathématiques en Sarthe
Auteur du blog http://mathix.org
Co-créateur des problèmes DUDU
Membre du @RallyeMath72
était durandarno chez http://x.com
D.Vincent @dgvincent.bsky.social IA-IPR de mathématiques 🧮💻, Normandie-Rouen 🇫🇷.
Coureur à pied 🏃🏻♂️(17 #marathon 3h08, #ultratrail), tir sportif carabine, #biathlon #amopa #education
Christophe Frediani @chrisfrediani.bsky.social Prof de Maths - Snes FSU
🚴🔭🏊
rudelune @rudelune.bsky.social Intéressé par l'informatique sur papier et sur écran 🌱
Informaticien spé philo 🐫 @cyranhoe.bsky.social Doctorant en informatique au LIP6 | 🏳️🌈 | Rock prog et Kylie Minogue
Myzmadra @csx.sh Ocaml/Rust research engineer, hobbyist fashion designer, I hate drawing, love converting warhammer, hate painting them. Hydra Dominatus.
Site : https://csx.sh
Projet de mode : https://cybersex.style
DANG Aurélien @dangaurelien.bsky.social 🧮♾️🖥️🚲🍉🦠😷🏀
prog, metal, & progmetal.
Women, life, freedom.
End of world. End of month.
Free Palestine.
Bombing school and hospitals = bad.
FR | EN | ES.
Father of 3.
#JeSuisCharlie since 1995.
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
JC Dubacq @jc.dubacq.fr Computer scientist, High.Ed. teacher, Parisian, Debian, gamer (not just video games)
Elanis @elanis.eu French but mostly post in English
Game and web developer. Doing opensource when I can
Check out my games on Steam:
Logistik: s.team/a/3928180
Alchemistry: s.team/a/1730540
Extortion: s.team/a/1299430
github.com/Elanis | elanis.eu
Astral @lezenn.bsky.social Gleam is love, Gleam is life
Biologiste Fatiguée @biologistef.bsky.social Biologiste et informaticienne, pas bio-informaticienne. 🤓
Sciences, Féminisme et Athéisme 😻
Owen Maresh @graveolens.bsky.social 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,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
Emeline 🪐 @emelinebef.bsky.social Rêve d'être une astrophysicienne malgré mon incompréhension des mathématiques🪦
L3 physique ⚛️
Aranitha - Ind100 podcast @emmelleg.bsky.social Dit des bêtises sur les jeux (de role et de société ) chez https://www.twitch.tv/ind100podcast
Bébé autrice chez https://aranitha.itch.io/
Couveuse de Caméléon d'or
Maman Louve
Astatide @astatide42.bsky.social Opinions on many things I like, ibnlt: computers, dancing, languages, math, music, physics, rational fiction, sf&f, smfw acronyms, utilitarianism, xkcd&smbc
testing the caracter limit aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
Thomas @thomasga.bsky.social Matheux perdu à l'ENS Paris Saclay (road to biology ?)
Informatheux @informatheux.bsky.social Info. Maths. Logique. Shitpost.
Steve Haroz @steveharoz.com Visual perception and cognition scientist
(he/him)
My site: http://steveharoz.com
R guide: https://r-guide.steveharoz.com
StatCheck Simple: http://statcheck.steveharoz.com
Stéphane Lathuilière @stephlat.bsky.social Research Scientist at Inria Grenoble #ComputerVision Image/video generation. Recruiting PhD students, postdocs and engineers.
Stelat.eu
Jhony H. Giraldo @jhonyhgiraldo.bsky.social Assistant professor at Télécom Paris, Institut Polytechnique de Paris 🇨🇵🇨🇴. #GeometricDeepLearning #ComputerVision https://jhonygiraldo.github.io/
mule-du-pape @muledupape.bsky.social No need for profile
Deathwish the Hun @shab0y.bsky.social Info ∙ Musique ∙ Montagne
Gro-Tsen @gro-tsen.bsky.social Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.
Joseph Williamson @josephwilliamson.bsky.social Researching biological responses to climate change using butterflies. Into inverts / traits / tropical forests / microclimate. Postdoc at University College London (CBER). He/Him. JoeWilliamsonDB on Twitter.
Aart Bik @aartbik.bsky.social Dutch-American computer scientist
Utrecht (MSc), Leiden (PhD)
#Nvidia #Google #Intel
#astrophotography #chess #compilers #sparse #vectorization
🌐 aartbik.com
Cem Anil @cemanil.bsky.social Research scientist at Anthropic.
PhD in machine learning from the University of Toronto and Vector Institute.
Prev: NVIDIA, Google
Nelson Tang @nelsontang.com Data Scientist (Forecasting) @NVIDIA. Interested in Bayesian stats, causal inference, and decisions. Also dad, OEF vet, and ski/mountain enjoyer.
I blog (throw bricks into the wind) @ www.nelsontang.com
George Kopanas @grgkopanas.bsky.social Research Scientist @Google + Climbing Gym Owner. Previously PhD at @Inria | Intern at @Adobe | SWE at @Arm
Shantanu Acharya @shantanuacharya.bsky.social Researcher at NVIDIA - Working on Long Context LLMs
Ayca Takmaz @aycatakmaz.bsky.social PhD student @ETH, research intern @NVIDIA, prev. student researcher @Google working on 3D vision and scene understanding
aycatakmaz.github.io
Ms. Kathy Reid (she/her) @kathyreid.au #PhD researcher at #ANU Cybernetics, investigating bias in #speech and #voice #tech, with a focus on #data & #ML. Leads R&D at @mozdatacollective.bsky.social
Ex NVIDIA, Mycroft AI, @linuxaustralia.bsky.social, Deakin Uni.
https://linktr.ee/kathyreid
Andrew Heiss @andrew.heiss.phd Assistant professor at Georgetown University in Qatar (formerly GSU, BYU). Study NGOs, human rights, international politics, causal inference, and stats. 6 kids.
#rstats forever.
andrewheiss.com
Signal: andrewheiss.01
Shooshan Danagoulian @shooshan.bsky.social Health Economist | Associate Professor @waynestate @WayneStateCLAS | Previously @CornellEcon @LSEEcon @JohnsHopkins | Mom to 3 lovely kids.
https://www.shooshandanagoulian.com/
Paul Goldsmith-Pinkham @paulgp.com Yale SOM professor & Bulls fan. I study consumer finance, and econometrics is a big part of my research identity. He/him/his
Sean Pinkney @spinkney.bsky.social I mostly post about probabilistic programming stuff, statistics, and R/Julia/Python (in that order). I'm a volunteer Stan developer and citizen scientist (papers on arxiv). Currently my day job is doing marketing analytics.
S. Ota @ota.bsky.social Interests: Reinforcement Learning, Natural Language Processing and Artificial General Intelligence.
arXiv papers bot: @paper.bsky.social
Susan Holmes🎲🖥️🧬 @sherlockpholmes.bsky.social Statistician,Mother,Prof,Grandmother(she/her)🇫🇷🇵🇹🇺🇸🧪.
🖋️with @wkhuber.bsky.social:Modern Statistics for Modern Biology (https://www.huber.embl.de/msmb/) #stats,#rstats,OSS,arXiv, microbial ecology,cytof,multi-omics,Bioconductor:phyloseq, DADA2
𝑀𝒶𝓎𝓇𝒶°❀⋆.ೃ࿔*:･🫧 @lepapillonblue.bsky.social Street and landscape photographer with a zest for life. 𝓝𝓪𝓽𝓾𝓻𝓮 𝓵𝓸𝓿𝓮𝓻. 📸 #Nikon #Sunset www.MayraPhotography.com
Bug Enthusiast 🐝❤️ @idolomantises.bsky.social Quill 🐝🏳️🌈 · 27 • They/them · Creator of "Bugtopia", “The Last Bee Princess” and "The Lover's Inferno"
Patreon: https://www.patreon.com/idolomantises
Glenn K. Lockwood @glennklockwood.com I am a supercomputing enthusiast, but I usually don't know what I'm talking about. I post about large-scale infrastructure for #HPC and #AI.
Sunita Chandrasekaran @sunitachandra.bsky.social HPC lover, Assoc. Prof. @UDEL. We are a cool bunch https://crpl.cis.udel.edu/
Co-Director UD AI Center of Excellence (AICOE) https://sites.udel.edu/ai/
Leading an NSF DA#RSE project https://sites.udel.edu/darse/
HIRING #RSE https://careers.udel.edu/cw/en
Jason Yalim @yalim.bsky.social Sr. ML Eng. @ PayPal's GFP ML R&D.
Formerly Assistant Research Professor, Computational Research Accelerator, a supercomputing-adjacent unit @ Arizona State University. PhD Applied Math. on stratified fluid flows.
math.la.asu.edu/~yalim
Views my own
Rachel Thomas @math-rachel.bsky.social researcher answer.ai
interested in education, immunology, & AI
fast.ai co-founder, math PhD, data scientist
Writing: https://rachel.fast.ai/
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Antoine Daniel @antoinedaniel.bsky.social mdrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr
Enes Altuncu @enesaltuncu.com.tr 📚 Computer Science Academic at İstanbul University-Cerrahpaşa
💻 Research in cyber security & fact-checking
🌐 enesaltuncu.com.tr
Chris Peikert @chrispeikert.bsky.social Cryptographer (lattices/post-quantum), Burks Collegiate Professor at U-Michigan Computer Science and Engineering, Chief Scientific Officer at Algorand, PhD from MIT CSAIL. Previously faculty at Georgia Tech School of CS. Here I speak for myself.
Eric Lengyel @ericlengyel.bsky.social • Creator of Radical Pie equation editor, Slug Library, C4 Engine
• Math / gamedev author
• Geometric algebra researcher
• Former Naughty Dog, Apple, Sierra
Gaël Varoquaux @gaelvaroquaux.bsky.social Research & code: Research director @inria
►Data, Health, & Computer science
►Python coder, (co)founder of scikit-learn, joblib, & @probabl.bsky.social
►Sometimes does art photography
►Physics PhD
Dr. Mansa Keita @rasmansa.bsky.social Pseudonym. Rastafari. Computer Science PhD. Chess Master. Dad jokes. Arsenal FC. Science. Parenting. Anti-racism.
Sarah Azouvi @saz.bsky.social Prev. research scientist at Protocol labs.
PhD in computer science from University College London.
Pole fitness enthusiast.
sazouvi.com
She/her
Christina Gabriel @mcg57.bsky.social Elec Engineer (MIT PhD, quantum electronics). Bell Labs researcher. Natl Sci Foundation exec. US Senate Approps staffer. Univ VP & CTO. Nonprofit grantmaker.
Extreme wealth concentration is poison. Paul Wellstone: We all do better when we all do better.
vincent d'internet @vincentdinternet.bsky.social Journaliste et Social media editor au Monde, j’écris sur les influenceurs, les espaces numériques et quand je peux sur les grands espaces
https://www.instagram.com/vincentdinternet/
Antronics Ltd @antronicsltd.bsky.social Developer of embedded microntroller-based systems. Contract/consultant. Specialist in IoT, M2M communications and interfacing.
May also contain cats, steam engines, and more.
OSHWA @oshwassociation.bsky.social The Open Source Hardware Association (OSHWA) aims to foster technological knowledge and encourage research that is accessible, collaborative and respects user freedom.
Greg @gregdavill.bsky.social Electronics engineer. RISC-V ASICs at IQonIC Works 🧙♂️ (He/Him)
I also take macro photos of electronics
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app