2026

an archive of posts from this year

Aug 27, 2026	How short can a proof of impossibility be?
Jun 14, 2026	Inferring hidden constraints for scheduling solvers