Jeremy
🇫🇷 of 🇵🇹 descent, married to 🇮🇹 in 🇳🇱.
- Formerly worked in quantum cryptography
- Now design/code some (non quantum) algorithms
- Like FOSS
- Like logic/CS/maths/physics
🗣️ 🇫🇷🇬🇧🇮🇹🇵🇹🇪🇸
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@drdemography.com
Demographer | Demography, populations, social trends, surveys, data, methods, census. Educator, researcher. | Author ‘The Future of Us’. The original Dr Demography! @DrDemography on X and Insta
@proofnerd.bsky.social
cryptography and pretty proofs | PL-curious | assistant professor @ VU Amsterdam soechsner.de
@severinem.bsky.social
Compte PERSO, photo de profil non contractuelle 😊 Compte pro sur LinkedIn. Docteure en physico-chimie, attachée à son ONR 🤗 Éducation, médiation, communication, culture scientifiques Enseignante Master MEEF 1er degré Fonctionnaire maman née à 325 ppm
@blipbloup.bsky.social
Gouine à lampes frontales. Nerd des consonnes. M'prenez pas pour une cacahuète lumineuse ! PP : @sheinicorn (Insta) Épinglé : https://bsky.app/profile/blipbloup.bsky.social/post/3kb67pkyy4y2w
@ToSDR.mastodon.indie.host.ap.brid.gy
“I have read and agree to the #TermsOfService” is the biggest lie on the web. We aim to fix that. #ToSDR #Privacy #fedi22 [bridged from https://mastodon.indie.host/@ToSDR on the fediverse by https://fed.brid.gy/ ]
@privacyguides.org
🏠 Find our work at https://www.privacyguides.org 🦣 Follow us on the fediverse! https://mastodon.neat.computer/@privacyguides
@nixos-org.bsky.social
The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
@element.io
Element is a sovereign, secure and interoperable communications platform. Built by the creators of Matrix.
@matrix.org
Matrix is an open network for secure, decentralised communication. Please support at matrix.org/support
@framasoft.org
Association d'éducation populaire aux enjeux du numérique et des communs culturels. 🏠 https://framasoft.org 🔗 https://ls.framasoft.org 💝 https://soutenir.framasoft.org
@session-app.bsky.social
No phone numbers. No central servers. Fully open-source encrypted messaging. More than one million people have switched to Session. Join them: https://getsession.org/download
@zoedubus.bsky.social
Docteure en histoire de la médecine. Post-doc à l’université de Saskatchewan, Canada. Psychotropes, psychédéliques, médicaments, XIXe - XXIe siècles. Totalement woke Site : https://dubuszoe.wordpress.com English profile: https://bsky.app/profile/zoe-dubus.
@drzoelb.bsky.social
Médecin généraliste là où ça va manque. Féminisme et lutte contre les VSS. Accès aux soins pour tous. Evidence based marxism. Dit des trucs de gauche sur https://youtube.com/@padustream?si=GwFOhi-LKZEk5sK2
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@aymeric-caron.bsky.social
Député de la 18e circonscription de Paris, fondateur de la REV - Révolution Écologique pour le Vivant.
@faquin.bsky.social
Biophysicist - Physico-chemist | 🎥 Youtube : Le Malin Génie | Anti race science - Antiracist
@marcotomamichel.bsky.social
Prof in Quantum Information Theory at NUS and CQT, an information theorist at the quantum frontier, ETH Zurich alumnus, opinions my own
@kelseyahe.bsky.social
math + writing + videos www.youtube.com/@chalktalkmath www.kelseyhoustonedwards.com
@squillace.bsky.social
"Does not pose a present danger." Corp advice and bail bonds. Also: PM for OSS dev on Azure, vice chairperson, @bytecodeallies. Mostly Linux, mostly helpful
@pyviv.bsky.social
Combinatorist, Mathematician, CS PhD, pythonista, teacher, feminist, and more. She / her Also here on Mastodon https://t.co/TdGPTS8KMq
@lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
@tue.nl
At Eindhoven University of Technology (TU/e) we educate students and advance knowledge in science & technology for the benefit of humanity. Follow us! https://www.tue.nl/
@socialmovetech.bsky.social
Campaign support for people power movements and groups across the world. Follow to hear about free and paid training and coaching, reading groups for organizing wisdom, and great organizing. https://socialmovementtechnologies.org
@cnqt.bsky.social
Ligne éditoriale : analyse des instrumentalisations des sciences par le champ politique, notamment par les conservateurs, fascistes, réactionnaires, suprématistes, etc. Parfois aussi du shitpost.
@gaelviolet.bsky.social
Fournisseur en factoïds semi-inutiles en demi-gros et détail, maison fondée en 1974.
@cryptoacademy42.bsky.social
We educate people about cryptography, and apply techniques like formal verification to build verified primitives.
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@esraa.bsky.social
Founder of Majal. Co-founder of https://Numun.Fund. Board member at the Wikimedia Foundation & Tor Project.
@timnitgebru.bsky.social
Personal Account Founder: The Distributed AI Research Institute @dairinstitute.bsky.social. Author: The View from Somewhere, a memoir & manifesto arguing for a technological future that serves our communities (to be published by One Signal / Atria
@cryptopathe.me
applied cryptographer - certified nerd god - head of cryptography & research at duokey - founder modulo p - ex-Snap - co-founder ex-strong.codes - has-been professor - trail runner - aidjolat
@mathishammel.bsky.social
Programmation compétitive, cybersécurité & IA. Co-fondateur & CTO @agoratlas.com, agence d'analyse des réseaux sociaux à grande échelle.
@gabrielpeyre.bsky.social
@terreaterre.bsky.social
Enseignant #TeamSVT J'essaie de vulgariser de façon la plus honnête possible des sujets comme l'agriculture et l'écologie, même si c'est pas facile ! terre-a-terre.webgenie.fr
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@formalland.bsky.social
Formal verification for everyday-life applications We use math to ensure your code has no vulnerabilities For Rust, Solidity, zk circuits. We use Rocq. https://formal.land/
@stellaathena.bsky.social
I make sure that OpenAI et al. aren't the only people who are able to study large scale AI systems.
@terujithomas.bsky.social
Philosopher at Global Priorities Institute, University of Oxford https://users.ox.ac.uk/~mert2060/
@valrobert974.bsky.social
Mathématiques en classes préparatoires aux grandes écoles. PhD in applied statistics: classification croisée (coclustering), mixture models, algorithme bayésien. Mes propos n'engagent que moi.
@mael.kont.me
Climat, cartes, urba, vélo, politique. Dev indep de : - cartes.app, la carte numérique souveraine et écologique - mesaidesreno.fr, comme le nom l'indique A construit nosgestesclimat.fr et mon-entreprise.fr @BetaGouv Rennes. Blog ➡️ http://kont.me
@mozilla.ai
https://www.mozilla.ai/ Open-source AI for developers. Building tools that foster transparency, accessibility, and real-world impact. Lumigator: https://github.com/mozilla-ai/lumigator Blueprints: https://github.com/mozilla-ai#-blueprints