Sign in

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Solal Nathan

@solalnathan.com
107 followers 412 following 169 posts

PhD student @ U. Paris-Saclay / Inria, AI for social good, fairness, RecSys, congestion avoidance, optimal transport. ENS PS 2018. Free software advocate, linux user, cat owner. asso @ auro.re and crans.org. Bicyle, Bouldering, improv. solalnathan.com

PostsRepliesMedia
Reposted by Solal Nathan
Transactions on Machine Learning Research @tmlrorg.bsky.social · 16/10/2026
What is TMLR doing under a 300% increase in submissions? - Suspensions of >150 authors - Publicly naming major violations - Submission quotas distinguishing slop patterns - Desk rejections 6% → 53%; focus on clarity - AI reviews evaluating soundness blog.tmlr.org/2026/adaptin...
blog.tmlr.org
Adapting Our Processes to the Changing World of Scientific Publication
TMLR is adapting its submission and review processes to handle rapid growth while protecting review quality, reviewer time, and scientific integrity.
04014 40
Solal Nathan @solalnathan.com · 13/10/2026
Even if Alignment was solved and we had perfect sandbox solution they would not implement them. External forces like regulation is needed in order to keep big companies in check.
010 1
Solal Nathan @solalnathan.com · 13/10/2026
www.alphaxiv.org/abs/2610.08144 very interesting way to formalize the issue. And I don't think that google-deepmind.github.io/formal-conje... fully solves it. Just shifting the goal post.
alphaxiv.org
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
“Navier–Stokes Lost in Translation” separates checking a Lean proof from checking whether it faithfully represents the mathematics written in natural language. Comparing two results in an announced...
000 0
Solal Nathan @solalnathan.com · 08/10/2026
Can you elaborate on this? I am vaguely familar with his work but have not read everything. What would you say are the most important things he is missing?
000 0
Solal Nathan @solalnathan.com · 06/10/2026
pola.rs/posts/releas... cool cool cool
pola.rs
Release of Polars 2.0
DataFrames for the new era
000 0
Reposted by Solal Nathan
Nutan Limaye @nutanlimaye.bsky.social · 06/10/2026
Unbelievable stuff! arxiv.org/abs/2610.067... APSP and 3SUM refuted!! This is big.
arxiv.org
Truly Subquadratic 3SUM and Truly Subcubic APSP via Triangles in Sparse Lopsided Graphs
We give the first polynomial improvements over the textbook algorithms for $3$SUM and All-Pairs Shortest Paths (APSP): we show how to deterministically solve $3$SUM on $n$ integers of polynomial size ...
24011 40
Reposted by Solal Nathan
Amber 🌸 @shimmermathlabs.com · 02/10/2026
as above, compose below. probably the world's first occult category theory music video verified by lean.
813018 130
Reposted by Solal Nathan
Flef @flefgraph.bsky.social · 30/09/2026
SI vous êtes intéressés par comment analyser les réseaux sociaux SANS utiliser de LLM/IA Gen, je vous conseille le billet de blog de Mathis à propos de Jev. Et j'ai fais un petit post sur comment concrètement on va utiliser cette nouvelle technologie a balle dans nos études. lnkd.in/p/eyyYQr3j
lnkd.in
On a pris l'habitude d'utiliser les IA Génératives pour tout, mais on peut faire BIEN mieux... Post sur comment Jev va changer nos outils pour analyser les RS. En gros pour l'instant on a...
On a pris l'habitude d'utiliser les IA Génératives pour tout, mais on peut faire BIEN mieux... Post sur comment Jev va changer nos outils pour analyser les RS. En gros pour l'instant on a deux grande...
0127 12
Solal Nathan @solalnathan.com · 30/09/2026
Most of it is probably attachements which you can download and store in cold storage, no? I hardly believe that you have more than 5G of text unless you receive automated emails from a monitoring system spamming every 2sec and in this case it would be free to delete anyway.
001 1
Solal Nathan @solalnathan.com · 25/09/2026
It's even worse than I imagined.
Screenshot of a web page reading:
 
The Education of a Libertarian
Peter Thiel • April 13, 2009 •

I remain committed to the faith of my teenage years: to authentic human freedom as a precondition for the highest good. I stand against confiscatory taxes, totalitarian collectives, and the ideology of the inevitability of the death of every individual. For all these reasons, I still call myself “libertarian.”

