Now that the competition is over, Adso has penned his reflections.
icfpcontest2025.github.io/afterword.pdf
We also have many team write-ups here:
icfpcontest2025.github.io/writeups.html
Please let us know if you have some to add to the list!
17.09.2025 08:28 — 👍 3 🔁 1 💬 0 📌 0
That's it! Finita est! The ICFP 2025 Programming Contest is over! Be sure you have submitted your code.
Also, please share writeups with us describing your solutions and your thoughts on the problems! These can be shared on discord and we will put links to them on the website.
08.09.2025 12:00 — 👍 5 🔁 1 💬 0 📌 0
The contest ends in less than 15 minutes! Please submit your code (according to instructions in the task description) to be considered for prizes
08.09.2025 11:47 — 👍 1 🔁 0 💬 0 📌 0
We have frozen the public leaderboards, because we are in the final two hours of the contest. Explore quickly!
08.09.2025 10:01 — 👍 1 🔁 0 💬 0 📌 0
We have fixed a bug that caused the random generator for the advanced levels to occasionally generate maps that were significantly harder to solve than intended. Sorry for the inconvenience!
07.09.2025 13:49 — 👍 1 🔁 0 💬 0 📌 0
The public leaderboards are now updating again. Hilariter hackate!
06.09.2025 14:01 — 👍 3 🔁 0 💬 0 📌 0
The lightning round is now over, and a new batch of problems have been released! Check our task description page to see how to solve them! icfpcontest2025.github.io
06.09.2025 12:01 — 👍 1 🔁 0 💬 0 📌 0
The lightning round ends in two hours! The public leaderboards have now been frozen to keep the lightning winners a mystery until our grand reveal at ICFP 2025 in Singapore. They will be back in 4 hours (i.e. two hours after the lightning round ends).
06.09.2025 10:00 — 👍 3 🔁 0 💬 0 📌 0
We have made a slight adjustment to the rules. Now route plans are limited in length. Please see the updated spec.
05.09.2025 13:40 — 👍 1 🔁 0 💬 0 📌 0
Incipit!
The ICFP Programming Contest 2025 has begun.
See our website for the task description.
The aedificium awaits!
icfpcontest2025.github.io
05.09.2025 12:01 — 👍 2 🔁 0 💬 0 📌 0
Et sextus angelus tuba cecinit: et audivi vocem unam ex quatuor cornibus altaris aurei, quod est ante oculos Dei, dicentem sexto angelo, qui habebat tubam: Solve quatuor angelos, qui alligati sunt in flumine magno Euphrate. Et soluti sunt quatuor angeli, qui parati erant in horam, et diem, et mensem, et annum, ut occiderent tertiam partem hominum. Et numerus equestris exercitus vicies millies dena millia. Et audivi numerum eorum. Et ita vidi equos in visione: et qui sedebant super eos, habebant loricas igneas, et hyacinthinas, et sulphureas, et capita equorum erant tamquam capita leonum: et de ore eorum procedit ignis, et fumus, et sulphur.
In eight hours, the contest begins. Praeparate vos!
05.09.2025 04:00 — 👍 2 🔁 2 💬 0 📌 1
Et quintus angelus tuba cecinit: et vidi stellam de caelo cecidisse in terram, et data est ei clavis putei abyssi. Et aperuit puteum abyssi: et ascendit fumus putei, sicut fumus fornacis magnae: et obscuratus est sol, et aer de fumo putei: et de fumo putei exierunt locustae in terram, et data est illis potestas, sicut habent potestatem scorpiones terrae: et praeceptum est illis ne laederent foenum terrae, neque omne viride, neque omnem arborem: nisi tantum homines, qui non habent signum Dei in frontibus suis: et datum est illis ne occiderent eos: sed ut cruciarent mensibus quinque: et cruciatus eorum, ut cruciatus scorpii cum percutit hominem. Et in diebus illis quaerent homines mortem, et non invenient eam: et desiderabunt mori, et fugiet mors ab eis. Et similitudines locustarum, similes equis paratis in praelium: et super capita earum tamquam coronae similes auro: et facies earum tamquam facies hominum.
Tempus breve est!
04.09.2025 20:01 — 👍 2 🔁 1 💬 0 📌 0
Et quartus angelus tuba cecinit: et percussa est tertia pars solis, et tertia pars lunae, et tertia pars stellarum, ita ut obscuraretur tertia pars eorum, et diei non luceret pars tertia, et noctis similiter.
Unus dies superest!
The ICFP Programming Contest begins in 24 hours!
04.09.2025 12:02 — 👍 3 🔁 1 💬 0 📌 0
Et tertius angelus tuba cecinit: et cecidit de caelo stella magna, ardens tamquam facula, et cecidit in tertiam partem fluminum, et in fontes aquarum: et nomen stellae dicitur Absinthium, et facta est tertia pars aquarum in absinthium; et multi hominum mortui sunt de aquis, quia amarae factae sunt.
Nomina vincta tenemus.
04.09.2025 04:00 — 👍 2 🔁 1 💬 1 📌 0
Et secundus angelus tuba cecinit: et tamquam mons magnus igne ardens missus est in mare, et facta est tertia pars maris sanguis, et mortua est tertia pars creaturae eorum, quae habebant animas in mari, et tertia pars navium interiit.
Calculum agite! Calculum agite!
03.09.2025 20:00 — 👍 3 🔁 1 💬 1 📌 0
Et primus angelus tuba cecinit, et facta est grando, et ignis, mista in sanguine, et missum est in terram, et tertia pars terrae combusta est, et tertia pars arborum concremata est, et omne foenum viride combustum est.
Post quadraginta octo horas incipit.
03.09.2025 12:04 — 👍 6 🔁 2 💬 2 📌 0
ICFP contest 2025
This year's contest will be held from Friday 5th Semptember 2025 at 12:00 UTC to Monday 8th September 2025 at 12:00 UTC. There will be a lightning division, ending on Saturday 6th September 2025 at 12:00 UTC.
Details at our website below!
17.02.2025 04:58 — 👍 6 🔁 4 💬 0 📌 0
