ESA Space Science @science.esa.int Keeping you posted on space science activities from the European Space Agency.
Web: http://www.esa.int/science
Privacy Notice: esa.int/connectwithus
#astronomy #space #science
Open Home Foundation @openhomefoundation.org The Open Home Foundation fights for the fundamental principles of privacy, choice, and sustainability for smart homes. And for every person who lives in one.
Dimitri aka Mr Bidouille @monsieurbidouille.fr Vidéaste sur #Youtube, vulgarisation technique, visite d'usines, chantiers et infrastructures.
Larry the Cat @number10cat.bsky.social Chief Mouser to the Cabinet Office. 17 year old tabby. Living with my seventh Prime Minister. Unofficial.
https://www.buymeacoffee.com/Number10cat
Vates @vates.bsky.social Open Infrastructure made simple
Hugo @huglu.bsky.social Perdu en Kartoffelie depuis 6 ans 🥨
Dr Pyviv @pyviv.bsky.social Combinatorist, Mathematician, CS PhD, pythonista, teacher, feminist, and more. She / her
Also here on Mastodon https://t.co/TdGPTS8KMq
Yining Karl Li @yiningkarlli.bsky.social Rendering Engineer at Disney Animation working on Disney's Hyperion Renderer. Previously at Pixar, Dreamworks, Cornell, Penn. Views here are my own.
https://www.yiningkarlli.com
https://mastodon.gamedev.place/@yiningkarlli
Ethan Mollick @emollick.bsky.social Professor at Wharton, studying AI and its implications for education, entrepreneurship, and work. Author of Co-Intelligence.
Book: https://a.co/d/bC2kSj1
Substack: https://www.oneusefulthing.org/
Web: https://mgmt.wharton.upenn.edu/profile/emollick
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
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
Dr. Serge Zaka @sergezaka.bsky.social CEO of AgroClimat2050 | PhD in agrometeorology | Vice-President & Stormchaser Infoclimat |
Conference / Speaker #agriculture #globalwarming
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
Dan Ciruli @danciruli.cloud Software and product management guy. Cloud Native, API and reformed service mesh guy, I guess. Dad. Husband. Oaktowner.
I work at Nutanix, but this is my feed, not theirs.
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net
Fixoulab @fixoulab.bsky.social CEO @ factorfx.com and itsm-ng.org, love ocsinventory-ng.org and proxmox and doing stuff on twich !
Olivier @gloupin.bsky.social Professor (@Polytechnique)
Torturer of cryptographic primitives
Tech should help people, not the opposite
He/him/any
MISC @miscmag.bsky.social Suivez les dernières actualités de MISC, bimestriel dédié à la #cybersécurité offensive & défensive. Retrouvez-nous en kiosque & sur https://boutique.ed-diamond.com/.
Denis Bodor @lefinnois.bsky.social Rédac-chef de Hackable & GNU/Linux Mag (GLMF) - http://gitlab.com/0xDRRB - https://connect.ed-diamond.com/auteur/bodor-denis - https://www.twitch.tv/Lefinnois_
Emile `iMIl' Heitor @imil.net FOSS contributor, NetBSD developer. DJ'ing and composing in my spare time * https://imil.net/fosscard/ * http://twitch.tv/imilnb
Théo @theo.goureau.eu He/Him. Doctoral student in computer science. #Security #Microarchitecture
Kernel Recipes @kernelrecipes.bsky.social Informal conference about the Linux kernel in Paris - next edition, 21 to 23, september 2026
https://kernel-recipes.org
Prof. Fabrizio Bucella @fabriziobucella.bsky.social Professeur des universités — Université libre de Bruxelles — Physicien
Antoine Copra @cobrafx.bsky.social Antoine Copra - I want plans by the many, not by the few. #free
Loria @labo-loria.bsky.social Laboratoire lorrain de recherche en informatique et ses applications.
www.loria.fr
Jonathan Protzenko @protz.bsky.social I talk about Rust, verification, cryptography, programming languages… and pets 
Diane Larlus @dlarlus.bsky.social Computer Vision & Machine Learning researcher at NAVER LABS europe
she/her - https://dlarlus.github.io/
AJSPI @ajspi.bsky.social Association de près de 300 journalistes scientifiques de la presse d'information, créée en 1955. Ni syndicat, ni conseil de l'ordre, ni responsable de ce qu'écrivent ses membres.
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Philippe Baptiste @phbaptiste.bsky.social Ministre de l'Enseignement supérieur, de la Recherche et de l’Espace
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy CS Prof at Université Paris Cité (IRIF). Dabbing in logic, computational complexity, verification, etc. Personal account and personal views; expect me to […]
🌉 bridged from ⁂ https://social.sciences.re/@sylvainschmitz, follow @ap.brid.gy to interact
Beestrot 👨🍳 @beestrot.com Great recipes from around the world, cooking tips that actually help, fresh food news every week, and fun quizzes for curious food lovers. If you like to cook, eat, or just learn something new in the kitchen: follow along!
🌐 https://beestrot.com
Lê Nguyên Hoang @science4all.org AI Security Assistant Professor @TélécomParis.
@Polytechnique X07, @polymtl PhD, ex @mit @epfl.
Writer, @Orange AI ethics, Science4All.
Académie des sciences @academiesciences.bsky.social 🏅Soutenir la recherche
👩🔬Transmettre les connaissances scientifiques
💡 Conseiller les pouvoirs publics
https://linktr.ee/academiedessciences
#helloESR
Lesly-Ann Daniel @lesly-ann.bsky.social Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Mickaël Launay @mickaellaunay.bsky.social Je vulgarise les maths et ce qui tourne autour.
L'équation de la chauve-souris (de la poussée d'Archimède à la physique quantique) est sorti le 16 octobre en librairie.
Informatheux @informatheux.bsky.social Info. Maths. Logique. Shitpost.
Thomas🪴 @lipsum.dev Maths et applications, avec les mains et avec du code 💻
https://blog.lipsum.dev
Julien Gossa @juliengossa.cpesr.fr Veille et recherche sur les politiques publiques de l'éducation, de l'enseignement supérieur et de la recherche
#ESR #DataESR #VeilleESR
Maître de conférences à l'Université de Strasbourg, laboratoire SAGE.
Membre de la CPESR.
Akanoa @akanoa.bsky.social - Pratique la vulgarisation graphique en dilettante. 🗣🖍👂
- Vous pouvez retrouver mes anciens articles ici http://lafor.ge 📖
- Streamer erratique https://twitch.tv/akanoa 📡📺
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
Ben Shapiro (he/him) @benshapi.ro Prof @ University of Washington
pvh @pvh.ca just this guy, you know? (director of research @ ink & switch, coined "local-first", contributor to automerge, former postgres guy, heroku staff, ex-game developer, arctic oceanographer.)
Ragnar {Groot Koerkamp} @curiouscoding.nl Postdoc on high troughput bioinformatics @ KIT Karlsruhe;
IMO, ICPC, Xoogler, Rust, road-cycling, hiking, wild camping, photography
Igor Martayan @imartayan.bsky.social PhD in algorithmic bioinformatics at @bonsaiseqbioinfo.bsky.social.
Interested in space-efficient data structures, sketching algorithms & high-performance computing
https://igor.martayan.org
Mara Bos @mara.bsky.social Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Cryspen @cryspen.com High Assurance Software
Valérie Masson-Delmotte @valmasdel.bsky.social PhD, climate scientist @lsce-ipsl.bsky.social @CEAParisSaclay @IPSL_outreach @hc_climat. Was co-chair @ipcc.bsky.social (AR6 WGI). Member of French Academy of Technology and Academy of Sciences.
Christophe Cassou @cassouman40.bsky.social Physicien climatologue, Directeur de Recherche du CNRS au LMD/ENS/IPSL
Auteur principal du 6e et 7e rapport du #GIEC @IPCC_CH, Groupe 1: "Les bases physiques du Climat"
Co-fondateur des Trains du Climat
Climate Scientist @CNRS, IPCC AR6 and AR7 lead author
Michel Goya @goyamichel.bsky.social "Luke, je suis ton pépère" 
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.
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
SAFARI Research Group @safari-eth.bsky.social SAFARI Research Group at ETH Zurich. We work in computer architecture, systems, security and bioinformatics. Our group is led by Onur Mutlu.
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Théophile Wallez @twal.org Post-doc researcher at CISPA, working on secure group messaging & machine-checked security proofs.
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
Camille Marchet ⚡ @camillemrcht.bsky.social Researcher in @BonsaiSeqBioinfo
Lille, France. Bioinformatics, data-structures & DNA/RNA.
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
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
David Picard @davidpicard.eurosky.social Professor of Computer Vision/Machine Learning at Imagine/LIGM, École nationale des Ponts et Chaussées @ecoledesponts.bsky.social Music & overall happiness 🌳🪻 Born well below 350ppm 😬 mostly silly personal views
📍Paris 🔗 https://davidpicard.github.io/
Vicky Kalogeiton @vickykalogeiton.bsky.social Assistant Professor at Ecole Polytechnique, IP_Paris// Before: Oxford_VGG, Inria Grenoble // multimodality, genAI enthusiast // happy mum+dog_mum // opinions: mine
Gabriel Peyré @gabrielpeyre.bsky.social CNRS researcher at ENS
Sylvain Wallez @swallez.com Software engineer, from big servers to tiny microcontrollers. Principal engineer at @elastic.co, member of @apache.org. Blogging (sometimes) at https://bluxte.net
🌐 Toulouse, France, Europe
Joel David Hamkins @joeldavidhamkins.bsky.social Mathematics and Philosophy of the Infinite
Professor of Logic, University of Notre Dame
University of Oxford
#InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths
https://buymeacoffee.com/joeldavidhamkins
FOSDEM @fosdem.org https://fosdem.org
Léαlinux 🐧 @lea-linux.org Compte officiel de l'association loi 1901 depuis 1998 sur les logiciels libres : https://lea-linux.org
https://fr.m.wikipedia.org/wiki/Lea-Linux
̶t̶w̶i̶t̶t̶e̶r̶.̶c̶o̶m̶/lea_linux
mastodon.cloud/@lealinux
Carola Doerr @caroladoerr.bsky.social CNRS research director at Sorbonne University in Paris. Interested in black-box optimization (theory, benchmarking, applications, learning,...).
ERC project dynaBBO on dynamic black-box optimization algorithms (consolidator grant)
Jack Vanlightly @vanlightly.bsky.social Researcher, advisor, writer, formal verification eng @ Confluent.
Everything data (dist sys, databases, messaging, data eng/analytics).
https://jack-vanlightly.com, https://www.hotds.dev
Credit: ESO/B. Tafresh
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes et à Theorems As A Service
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Nicolas Keriven @nicolaskeriven.bsky.social CNRS researcher. Hates genAI with passion. Food and music 🎹 https://linktr.ee/bluecurlmusic
Underfox @underfox3.bsky.social Physicist, Telecom Engineering lover, HPC Enthusiast. Prog Rock/Metal fan.
---
Independent tech analyst focused on semiconductors, patent analysis and emerging technologies.
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Olivier Poncet 🦝 @ponceto91.bsky.social Artisan du magiciel et adepte de programmation récréative. Je partage du code, parle de logiciels libres et open-sources, de Linux, BSD et d'infrastructure
Paul Chaignon @pchaigno.bsky.social System security, eBPF, and programmable networks. Working on Cilium's BPF-based datapath. He/him.
Pekka Enberg @penberg.org @🏡🇫🇮🇪🇺🧑💻
Matt Fleming @mfleming.bsky.social Nyrkiö co-founder. Systems engineer at Cloudflare. Former Linux kernel maintainer. Performance nerd.
Vincent Bernat @vincent.bernat.ch Network engineer at AS12322. Debian and free software developer. Like to work on projects with C, Python, or Go. He/him. https://vincent.bernat.ch
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
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
Avi Kivity @avikivity.bsky.social ScyllaDB, KVM
Maurice Herlihy @mauriceh.bsky.social Prof at Brown CS. 
Pierre Zemb @pierrezemb.fr 🧑💻 Staff Engineer @clever-cloud.com
🤩 Distributed and Database Systems
🚀 Co-leader Finistdevs.org
💪 Squash player
Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.
Alex Xu @bytebytego.bsky.social Follow me for system design & book-writing tips. | Author of the bestselling book series: ‘System Design Interview’ | Join 350,000+ Readers: blog.bytebytego.com
Andrew Baumann @ab.id.au Core OS and systems security research @Google Zurich. Ex-{UNSW,ETH,MSR}. Mostly 🇦🇺. He/him.
Dominik Tornow @dominiktornow.bsky.social Founder Resonate HQ | Distributed Async Await | Thinking in Distributed Systems | https://dtornow.substack.com
Dan Tsafrir @dants.bsky.social Professor, Computer Science, Technion
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.
Juan Fumero @jfumero.dev Software developer @oracle Java Platform Group. Opinions my own.
🔗 https://jfumero.dev
Johannes Bechberger @mostlynerdless.de OpenJDK hacker at SapMachine, works on hello-ebpf for fun
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Vipul Vaibhaw @vaibhawvipul.bsky.social Open source contributor - datafusion-comet, arroyo, etc.
Math Grad.
Rust. Scala. Python.
Distributed Systems. Systems Programming.
François Tessier @hephtaicie.bsky.social Research Scientist at Inria Rennes 🇫🇷. #HPC, I/O, Storage. Recent focus on #SKA 🔭. French-Swiss, former ANL 🇺🇸 and @cscsch 🇨🇭. Father of one.
Felix Geisendörfer @felixge.de Working at Datadog on Go Profiling, Performance, OpenTelemetry and more.
Before:
- Manufacturing Observability at Apple
- Co-founder at Transloadit
- Node.js Core Dev