David Picard

😎

I mean, being a postdoc is definitely awesome.

Sometimes, I dream of applying to a postdoc position and go back to the time when I could just spend my days trying to find an answer to a scientific question.

But, alas, I think that time has passed for me. Too many contingencies that need someone in charge.

10 days left to apply for a PhD/PostDoc position in probabilistic machine learning together with me at @kthuniversity.bsky.social.

Both positions are fully funded and part of WASP, the Swedish AI program!

For details, see the links below.
PhD: tinyurl.com/4bppbste
PostDoc: tinyurl.com/2tasv6bd

Already??! But your starting grant was only, like, 2 years ago, right?

Anyway, congrats! 👏🥳

But "supmat" is a noun, right? Right? 🥺

I suppose they are changing ID for all papers and that requires reassigning the papers with the newer ids. Doesn't seem trivial to me, especially if paper IDs are a primary key. Maybe @yoshitomo-matsubara.net could give a hint.

Tu sais que tu es vieux quand pour rendre un prix choquant encore plus choquant, tu le convertis en francs.

(Je fais pareil, t'inquiète)

AC batches are now empty

Autant ça paraissait assez clair jusqu'à 2017, autant déjà en 2022 ça l'était beaucoup moins.

Most conference rebuttals

And this I agree. I'm very much in the trust but verify camp. However, verifying can have many faces, and some of them do not require to understand the role of every single variable in the system. Verification and understanding are different things.

But what do you understand in the over 800 pages of proofs produced by an ATP for a specific result? Shall we say the theorem is false because nobody can read and check that proof entirely?

C'était déjà le cas. J'ai souvenir d'avoir fait de CS exceptionnel pour juger de l'équivalence de la qualification par le passé, en amont des COS dans l'urgence entre la clôture des candidatures et la première réunion du comité.

J'apprends que les collègues exerçant à l'étranger n'ont plus besoin de passer devant le #CNU pour qualification. Cela passe désormais par les établissements.
Je ne savais pas, alors je partage!
#ESR

Where do you stand on automated theorem proving?

Robotics researchers, this is an occasion not to be missed: top-notch speakers in an excellent location in the Alps this February 🤖⛷️
It's the Winter School on Social Robotics, Artificial Intelligence and Multimedia (SoRAIM), 9-13 Feb 2026 👇

[Concours CNRS] Si comme moi, vous attendiez et que vous n'aviez pas vu passer ça.
Ouverture du concours : (a priori) aujourd'hui 8/12
Dépôt des candidatures : jusqu'au 7 janvier

Illusory bluish strawberries

It did work! It's not because people say you're crazy that you are!

I've got a pretty good understanding of German train timings due to years of practice 😁

How long did it take?
ECCV'26 is in Sweden and I'm already wondering how I'll get there 😅

I think about this parallel from time to time. I wonder if COVID was our Antonin plague, and if things all go downhill from here due to various reasons (mostly climate change and resources exhaustion) at a faster rate, just like it did back then.

I don't think you need the simulation hypothesis for explaining this. Installing a cult of personality is textbook fascism, something very well known that happened numerous times in the past.

By “sovreignty” he means “states should be weak enough so that billionaires like me should be able to treat them as feudal vassals” bsky.app/profile/lora...

🙄

Legality of Holocaust denial - Wikipedia

en.wikipedia.org/wiki/Legalit...

One must imagine LLMyphus happy

A lot of the other faces of Nyarlathotep try to keep it subtle but FIFA Nyarlathotep is “hells yes I’m Nyarlathotep!!”