Érik Martin-Dorel
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer.
Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS).
Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@dju.bsky.social
free/libre software adept, sysop, net explorer since '92 team "keep it simple stupid" there is no place like 127.0.0.1. or my motorcycle :) 🌎 La capitale du claoude 🦣 hostux.social/@dju 🐦 x.com/blogdju 💻 https://gitlab.com/Dju92
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT Mobile dev @KhanAcademy building kipos https://github.com/kipos-lang/kipos @jaredforsyth on the dead bird site
@bandukwala.me
💻 Pursuing the Future of Computing 🔬 PhD Student @ University of Michigan (Future of Programming Lab) 🪄 Building Hazel: Live Functional Programming & Malleable Systems 🐾 Dog Parent 🛠️ Ex-Software Engineer 🌟 Computing Maximalist
@theowinterhalter.bsky.social
INRIA researcher, dependent types and proof assistants. https://theowinterhalter.github.io/
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@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/
@sachagreif.com
Founder @ Devographics. I run the State of JS/CSS/etc. surveys. Kyoto, Japan. https://sachagreif.com/ https://devographics.com/
@se4fp.bsky.social
1st Workshop on Software Engineering for Functional Programming (SE4FP) In 2025, SE4FP is co-located with the @cbsoft.bsky.social Website: https://se4fp.github.io/2025/
@france3occitanie.bsky.social
L’actualité et les événements de votre région Occitanie. Retrouvez tous nos programmes en replay sur @france.tv
@cnrsoccitanieest.bsky.social
Les actus #science et #recherche du CNRS en #Occitanie pour sa partie méditerranéenne. #Montpellier #Perpignan #FontRomeu #Banyuls #HelloESR
@occitanie.bsky.social
Compte officiel de la Région Occitanie - Pyrénées Méditerranée www.laregion.fr
@aguluman.bsky.social
Backend dev with 🐫 | F# | TS | C#. Decisions are temporary. Currently playing MAFIA III
@davx5.com
Official account of DAVx⁵. https://www.davx5.com Our main account is on Mastodon: https://fosstodon.org/@davx5app
@benkadel.com
Principal Platform Engineer Android at @babbel 🇬🇧🇩🇪👨💻 My site & talks: https://benkadel.com Presenter/Teacher & YouTuber: http://youtube.com/benkadel Twitter: https://twitter.com/ben_kadel
@bits.debian.org.web.brid.gy
Debian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. [bridged from https://bits.debian.org/ on the web: https://fed.brid.gy/web/bits.debian.org ]
@gotocon.com
#GOTO Presents the Brightest Minds in Tech. Check out GOTO Conferences. https://gotopia.tech https://www.youtube.com/@GOTO-
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
@simon-r07.bsky.social
Student, theoretical computer science and functional programming enthusiast, OCamk enjoyer Early student in CS at Technische Universität München Other interests: Physics, Accordion, Judo and Design https://simonreilich.github.io/
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@kit-ty-kate.bsky.social
Some kind of nerd by day and goblin by night. CS-gas {,injections} knower / Cyclophosphamide my beloved. 📍 Glasgow, Scotland 📢 FR/EN/DE 🎨 Avatar by @chordbug.bsky.social See also: 🐘 mastodon.social/@kit_ty_kate 🐞 https://cohost.org/kit-ty-kate
@semgrep.bsky.social
Semgrep is a code scanning platform for finding first and third-party security vulnerabilities in your code base.
@janmidtgaard.bsky.social
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Mastodon account: https://types.pl/@jmid
@smondet.bsky.social
Software Engineering #ocaml , Music, etc. https://seb.mondet.org https://ni3.dance
@tyoverby.com
Professional OCaml enjoyer. Views expressed therein are also those of your employer.
@bufordrat.bsky.social
I write software for librarians, teach functional programming, and produce the Elucidations podcast. https://elucidations.vercel.app
@tsmc.purely-functional.com
OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery. More at https://lambdafoo.com
@actutoulouse.bsky.social
Le site d'info de la Ville rose. #actu #bonsplans & #sorties à #Toulouse. Facebook 👉 http://fb.com/actutoulouse Instagram 👉 http://instagram.com/actutoulouse
@hackernews.com.web.brid.gy
[bridged from https://hackernews.com/ on the web: https://fed.brid.gy/web/hackernews.com ]
@kubernetes.io
#Kubernetes: open source production-grade container orchestration management. #CNCF #K8s
@apache.org
The global home for open source software, powering some of the world’s most ubiquitous software projects in web, big data, Java, IoT, cloud computing, and more. Learn more at https://apache.org.
@notabenemovies.bsky.social
Auteur et réalisateur, créateur de Nota Bene. Histoire et mythologie. Metal aussi, un peu. notabenemovies.com / YouTube : https://youtube.com/@notabenemovies
@phtruillet.bsky.social
Tisseur de Liens, MCF en informatique (@UT3PaulSabatier / @upssitech / @IRIToulouse), Gendarme (RO), scout (@sgdf), Taï Jitsuka et plein d'autres choses :) !
@patrick.sirref.org
PhD Student @ Uni of Cam https://patrick.sirref.org https://github.com/patricoferris
@andreypopp.bsky.social
@hnws.bsky.social
Unofficial Hacker News Bot. I publish posts which reach front page of the Hacker News automatically. In case of issues please contact my maintainer @sashk.dev
@jeanas.bsky.social
@franceinfo.fr
L'actualité en direct et en continu avec le média global du service public 📻 radio 📱💻 web 📺 tv canal 27 www.franceinfo.fr
@shykes.bsky.social
Making dagger.io. Before that: founded Docker. "No is temporary, yes is forever".
@johndcook.mathstodon.xyz.ap.brid.gy
Consultant in applied mathematics and data privacy https://www.johndcook.com [bridged from https://mathstodon.xyz/@johndcook on the fediverse by https://fed.brid.gy/ ]
@johndcook.bsky.social
Mathematician, data privacy consultant See also @johndcook.mathstodon.xyz.ap.brid.gy
@ina-officiel.bsky.social
L'actualité vue par l'Institut national de l'audiovisuel et bien plus encore. 🔗 Retrouvez-nous sur ina.fr
@martinfowler.com
Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him. host of https://martinfowler.com