Guillaume Dalle

Best times for the NYT crossword by day of the week

Crossword pro tip: solve it as a team with your smarter girlfriend. First time under an hour for a Sunday grid!

ty: An extremely fast Python type checker and language server ty is an extremely fast Python type checker and language server, written in Rust, and designed as an alternative to mypy, Pyright, and Pylance.

I find it extremely comforting to know that Python development will basically be revolutionized every two years by @crmarsh.com and his crew at Astral.
astral.sh/blog/ty

YouTube video by PianoHamster Sarko, libre dans sa tête

youtu.be/pUNMqkv9oo4?...

YouTube video by PianoHamster Zotero

youtu.be/jE83YERuwFQ?...

IJCAI 2026 will charge $100 USD per submission. Funds will be used to compensate reviewers.

2026.ijcai.org/ijcai-ecai-2...

My top song on Spotify this year was by “Les Fatals Picards”, I listened to it 235 times

Note to self: create a second Spotify account to work on song covers. Maybe this will allow my end-of-year recap to not look like an obsessive French pop fever dream.

Awesome to see the French government recognize our work on open-source software! @ouvrirlascience.bsky.social

A close up of the trophy for the "prix science ouverte du logiciel libre de recherche, édition 2025" (open science prize for free research software, 2025 edition)

My baby #JuliaLang package got an award!
DifferentiationInterface.jl just received a national prize for open-source research software and I couldn't be prouder. We started this from a vague dream with @adrianhill.de, and reached 1000 dependents and 100k downloads last month.
Research != just papers.

The tune is "Shape of you"

The ownership mechanism is a big one, but there are lots of small things with good design decisions: the packaging and build system, the module and file structure, the enum types. I’m also very excited about traits (because they’re a huge pain point in Julia) but I need to read further

Trying to learn Rust for the Advent of Code, and literally every page of the manual has me going “wow, that *is* a problem I encountered in other languages and what a clever way to solve it”.

I take this to mean that you’re a scary insect

Hype, Sustainability, and the Price of the Bigger-is-Better Paradigm in AI | Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency

Yes!!!
This is what prompted me to write the following paper:
dl.acm.org/doi/full/10....

A lot is explained by narratives and social norms driving research.
We need to build our own narratives, as a research community, this is what we do

I have the title

I'm not sure how to interpret "across venues" here, which is very much load-bearing

Don't mind me, just going through old, irrelevant posts

each poster session at #neurips2025 has about 1000 posters. stupid question but isn't that too much?

Where do I buy this?

I sympathize very much, it definitely sucks. Not sure it helps, but there are doubts on the other side too: I often wonder whether academia is the right path for me. The best we can do is to make the choices that seem right for us one at a time, and it sounds like you did just that, so congrats 🫂

Monotone operator theory be like: every algorithm is a fixed-point algorithm. A strangely comforting idea.

I’ve never seen something so ugly

I've been working with Zygote.jl for the last five years and I only just now got the name.

Hell, if I were looking for a PhD position I’d jump at the chance too! But then again, who would supervise 🤔?

Link to job description: gdalle.github.io/assets/pdf/j...
[3/3]

The location? École des Ponts, in the dreamy Paris suburbs.
The ideal applicant? A Master's student in mathematics or computer science, equally interested in theory, algorithms & open-source software.
Check out the offer, and shoot me an email if that sounds like you (or someone you know)!
[2/3]

⚠️ WANTED: PhD student ⚠️
The topic? GPU-friendly algorithms for discrete optimization and mathematical programming, to be used inside decision-focused learning pipelines.
The mentors? My colleague Axel Parmentier and myself.
[1/3]

Claude poets society

The Greek temple, cause it had so many columns

Teaching a class on decomposition methods for MILPs tomorrow and I'm wondering what the modern alternative is for "master problem" (as opposed to the pricing subproblem). Any suggestions? I've been using "main problem" but it feels too generic.