Clément Canonne

In the IP (Interactive Proofs) setting, a computationally limited Arthur interacts with an omniscient, but untrusted, prover Merlin.

A potentially fishy Merlin.

A Marlin, if you will.

Hundreds more CSIRO jobs on the chopping block as experts raise fears over impact on science Concerns Australia is gutting its research capability coincide with Trump’s deep cuts into US science agencies

Reading this, can't help wondering: @albomp.bsky.social, have you considered instead NOT doing something so incredibly reckless, self-harming, and unnecessary, at this particular moment in time, of all? #ProtectScience #Australia

www.theguardian.com/australia-ne...

“There’s a clear disconnect between the government’s talk about boosting productivity and their failure to support the very institution that helps deliver it.”

Hundreds more CSIRO jobs on the chopping block as experts raise fears over impact on science Concerns Australia is gutting its research capability coincide with Trump’s deep cuts into US science agencies

Reading this, can't help wondering: @albomp.bsky.social, have you considered instead NOT doing something so incredibly reckless, self-harming, and unnecessary, at this particular moment in time, of all? #ProtectScience #Australia

www.theguardian.com/australia-ne...

The Call for Workshops for #FOCS2025 is up! Submit a proposal by September 5!

📋 focs.computer.org/2025/call-fo...

Workshop chairs: Mohsen Ghaffari and Dakshita Khurana

Australia Admits All Those Animals Made Up

Australia Admits All Those Animals Made Up theonion.com/austral...

A fact about polynomials (and their roots) crucial in the approach I am writing a short exposition about.

Still haven't forgotten: I'm working on it, I'm just slow :)

A teaser.

Wait, authors are not immediately notified when #NeurIPS reviewers update their scores during the discussion phase?

This is crazy! Beyond the pale! How are we supposed to post live rants on social media!?

That's how they get you (the complexity theorists).

Springer publishes a P ≠ NP "proof" and Eric Allender has words to say.

blog.computationalco...

Our paper is now available on #arXiv: arxiv.org/abs/2508.02637

Wait, authors are not immediately notified when #NeurIPS reviewers update their scores during the discussion phase?

This is crazy! Beyond the pale! How are we supposed to post live rants on social media!?

(Take away from this story what you want – the importance of good communication and empathy, how crucial it is not to incorporate badly designed technologies in your flagship product, or just the fact that nobody outside of France understands our education system)

At some point in undergrad I had health issues that affected my ability to focus. One of my teachers, out of genuine concern, came after a while, asking

"Clément, you used to be good. What happened?"

(I felt even worse)

Google Search, I hate to be that guy, but you used to be good. What happened?

Every underground road is named after Tunnell's

en.m.wikipedia.org/wiki/Tunnell...

The Electric Monk was a labour-saving device, like a dishwasher or a video recorder. Dishwashers washed tedious dishes for you, thus saving you the bother of washing them yourself, video recorders watched tedious television for you, thus saving you the bother of looking at it yourself; Electric Monks believed things for you, thus saving you what was becoming an increasingly onerous task, that of believing all the things the world expected you to believe.

Douglas Adams, "Dirk Gently’s Holistic Detective Agency" (1987). So silly, so preposterous, clearly nonsensical satire.

Terence Tao (@teorth.bsky.social) has written a thread on Mastodon about the impact of the federal grant freeze to UCLA, particularly to his own field of Mathematics. UCLA's IPAM (Institute of Pure and Applied Mathematics) could shut down entirely

mathstodon.xyz/@tao/1149568...

At 17, Hannah Cairo Solved a Major Math Mystery | Quanta Magazine After finding the homeschooling life confining, the teen petitioned her way into a graduate class at Berkeley, where she ended up disproving a 40-year-old conjecture.

What a fantastic accomplishment -- and what a fantastic story! www.quantamagazine.org/at-17-hannah...

But, please recognize that however vicious it is to take a guy out of his place of work, throw him in a bus, and force him to go to a place where he can't succeed, it is equally inhumane to keep people out in the first place. There are millions of children growing up in refugee camps, *today*

This cannot happen with this slicing scheme (it is not completely arbitrary: you have to slice with equal angles, you just may be completely off center).

I hope not! I'd have to remember how..

This is what cryptography looks like.

It's still alive!

Baguettes and Breakthroughs – French-Australian Science at Le Marché - National Science Week Come to the French Market in Moore Park and meet scientists making groundbreaking discoveries, with a French Flair as the Australian French Association for Research and Innovation Inc (AFRAN) collabor...

This Sunday, for #NationalScienceWeek, I'll be at the French Market in Moore Park in #Sydney to discuss science, research, and (hopefully) eat🥐 croissants! Join me (and others) from 9:45am to 2:00pm!

www.scienceweek.net.au/event/baguet...

Yes, you have to pick a point and then cut slices from there, with equal angles.

(Unfortunately, this doesn't apply to calzones.)

Pizza theorem - Wikipedia

Fun facts: the Pizza theorem 🍕 states that if Alice and Bob cut a pizza in 4k slices (for k≥2) and take alternating slices, they'll get the same amount even if the cutting wasn't centered.

It was proven by Upton in 1968.

Before that, nobody knew how to cut pizza.
en.m.wikipedia.org/wiki/Pizza_t...

I'm enjoying this thread a lot (plenty of fodder for thought), much more than expected. This is bananas

That worked, I have a proof! For now. (Proofs are fragile, when they're born. I'll leave it alone now, wrapped in paper, stop looking at it, one more glance could kill it. Let's hope the proof makes it through the night.)

Help

I bought too much cheese.