Sign in

Sylvain Schmitz

@sylvainschmitz.social.sciences.re.ap.brid.gy
4 followers 3 following 20 posts

CS Prof at Université Paris Cité (IRIF). Dabbing in logic, computational complexity, verification, etc. Personal account and personal views; expect me to […] 🌉 bridged from ⁂ social.sciences.re/@sylvainschmitz, follow @ap.brid.gy to interact

PostsRepliesMedia
Reposted by Sylvain Schmitz
bazouzabou @bazouzabou.mstdn.fr.ap.brid.gy · 13/10/2026
Selon le Canard enchaîné, un tiers des lycéens qui ont été arrêtés l’ont été sur le simple motif d’« attroupement non autorisé ». Comme l’avoue un commissaire, « le but de la manœuvre était d’effrayer les élèves et leurs parents pour stopper au plus vite la fronde ».
012
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 28/09/2026
[genAI and social contract in research] I find the use of generative AI systems repulsive. I feel that their use in research should be publicly shunned, and left to creeps and cheats, like using an LLM to generate a novel or using stockfish to help win a chess tournament. Unfortunately, the […]
social.sciences.re
Original post on social.sciences.re
000
Reposted by Sylvain Schmitz
Michael Barany @mjb.mathstodon.xyz.ap.brid.gy · 10/09/2026
I've joined the Association for Human Mathematics and I think fellow members of the mathematics community who value and prioritise human mathematics should consider joining too www.ahmath.org
ahmath.org
AHM
005
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 08/09/2026
Why would I not be surprised if being the first AI company to claim to having solved one of the Millennium prize problems was sufficient motivation for working a team of in-house mathematicians round the clock with huge amounts of compute and cutting some ethical corners—if not outright spying? […]
social.sciences.re
Original post on social.sciences.re
002
Reposted by Sylvain Schmitz
-Boulet- @bouletcorp2.mastodon.social.ap.brid.gy · 08/08/2026
Nouveau Rogaton - 08/08/2026 - "Génération Perdue" À lire ici: www.bouletcorp.com/rogatons/2026/08…
La page de titre du strip (en anglais) annonçant "Lost Génération". On voit Boulet devant un pupitre avec un gros bouton, et la Mort se tient debout derrière lui, les doigts (squelettiques) en clocher.
0424
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 26/07/2026
#silentSunday
The entrance of a sea bay, with a white and red rowboat moored to the left, and further coastal cliffs in the fog in the center.
020
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 25/07/2026
RE: mastoxiv.page/@arXiv_csLO_bot/11691… A striking result: decidability of the Branching VASS reachability problem, or equivalently for the library logic crowd out here, of MELL probability—the only remaining fragment of linear logic with an open decidability status.
mastoxiv.page
000
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 19/07/2026
#silentSunday
A small river in a forest, seen at water level, with wet rocks and soft light.  A pile of four smaller rocks holds the center stage.
001
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 12/07/2026
#silentSunday
A mountain lake with ripples from the wind. Sheep on an overlooking cliff. Feet chilling in the water.
020
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 28/06/2026
#silentSunday
Slightly cloudy sky and it's reflection in a calm, oily sea
000
Reposted by Sylvain Schmitz
Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 14/04/2026
I'm on the PC of Computer Science Logic (CSL 2027). csl2027.github.io The abstract/paper submission deadlines are 8/15 July 2026 (AoE) with notification of accepted papers on 15 October 2026, and the conference itself on 25-29 January 2027 in Brighton. I would love to see papers on […]
mathstodon.xyz
Original post on mathstodon.xyz
014
Reposted by Sylvain Schmitz
Jukka Suomela @jukkasuomela.fi · 01/03/2026
L'Aquila…
192
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 01/03/2026
#silentSunday
000
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 28/01/2026
Two associate professor (maître·sse de conférences) positions will soon open at the department of computer science and IRIF (@IRIF) at Université Paris Cité. Applications with a background in theoretical computer science (including both `track A' and […] [Original post on social.sciences.re]
Somewhat abstract picture of a hand writing on a whiteboard, in a yellowish tone.
000
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 11/01/2026
#silentSunday
From a high vantage point, a marina mixing housing, car plots, grass and benches, along canal ways with emerald and blue water hues, and several moored boats. In the distance, beyond a concrete dike, a sandy beach and the open sea at low tide; all this below an azure blue sky mottled with clouds.
000
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 31/12/2025
#partageTonCiel
Sky after sunset at dusk, coloured in cyans, pinks, yellows, and oranges. The sky is seen over a quiet beach, and reflects on the thin layer of water.
010
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 28/12/2025
#silentSunday
Setting sun over a beach.
010
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 15/12/2025
Applications to CNRS positions are now open) with a submission deadline on **Jan. 12, 2026**. See the general application guidelines). In _computer science_, there are 7 open junior `CRCN' positions) including 3 with a preference for software sciences, resource-conscious computing, and quantum […]
social.sciences.re
Original post on social.sciences.re
012
Reposted by Sylvain Schmitz
Rebecca Sear @rebeccasear.bsky.social · 14/11/2025
“data show an increase of 10% in submissions & 23% in funded projects from female applicants with the lottery-first approach compared to a previously used procedure. Additionally, the lottery-first approach was estimated to have 68% lower economic costs compared to single-stage peer review approach”
nature.com
Lottery before peer review is associated with increased female representation and reduced estimated economic cost in a German funding line - Nature Communications
The authors show evidence from a German funding line that a lottery-first approach followed by peer review is accompanied by increased female representation both at the submission stage and among fund...
13520
Reposted by Sylvain Schmitz
David Monniaux @monniauxd.bsky.social · 31/10/2025
L’université française est sommée d’être compétitive en recherche avec Oxford ou le MIT tout en assurant les fonctions d’un community college, le tout pour pas cher et avec une bureaucratie au top
28622
Reposted by Sylvain Schmitz
Sophie Huiberts @sophie.huiberts.me · 27/10/2025
The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast. We invented a new algorithm analysis framework to find out.
arxiv.org
Beyond Smoothed Analysis: Analyzing the Simplex Method by the Book
Narrowing the gap between theory and practice is a longstanding goal of the algorithm analysis community. To further progress our understanding of how algorithms work in practice, we propose a new alg...
521250
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 26/10/2025
#silentSunday #butterfly
Sunlit view of a butterfly on purple flowers with the smoking chimneys of a huge incinerator in the distance
030
Reposted by Sylvain Schmitz
Histoires Mythiques @hist-myth.mastodon.top.ap.brid.gy · 10/10/2025
Le gloubi-boulga politique qu'on vit depuis un an, avec des décisions qui tombent sans prévenir par le fait du prince, des gouvernements livrés avec feuille de route et budgets quasi définitifs et qui se font annuler viteuf en 6 heures, c'est la même incompétence, la même gestion calamiteuse qui […]
mastodon.top
Original post on mastodon.top
003
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 16/09/2025
How to advertise your low CO₂ research: tcs4f.org/low-co2-v1 Personal suggestion: adding to the statement (whenever relevant) that no generative AI was used.
tcs4f.org
Low-co2 research paper - Theoretical Computer Scientists for Future
TCS4F is an initiative aimed at theoretical computer scientists for a significant reduction of carbon emissions and evolve towards more sustainable practices.
000
Reposted by Sylvain Schmitz
オチュー (stop colonialism 🇵🇸🇸🇩🇳🇨 ) @otyugh.pouet.chapril.org.ap.brid.gy · 17/07/2025
Indexer l'augmentation du SMIC sur l'augmentation de fortune du 1% les plus riches (comme ça y aura une raison de droite de taxer les plus riches). #fenetreDOvertonDeLaGauche
000
Reposted by Sylvain Schmitz
Nonilex @nonilex.masto.ai.ap.brid.gy · 19/06/2025
#Trump #State Dept plans to review #SocialMedia accounts of all foreign citizens who apply for #student & visiting #scholar #visas as it resumes processing applications. Applicants will be screened for “hostility” toward the #US Trump / #MAGA [#Republicans], & asked to make their accounts […]
masto.ai
Original post on masto.ai
007
Reposted by Sylvain Schmitz
None Hitwonder @nonehitwonder.tenforward.social.ap.brid.gy · 16/06/2025
When people talk about the "survival of the fittest" or "the crime of empathy," I want clips like this to be pressed into the sides of those people's self-serving dumbfuck heads until they cave in.
38121
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 18/05/2025
#silentSunday
Rising sun in a clearing with high grass, with the ocean on the horizon.
010
Reposted by Sylvain Schmitz
Dsens @d-cence.mastodon.top.ap.brid.gy · 26/04/2025
#Actu #Turquie Il y a un mois, c'était une blague du Gorafi @le_gorafi Aujourd'hui, c'est devenu la réalité ! www.legorafi.fr/2025/03/28/turquie-… •Le maire d'Istanbul est en prison ; • l'avocat du maire est en prison ; • et […]
mastodon.top
Original post on mastodon.top
004
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 03/04/2025
#StandUp4Science
View of a Stand Up For Science meeting in Paris.  Group of people with banners after a row of daffodils.
000
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 30/03/2025
#SilentSunday
A windmill in a urban setting, at the end of two rows of white cherry blossom trees, with a very thinly veiled blue sky.
010
Reposted by Sylvain Schmitz
Richard Zach @richardzach.org · 26/03/2025
I wrote up what I learned converting an open textbook in LaTeX to HTML and making it accessible richardzach.org/2025/03/accessible-… #TexLaTeX #OER #accessibility #blind
036
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 25/03/2025
📢 Sept postes d'ATER en informatique sont mis au concours à l'UFR d'Informatique de l'Université Paris Cité pour l'année universitaire 2025–2026. L'enseignement est à effectuer dans l'ensemble des cursus où l'UFR d'informatique intervient, tout particulièrement dans - la licence Informatique ( […]
social.sciences.re
Original post on social.sciences.re
000
Reposted by Sylvain Schmitz
Nicholas Grossman @nicholasgrossman.bsky.social · 11/03/2025
Russian state media openly says what I and others warned about, which Trump/Vance/Musk and fans—along with Jeffrey Sachs, Noam Chomsky, and their end of the horseshoe—get badly wrong: Russia is after conquest, not peace. US weakening Ukraine encourages more Russian attacks, not Russian negotiations.
622428936
Sylvain Schmitz @sylvainschmitz.social.sciences.re.ap.brid.gy · 09/03/2025
#silentSunday
Sundown view at the Frankfurt train station.  An ICE train is waiting on the platform across the rails, with fiery orange reflections on the windows.  Behind it, a sort of control tower for the train station, with "Frankfurt (Main) HBF" written on it.  We see perspective lines to the middle left: the rails, the train, the platform cover, the power cables.
071
Reposted by Sylvain Schmitz
Gabriel Zucman @gabrielzucman.bsky.social · 07/02/2025
Concrètement, si tous nos milliardaires partaient demain s'installer aux îles Caïmans, leur facture fiscale baisserait peu (car elle est très faible) La perte de recettes fiscales pour le Trésor public français serait négligeable (de l'ordre de 0,03 % du PIB)
3466252