Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
The PyPy Project @pypyproject.bsky.social The developers of the PyPy project: a fast, compliant, open source Python interpreter.
https://pypy.org/
https://github.com/pypy/pypy
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
Zsolt István @zistvan.bsky.social Prof. at the Systems Group at TU Darmstadt
Andreas Zeller @andreaszeller.bsky.social Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Slashdot @slashdot.org News for Nerds, Stuff that Matters
#tech #news #software #engineering #AI #bitcoin #linux #business
Website: https://slashdot.org
Software Directory: https://slashdot.org/software/
RSS: https://rss.slashdot.org/Slashdot/slashdot
George Takei @georgetakei.bsky.social Husband, Actor, Activist, Uncle George to the Internet 🖖
Loris D'Antoni @lorisdanto.bsky.social Professor @ucsd & Scholar @CodeMetal. Helps people write code they can trust
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/
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
Martin Bauer @martinmbauer.bsky.social I'm a theoretical physicist at Durham University 
Hacker News Top Stories @hackernewsbot.bsky.social (Unofficial) Hacker News Bot with top stories updates.
Jobs from YC startups @whois-hiring.bsky.social
Creator @ykravchuk.bsky.social
Hacker News Top 100 Bot (Unofficial) @hn100.bsky.social A bot that posts the Hacker News Top 100.
Not affiliated in any way with Hacker News or YCombinator.
Adrián Arroyo Calle @aarroyoc.bsky.social https://adrianistan.eu
Yilin Xia @yilinxia.com A Graph Farmer 🧑🌾
Ph.D. student #uiuc
Contributor #Logica #ArviZ
yilinxia.com
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Lord Arse! 🕹️ @lordarse.com Mark Howlett. "Memoirs of a Spectrum Addict", "The Rubber-Keyed Wonder". British collector of retro junk and idiot.
enq:the.lord.arse@gmail.com
Luis Saiz @lsaiz.bsky.social Formalized paranoia
Boris Köpf @socialboris.bsky.social Researcher at Microsoft Azure
boriskoepf.de
Santiago Zanella-Beguelin @xefffffff.bsky.social AI Security & Privacy Researcher at Microsoft.
Opinions are my own.
https://aka.ms/sz
Jon Masters @jonmasters.bsky.social Troublemaker | Computer Architect | @Arm Servers Architect @Google | Former DE @RedHat | Former VP @Nuvia_Inc | Runner | Author | All views my own | #ArmServers
Harvesterify @harvesterify.bsky.social Protecting Galileo at @esa.int | Ground segment cybersecurity | All your ground stations are belong to us | Previously @SafranElecDef & @ANSSI_FR
Manish @manishearth.bsky.social unmappable territory
please leave a message after the beep- P @privagraph.bsky.social @privagraph.bsky.social
IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
Daniel Gruss @gruss.cc Aka @lavados #InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom. https://gruss.cc https://x.com/lavados https://infosec.exchange/@lavados
@edusadeci.bsky.social @edusadeci.bsky.social 
Lodewijk 🇵🇸 @harambee.be Degene die het verleden controleert, beheerst de toekomst;
Zij die het heden bepalen, regelen het verleden.
(George Orwell)
Pablo Parra @parraman.bsky.social Profesor de Sistemas Operativos y Lenguajes de la
@uahes.bsky.social. Aprendiz. Friki. Cuenta personal.
Dominic Orchard @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
Armin Biere @arminbiere.bsky.social SAT Solver Hacker, Professor, University of Freiburg
Falco @ulmerleben.bsky.social Solves the Travelling Salesperson Problem #Reisereise empirically. Interested in declarative programming, JavaScript, wine, and chess.
Somesh Jha @someshjha.bsky.social I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security.
My other interests are Indian classical music, mindfulness, tennis, and pickleball.
Philip Zucker @sandmouth.bsky.social Computer Friend, Not a Bird
www.philipzucker.com- T Tim Sweeney @timsweeneyepic.bsky.social
CF Bolz-Tereick @cfbolz.bsky.social PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading.
they/them
@cpitclaudel.bsky.social @cpitclaudel.bsky.social 
Prof. Feynman @proffeynman.bsky.social A universe of atoms, an atom in the universe. Tribute to the great explainer Prof. Feynman. Posts about Science and Wisdom.
Sebastian Ullrich @kha.functional.cafe.ap.brid.gy makes Lean at Lean FRO
Munich, Germany
[bridged from https://functional.cafe/@kha on the fediverse by https://fed.brid.gy/ ]
PrologInfo @prologinfo.bsky.social News, info, links, gossip, anything about Prolog, Constraint/Logic programming, Answer Set Programming, and beyond!
A @llaisdy project.
Serhii Rieznik @serhii-rieznik.bsky.social Supporting KRAKEN of the Defence Intelligence of Ukraine
War updates • Fundraisers • Reports
🔗 https://di-ukraine-support.link/
Andrej Bauer @andrejbauer.mathstodon.xyz.ap.brid.gy Professor of computational mathematics at University of Ljubljana, Slovenia.
[bridged from https://mathstodon.xyz/@andrejbauer on the fediverse by https://fed.brid.gy/ ]
@agoender.bsky.social @agoender.bsky.social 
Madgen @madgen.bsky.social i like tanks
(✯w✯)
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
David Darais @daviddarais.bsky.social Principal Scientist at Stealth Software.
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.
@jacintodavila.bsky.social @jacintodavila.bsky.social 
John D. Cook @johndcook.bsky.social Mathematician, data privacy consultant
See also @johndcook.mathstodon.xyz.ap.brid.gy
Alejandro Serrano @serranoalej.bsky.social politics reporter @texastribune.bsky.social | email me: alejandro.serrano@texastribune.org
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Gurobi @gurobioptimization.bsky.social With the Gurobi Optimizer, you can identify provably optimal solutions to the world’s most complex problems—including linear, nonlinear, and quadratic problems—using any combination of continuous and integer variables.
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
Mastodon - Decentralized social media @joinmastodon.org.web.brid.gy Learn more about Mastodon, the radically different, free and open-source decentralized social media platform.
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
BLEAT @bleat.store Animal Clothing Artist / bleat.store
@peterludemann.bsky.social @peterludemann.bsky.social Retired from software {Google, Yahoo, start-ups, IBM, BNR}; sometime bicyclist, sailor, & non-gardener; easily amused by PL design and type inferencing.
Los Altos, California (previously Tokyo, Osaka, Toronto, Ottawa, Victoria, Vancouver)
José M. Torralba @torralba59.bsky.social 
Sam Thomas @xorpse.ghost.sh Program Analysis / Reverse Engineering
Website: https://xv.ax
Rémi Flamary @rflamary.bsky.social ML Professor at École Polytechnique. Python open source developer. Co-creator/maintainer of POT, SKADA. https://remi.flamary.com/
Marcel Böhme @mboehme.bsky.social Software Security @ MPI for Security and Privacy
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Achim Blumensath @blumensath.bsky.social signal over noise
GitHub Next @githubnext.com We are a team of researchers and engineers at GitHub who prototype the future of software development.
Projects: https://githubnext.com
Discord: https://gh.io/next-discord
karpathy @karpathy.bsky.social AI @ OpenAI, Tesla, Stanford
Emscripten @emscripten.org 
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Alejandro Rivero @arivero.bsky.social unizar- E Eric S. Raymond @esr.bsky.social
Caterina Urban @caterinaurban.bsky.social 
@framac.bsky.social @framac.bsky.social 
Toby Murray @tobycmurray.bsky.social Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
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
Freek Wiedijk @freekwiedijk.bsky.social 🔑proofs⚙️dances🔥bodies⭐️dreams
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
@xenaproject.bsky.social @xenaproject.bsky.social 
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app