@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
@grandcontinent.bsky.social
Il faut construire un débat stratégique, politique et intellectuel à l’échelle pertinente. En librairie : Portrait d'un monde cassé et sur le web chaque jour www.legrandcontinent.eu
@jamellebouie.net
The real jbouie. Columnist for the New York Times Opinion section. Co-host of the Unclear and Present Danger podcast. b-boy-bouiebaisse on TikTok. jbouienyt on Twitch. National program director of the CHUM Group. Send me your mutual aid requests.
@eduardorfs.com
25yo anti floating point developer. You can almost always find me at http://twitch.tv/eduardorfs, it's the boring side of tech.
@muriel42.bsky.social
OCamlPro's CEO w. Fabrice Le Fessant, President & Founder. We are a powerful team of world-class IT experts. 3 business lines: 1/ Programming Languages Optimization & Design 2/ Security & Safety with Formal Methods 3/ Solving Technical Debt challenges.
@angrydonkeynews.bsky.social
The LARGEST, NEWS RECIPROCAL on BLUE SKY. Make us 1 million Donkey strong! #angrydonkeynews #angrydonkeymemes #angrydonkeyTV #angrydonkeyfinancialnews #angrydonkeystrangeworld Help support ADN and visit our online store: theangrydonkey.com
@matthewdgreen.bsky.social
I teach cryptography at Johns Hopkins. https://blog.cryptographyengineering.com
@petebuttigieg.bsky.social
Husband, dad, veteran, writer, and proud Midwesterner. 19th US Secretary of Transportation and former Mayor of South Bend.
@atrupar.com
Independent journalist and publisher of the Public Notice newsletter https://www.publicnotice.co/subscribe
@katstepanenko.bsky.social
Russia Deputy Team Lead & Analyst @TheStudyofWar.bsky.social | Russian Information Space, Kremlin Drama & Force Generation | opinions my own https://www.understandingwar.org/press-media/staff-bios/kateryna-stepanenko
@solalpirelli.bsky.social
Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.
@pianocktailiste.bsky.social
Shitpost ; très occasionnellement mathématiques appliquées et physique ; souvent avis désastreux sur tout et surtout n'importe quoi.
@kyledcheney.bsky.social
Senior legal affairs reporter at POLITICO with a focus on democracy, the balance of power and Jan. 6
@glandsbergis.bsky.social
Former Minister of Foreign Affairs of the Republic of Lithuania Landsbergis.com
@thestudyofwar.bsky.social
ISW is a policy research organization focused on U.S. national security. Email: press@understandingwar.org. For more: https://linktr.ee/understandingwar
@audrands.bsky.social
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 !
@pkrugman.bsky.social
@lecanardenchaine.fr
Compte officiel du Canard enchaîné - La liberté de la presse ne s'use que quand on ne s'en sert pas. www.lecanardenchaine.fr
@katiephang.bsky.social
Truth-Teller | Independent Journalist and Legal Analyst | Trial Lawyer | @katiephang on Substack, Instagram, Threads, & TikTok https://linktr.ee/katiephang?utm_source=linktree_admin_share “Though She Be But Little, She Is Fierce”
@kramondy.bsky.social
Historienne spécialiste de l’Afrique centrale | UMR SIRICE | Cameroun | RDC | RCA |
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
@isAdisplayName.mathstodon.xyz.ap.brid.gy
Shitposting, if anything Fucking around and finding out (mathematical) Trying to homotop a type theory. Big fan of round, hollow things. (I guess they […] [bridged from https://mathstodon.xyz/@isAdisplayName on the fediverse by https://fed.brid.gy/ ]
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@notjack.space
rapid unscheduled torment nexus disassembly expert — nonbinary, she/they — writes Racket — @doitwithalambda on twitter
@polux2001.bsky.social
@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
@shakthimaan.bsky.social
Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
@akhirsch.bsky.social
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@shadaj.me
PhD student at @BerkeleySky + https://hydro.run, designing languages for modular and performant distributed systems. Co-organizer https://sfsystemsclub.com More at https://shadaj.me!
@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.
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@handle.invalid
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@sanders.senate.gov
Sen. Sanders of Vermont, Ranking Member of the U.S. Senate Committee on Health, Education, Labor & Pensions, is the longest-serving independent in congressional history.
@siryessir29.bsky.social
Un petit coeur de bisounours dans un parquetier qui rit très fort et aime la rillette. Procureur du TJ de Trifouillis-le-Baveux, or il semble qu'il y ait besoin d'un procureur ici !
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@briantylercohen.bsky.social
Political commentary. Over 3 billion views on YouTube. #1 NYT bestselling author. Past: MSNBC https://linktr.ee/briantylercohen
@maintenantmedia.bsky.social
Enquête - Politique - Info- Culture- Démocratie. Compte officiel de Maintenant Media. Animé par William Reymond www.youtube.com/@MaintenantMedia
@chavalarias.bsky.social
CNRS Research Director in Paris. Head of the Complex Systems Institute of Paris IdF Complex systems, cognitive sciences, social dynamics, cultural evolution, text-mining, epistemology, computational social sciences. Posts are my own. http://chavalarias.org