But I must confess that over the last two decades, I have changed radically on the question of how to achieve these goals. Most importantly, I no longer believe that freedom and democracy are compatible. By tracing out the development of my thinking, I hope to frame some of the challenges faced by all classical liberals today.

With the sentence "I no longer believe that freedom and democracy are compatible" highlighted
000 0
Reposted by Solal Nathan
Jérémie Younes @jeremieyounes.bsky.social · 23/09/2026
Si je devais me fier à mon flair, je dirais que cette polémique artificielle (lol) est en fait une gigantesque campagne de pub déguisée pour l'appli de merde qui croit détecter de l'IA. Sur le dos d'un auteur dont ils se foutent (et qu'ils prennent plaisir à détruire, puisque ce sont des racelards)
franceinfo.fr
L'écrivain canado-haïtien Thélyson Orélien accusé d'avoir utilisé l'intelligence artificielle pour son dernier roman, sa maison d'édition évoque "une campagne de haine"
Selon France Inter, les extraits de l'ouvrage analysés par un détecteur d'intelligence artificielle seraient composés entre 95% et 100% d'IA.
55842347 842
Reposted by Solal Nathan
Clément Canonne @ccanonne.github.io · 23/09/2026
Looking for takes by TCS (Theoretical Computer Science) senior academics/researchers about AI and their discipline/research values. E.g., essays, detailed blog posts. (Specifically TCS: there is a lot from Maths, but while adjacent there are enough differences in culture it's worth distinguishing)
73611 36
Solal Nathan @solalnathan.com · 22/09/2026
OpenAI is starting to do aggressive cross-site data collection like Google and Meta. www.buchodi.com/chatgpt-now-...
buchodi.com
ChatGPT now knows what you do on other websites via ad collector
OpenAI's ad collector at bzr.openai.com sets a cookie called __obi, scoped to .openai.com. The value is while you are on ChatGPT and tied to your ChatGPT account. __obi is then sent to OpenAI from ord...
020 2
Reposted by Solal Nathan
The Lobste.rs RSS feed @lobsters-feed.bsky.social · 22/09/2026
graphing my sleep schedule lobste.rs/s/20c9v3 #javascript #visualization
char.lt
graphing my sleep schedule - charlotte!
computer art! non-24-hour sleep/wake exhibit
001 1
Reposted by Solal Nathan
Matt Hodges @matthodges.bsky.social · 19/09/2026
Very quick and dirty Jev test for hiring bias. One resume for a Wall Street job; asked whether the applicant should get a first-round interview. 76 evaluations, changing only the first name. 19 of each: White-associated men/women, Black-associated men/women. console.typesafe.ai/playground?s...
19474116 474
Reposted by Solal Nathan
Jules @juleswp.eurosky.social · 18/09/2026
Comment détecter un article généré par IA sur Wikipédia ? C'est désormais notre lot quotidien. 🧵 Un petit fil, à partir d'un exemple concret.
Aperçu d'un article sur Blaise Agresti.

« Blaise Agresti, né le 20 janvier 1971, est un officier supérieur de la Gendarmerie nationale (colonel)[1], guide de haute montagne, auteur et dirigeant d'entreprise français. Spécialiste du secours en montagne et du commandement en situation d'urgence[2], il a dirigé le Peloton de gendarmerie de haute montagne (PGHM) de Chamonix-Mont-Blanc ainsi que le Centre national d'instruction de ski et d'alpinisme de la gendarmerie (CNISAG)[3]. »
21499344 499
Solal Nathan @solalnathan.com · 18/09/2026
True, but I don't think most people there are doomers. I though the "angst" in your message was about that?
000 0
Solal Nathan @solalnathan.com · 18/09/2026
Lobste.rs is generally a bit better, but probably not the solution you are looking for
lobste.rs
Lobsters
A computing-focused community centered around link aggregation and discussion.
100 1
Solal Nathan @solalnathan.com · 14/09/2026
@thdxr.com
000 0
Reposted by Solal Nathan
Philippe Weinzaepfel @weinzaepfelp.bsky.social · 13/09/2026
When were #ECCV2026 papers available on arXiv? 👇
2116 11
Reposted by Solal Nathan
Ted Underwood @tedunderwood.com · 13/09/2026
But this comes back around to why I do support the statement Tao et al made. I like it more than the Leiden Declaration, because it doesn’t pretend it can regulate or limit change. It explains why we value knowledge-creation in the first place, and says “whatever comes next must do this too.”
1627 62
Reposted by Solal Nathan
Gary Marcus @garymarcus.bsky.social · 31/08/2026
what Dwarkesh got wrong and why it matters, a detailed dissection: garymarcus.substack.com/p/dwarkesh-p...
garymarcus.substack.com
Dwarkesh Patels’s wildly popular but dangerously misleading account of the OpenAI Hugging Face incident
When “plain English” isn’t a good thing.
34821 48
Solal Nathan @solalnathan.com · 31/08/2026
Real impact coming. It's great news.
000 0
Reposted by Solal Nathan
European Commission @ec.europa.eu · 31/08/2026
We have designated ChatGPT as a Very Large Online Search Engine and Reddit and Roblox as Very Large Online Platforms under the Digital Services Act. They now have four months to comply with additional DSA obligations. #DSA
“Graphic with a purple background and yellow EU stars. Text reads: ‘ChatGPT, Reddit and Roblox designated under the Digital Services Act.’ The European Commission logo appears in the bottom right.”
23413145 413
Solal Nathan @solalnathan.com · 27/08/2026
"4000 mots l'adulte moyen". Déjà on parle de productif ou de réceptif ? On distingue comment les unités de comptages ? (Genre famille de mot, conjugaison, etc) Et puis la moyenne est sûrement pas la bonne mesure pour des distributions à queue longue comme ça.
110 1
Solal Nathan @solalnathan.com · 26/08/2026
Only if you assume no friction.
000 0
Reposted by Solal Nathan
Clément Canonne @ccanonne.github.io · 20/08/2026
For sale: lower bound, never reached
0475 47
Reposted by Solal Nathan
Altmetric @altmetric.com · 19/08/2026
Spotted in today's Guardian: www.theguardian.com/environment/... Shout out to @ox.ac.uk and @qmul.bsky.social - both mentioned, as well as several research papers.
theguardian.com
Ulez led to better lung size and function among London children, study finds
Researchers find capacity stunted by pollution restored after introduction of ultra-low emission zone
083 8
Reposted by Solal Nathan
Filippo Valsorda @filippo.abyssdomain.expert · 17/08/2026
I am mostly done implementing crypto/passkey, but now I need YOUR help collecting real-world traces for its test suite! Please go to help-test-crypto-passkey.exe.xyz and click the buttons. It should take 1–3 minutes. 𝘌𝘴𝘱𝘦𝘤𝘪𝘢𝘭𝘭𝘺 if you have some unusual Linux-on-the-desktop xkcd 1987 passkey setup.
Bernie "I Am Once Again Asking for Your Financial Support" but it says "I am once again asking for your help testing Go cryptography."
1411339 113
Reposted by Solal Nathan
Eugene Vinitsky 🍒 @eugenevinitsky.bsky.social · 12/08/2026
For the past six months @mariaa.bsky.social and I have been working on creating an improved research experience on atproto. It's now live! Check out: lea.ac
leaflet.pub
Lea: research-oriented social media
Introducing a beta-version of our new research-focused social media platform
20381113 381
Reposted by Solal Nathan
Jennifer C. Martin @notreallyjcm.bsky.social · 07/08/2026
“We need data centers to stay ahead of China” seems to be a common belief of AI supporters. Why can’t we ever want to stay “ahead of China” when it comes to high-speed rail or EVs or low cost of living or public safety?
1242249519 2.2K
Reposted by Solal Nathan
Gro-Tsen @gro-tsen.bsky.social · 08/08/2026
I was told the following anecdote about Dirac, which, like all good stories, is probably half made up: ⤵️ A French physicist travels to Cambridge to talk with Dirac, and attempts to speak English, which he isn't good at. Halfway through a difficult conversation, Paul Dirac's sister enters the room …
2163 16
Reposted by Solal Nathan
Joel David Hamkins @joeldavidhamkins.bsky.social · 08/08/2026
How nice! I am very pleased to announce that I have been awarded the Alternative Fields Medal award in the category of "Excellence in exposition of mathematics to a popular audience", in recognition of my books and my MathOverflow contributions. esander1789.github.io/afm/
esander1789.github.io
The Alternative Fields Medals
4274 27
Solal Nathan @solalnathan.com · 07/08/2026
You can. Proxmox is overkill for most homelabs.
000 0
Solal Nathan @solalnathan.com · 06/08/2026
Il reste que la separation de flux et les mesures diminuant la vitesse sont probablement plus pertinentes (même si pas exclusives). Et ces mesures n'ont pas les effets adverses du port du casque chez l'adulte.
000 0
Solal Nathan @solalnathan.com · 06/08/2026
Imposer le port du casque (en dehors du cas enfant -13 qui existe déjà en France) est assez incertain mais probablement centré sur zéro et légèrement plus probablement négatif que positif je pense (mais dur a dire).
100 1
Solal Nathan @solalnathan.com · 06/08/2026
Mouais près avoir regarder vite fait la literature l'effet de report a l'air moins important que ce que je pense. Mais l'effet cout de santé publique / combat contre la sédentarité chez l'adulte a l'air plus important. En gros résumé de mes lectures et calculs en coin de table :
100 1
Solal Nathan @solalnathan.com · 06/08/2026
Il est même probable que ça diminue la sécurité des vélos. Le nombre de cycliste sur les routes est un facteur bien plus important que le port du casque et le rendre obligatoire fait diminuer grandement ces derniers (voir le cas en Australie)
120 2
Solal Nathan @solalnathan.com · 06/08/2026
I am pretty sure they have the same in Ljubljana. I need to do some geoOSINT to find it now
000 0
Solal Nathan @solalnathan.com · 06/08/2026
Wait is this in Ljubljana?
100 1
Reposted by Solal Nathan
Jean-Lou Fourquet @apreslabiere.fr · 01/08/2026
🧵 1/ Le fracking pétrolier existe parce qu'il n'y a plus de pétrole facilement accessible à extraire. Nous en sommes au même stade avec une autre ressource : notre attention.
1102 10
Reposted by Solal Nathan
ve, the ghost of info past @vortexegg.com · 01/08/2026
For me, LLMs are clearly powerful machines, but everything about their construction and deployment in society by the people constructing them appears oriented around achieving a political project that deeply conflicts with my values or a vision of a future I want to live in and dont have a choice in
11848195 848
Solal Nathan @solalnathan.com · 01/08/2026
Website is 500 :( So much success that we crashed the reverse proxy?
100 1
Reposted by Solal Nathan
Munich Center for Mathematical Philosophy @lmu-mcmp.bsky.social · 31/07/2026
Journal launch: The *Journal of Mathematical Philosophy* aims to publish high-quality research articles in all areas of mathematical philosophy (broadly understood), offering open access at no cost to authors. Submissions of manuscripts are now welcome at: mathematicalphilosophy.org/mathphil
https://mathematicalphilosophy.org/mathphil
2227 22
Reposted by Solal Nathan
mr. TIM @timkellogg.me · 31/07/2026
desperation in his voice
A meme featuring Meta CEO Mark Zuckerberg walking outdoors, talking on a mobile phone with a focused expression while wearing a grey t-shirt. White text overlaid at the bottom of the image in standard meme font reads, "SOMEBODY MAKE ONE OF OUR MODELS DO SOMETHING ILLEGAL".
71709 170
Reposted by Solal Nathan
Liddell🏳️‍⚧️🌱 #toutcramer @liddell-cl.bsky.social · 31/07/2026
Alors sur ce point je suis pas d'accord... Parce que "incapable de situer des pays d'Afrique mais capable de tout détruire" tu viens juste de décrire les blancs 😶
3672 67
Reposted by Solal Nathan
Emily Hunt @emily.space · 29/07/2026
the account activity labeller continues to be such an incredibly good tool - signals like "no break greater than 4 hours yesterday" or "made 50+ replies yesterday" are such good signals that an account is inauthentic
bsky.app
2205 20
Reposted by Solal Nathan
Gautam Kamath @gautamkamath.com · 30/07/2026
ICLR 2027 has authorship quotas: - No more than 20 submissions per author - No more than 1 submission where no author has a paper previously accepted to a major ML conference From iclr.cc/Conferences/...
54813 48
Solal Nathan @solalnathan.com · 30/07/2026
More about limiting the amount of AI slop and PhD student slavery from big names who did not even read the papers and publish 100+ papers a year. Who the hell can complain about not being able to submit 21+ papers to a single conference?
050 5