CEO of AgroClimat2050 | PhD in agrometeorology | Vice-President & Stormchaser Infoclimat | Conference / Speaker #agriculture #globalwarming

Research and analysis for experienced programmers @theconsensus.bsky.social. eatonphil.com

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.

Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net

CEO @ factorfx.com and itsm-ng.org, love ocsinventory-ng.org and proxmox

Professor (@Polytechnique) Torturer of cryptographic primitives Tech should help people, not the opposite He/him/any

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/.

Rédac-chef de Hackable & GNU/Linux Mag (GLMF) - http://gitlab.com/0xDRRB - https://connect.ed-diamond.com/auteur/bodor-denis

FOSS contributor, NetBSD developer. DJ'ing and composing in my spare time * https://imil.net/fosscard/ * http://twitch.tv/imilnb

He/Him. Doctoral student in computer science. #Security #Microarchitecture

Informal conference about the Linux kernel in Paris - next edition, 21 to 23, september 2026 https://kernel-recipes.org

Professeur des universités — Université libre de Bruxelles — Physicien

Antoine Copra - I want plans by the many, not by the few. #free

Laboratoire lorrain de recherche en informatique et ses applications. www.loria.fr

I talk about Rust, verification, cryptography, programming languages… and pets

Computer Vision & Machine Learning researcher at NAVER LABS europe she/her - https://dlarlus.github.io/

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.

Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.

Ministre de l'Enseignement supérieur, de la Recherche et de l’Espace

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

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

President of Tournesol🌻. ML security researcher. Science4All. @Polytechnique X07, @polymtl PhD, ex @mit @epfl. Writer, @Orange AI ethics.

🏅Soutenir la recherche 👩‍🔬Transmettre les connaissances scientifiques 💡 Conseiller les pouvoirs publics https://linktr.ee/academiedessciences #helloESR

Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr

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.

Info. Maths. Logique. Shitpost.

Maths et applications, avec les mains et avec du code 💻 https://blog.lipsum.dev

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.

- Pratique la vulgarisation graphique en dilettante. 🗣🖍👂 - Vous pouvez retrouver mes anciens articles ici http://lafor.ge 📖 - Streamer erratique https://twitch.tv/akanoa 📡📺

• Creator of Radical Pie equation editor, Slug Library, C4 Engine • Math / gamedev author • Geometric algebra researcher • Former Naughty Dog, Apple, Sierra

Full Time: Prof @ University of Washington Intrusion, Inclusion, and Dilution FTW

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.)

Postdoc on high troughput bioinformatics @ KIT Karlsruhe; IMO, ICPC, Xoogler, Rust, road-cycling, hiking, wild camping, photography

PhD student in algorithmic bioinformatics at @bonsaiseqbioinfo.bsky.social. Interested in randomized algorithms and space-efficient data structures https://igor.martayan.org

Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her

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

Senior Lecturer at Imperial College EEE researching programming languages and hardware design.

High Assurance Software

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.

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

"Luke, je suis ton pépère"

Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google. https://jeremykun.com https://pimbook.org https://pmfpbook.org https://buttondown.email/j2kun https://heir.dev

SAFARI Research Group at ETH Zurich. We work in computer architecture, systems, security and bioinformatics. Our group is led by Onur Mutlu.

We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫

Post-doc researcher at CISPA, working on secure group messaging & machine-checked security proofs.

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.

Researcher in formal methods

Ph.D. in Mathematics Currently postdoc at @bonsaiseqbioinfo.bsky.social, in Lille. Investigating patterns (substructures) in structured data (sequences, trees, graphs) of predominantly biological origin. More at https://fingels.github.io/

Researcher in @BonsaiSeqBioinfo Lille, France. Bioinformatics, data-structures for DNA/RNA.

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

CNRS researcher in linear programming

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/

Assistant Professor at Ecole Polytechnique, IP_Paris// Before: Oxford_VGG, Inria Grenoble // multimodality, genAI enthusiast // happy mum+dog_mum // opinions: mine

CNRS researcher at ENS

Consultant en risques internationaux (armements, nucléaire, agriculture), historien de formation, officier de réserve. Observation des conflits, analyses et opinions : dans tous les cas, mes posts n'engagent que moi !

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

Mathematics and Philosophy of the Infinite Professor of Logic, University of Notre Dame University of Oxford #InfinitelyMore #BookOfInfinity #PanoramaOfLogic #PhilMaths https://buymeacoffee.com/joeldavidhamkins

https://fosdem.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

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)

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

"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

CNRS researcher. Hates genAI with passion. Food and music 🎹 https://linktr.ee/bluecurlmusic

Physicist, Telecom Engineering lover, HPC Enthusiast. Prog Rock/Metal fan. --- Independent tech analyst focused on semiconductors, patent analysis and emerging technologies.

programming and exclamation marks blog: jvns.ca zines: wizardzines.com

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

System security, eBPF, and programmable networks. Working on Cilium's BPF-based datapath. He/him.

@🏡🇫🇮🇪🇺🧑‍💻

Nyrkiö co-founder. Systems engineer at Cloudflare. Former Linux kernel maintainer. Performance nerd.

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

Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/

In love-hate relationship with machines. Currently: OpenJDK, AWS. "Trust me, it's really me" backlink: https://shipilev.net/#social

ScyllaDB, KVM

Prof at Brown CS.

🧑‍💻 Staff Engineer @clever-cloud.com 🤩 Distributed and Database Systems 🚀 Co-leader Finistdevs.org 💪 Squash player

Associate Prof. of Databases @ Carnegie Mellon.

Follow me for system design & book-writing tips. | Author of the bestselling book series: ‘System Design Interview’ | Join 350,000+ Readers: blog.bytebytego.com

Core OS and systems security research @Google Zurich. Ex-{UNSW,ETH,MSR}. Mostly 🇦🇺. He/him.

Founder Resonate HQ | Distributed Async Await | Thinking in Distributed Systems | https://dtornow.substack.com

Professor, Computer Science, Technion

Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I post in fr&en.

Software developer @oracle Java Platform Group. Opinions my own. 🔗 https://jjfumero.github.io/

OpenJDK hacker at SapMachine, works on hello-ebpf for fun

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.

Open source contributor - datafusion-comet, arroyo, etc. Math Grad. Rust. Scala. Python. Distributed Systems. Systems Programming.

Research Scientist at Inria Rennes 🇫🇷. #HPC, I/O, Storage. Recent focus on #SKA 🔭. French-Swiss, former ANL 🇺🇸 and @cscsch 🇨🇭. Father of one.

Working at Datadog on Go Profiling, Performance, OpenTelemetry and more. Before: - Manufacturing Observability at Apple - Co-founder at Transloadit - Node.js Core Dev

Opensource enthusiast & contributor, Low-level and performance. Kernel Recipes founder, General #teamkrampouz, Beekeeper in free time.

CNRS Researcher in maths & computer science. website: https://samuelvaiter.com

Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app