Sure, I'll email you a picture. And I'm very sorry to hear that.
27.11.2024 21:46 — 👍 0 🔁 0 💬 0 📌 0
Yeah, we got married about five years ago, and have a two-year-old son. We're still living in Saarbrücken, but we're planning to move back to France at the beginning of the year. How is Jacqui doing?
27.11.2024 00:19 — 👍 0 🔁 0 💬 1 📌 0
I see, sounds cool. Branwen is doing well, thank you. I'm currently working for a startup, developing proof automation for the formal verification of C++ code in Coq/Rocq.
27.11.2024 00:11 — 👍 0 🔁 0 💬 1 📌 0
Hi Neil! Doing good, thanks. How are you? Glad to hear that Clovis joined the MSP goup. Are you working together?
25.11.2024 21:54 — 👍 0 🔁 0 💬 1 📌 0
We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Dans la vraie vie donc rarement connecté.
📎StephaneRolland@332ppm
REPOST
Rom🇫🇷🇪🇸🇪🇨🇲🇽,🇮🇹🇵🇹🇧🇷GL🇷🇴/CAT
Ger🇬🇧🇨🇦,🇳🇱🇧🇪🇩🇪🇸🇪🇩🇰🇳🇴/🇮🇸
EO
Sla🇵🇱
~🇺🇦🇨🇿🇸🇰🇷🇺/🇧🇬🇭🇷🇷🇸🇧🇦🇲🇪
🇨🇳🇹🇼
🇯🇵/🇹🇷🇫🇮🇪🇪
Cel🏴🇮🇪GD
Linguistics
Climate
AgnotologyDisinformation
Antispeciesism💚Flexitarian🌱🖖
Astro🌟🌒🌕🌘Calligraphy🪶🔻📎🐸
NixOSLinux FP/Maths CppHaskellPythonBash StatsBayesML ⁂
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp25.sigplan.org/
https://icfpconference.org/
Mom, foodie, traveller, computer scientist
Magazine web indépendant de critique sociale. Analyses, enquêtes, podcasts, vidéos... Chroniques de la guerre des classes et de la prospérité de ses élites.
Pour continuer nous avons besoin de vous !
https://fr.tipeee.com/frustration-magazine
Des morceaux de Richard Monvoisin sans contexte.
Propositions ouvertes en MP.
[bridged from https://piaille.fr/@OocRichardMonv on the fediverse by https://fed.brid.gy/ ]
Univ. Grenoble-Alpes
pensée critique, service public, poésie, vice-champion d'Isère de calembours 2025
Bluesky is the New X, donc optons pour des réseaux décentralisés 👉🐘 @RichardMonvoisin@mastodon.social
The ACM Special Interest Group on Programming Languages.
Médecin des urgences pédiatriques 🩺
Amateur de (bons) bouquins et de films étranges.
Auteur du guide « Urgences or not Urgences » 📘
Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Independent English-language journalism in Ukraine
Help us reach 25,000 members by the end of 2025: https://kyivindependent.com/membership/?utm_source=memb-bs-25kmain&utm_medium=bs
Czar for life of all Russians. Master Strategist. Tea connoisseur. Author. YouTuber. Window installer. Wanted in 123 countries. Parody, apparently.
Category theory
AI
Political betting
Artist
Grant Writer
Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science
