ICFP Programming 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 icfpcontest2025.github.io

We are curious about your opinion about the contest! Please fill out this survey: forms.gle/t45ySYMqcRUr1R…

Will we meet you at @icfp_conference next week in Milan? Just 6 more days until the results of the ICFP Contest 2024 will be presented!

The contest is over! We will announce the winners in september, we published our server code at github.com/icfpcontest202… so you can continue playing around with the challenges.

The top 10 of the scoreboard has been frozen, two more hours to go. Who will take the lead in the end? Good luck in the last bit of the contest!

We've upgraded our servers! Whenever the time limit is reached, your submission is rejudged now on a different machine with a higher limit, so for 3d we now send back "Your program exceeded the tick limit" more often (which in most cases means you made an infinite loop...).

The lightning round for the ICFP contest 2024 is over! This concludes the freshman year, so there is good news for contestants: everybody is now enrolled in all courses. Didn't get a chance yet to write 3D programs or solve efficiency problems? Now you can!

As you might have noticed, the top 10 of the scoreboard now has been hidden, as the lightning round ends in 2 hours. Who will take the lead after the first 24 hours? In september we'll know!

Is the server telling you `Time limit exceeded`? Then your submission would likely exceed either the beta reduction limit or 3d tick limit, we have not found submissions that would pass when given unlimited time.

It turns out that the answer for efficiency8 was wrong, this has now been corrected, submissions have been rejudged (but we did not remove points for submissions that were accepted before). We've told the school to send their quantum computer for repair!

We solved a bug in the 3D interpreter where it did not behave correctly when an operator was overwritten by a number.

We fixed a bug in the 3D test command, if you ran into some errors before you may want to retry.

Have you implemented lambda abstractions in your interpreter already? Thanks to @albatross8778 the description has just become even better!

The ICFP contest 2024 has started! It turns out the Cult of the Bound Variable is still alive, can you solve their tests? Good luck to all teams! icfpcontest2024.github.io/task.html

Tomorrow the contest starts! To prepare, make sure you know how to make a HTTPS POST request with the Authentication header from the team page. Join Discord for more info and to ask questions, good luck this weekend with the contest!

Registration for the ICFP Contest 2024 is now possible via icfpcontest2024.github.io/register.html We hope to see many familiar (and also creative) team names on the list!

Our researchers have deciphered most messages, but are facing problems they can't solve. The ICFP community is asked for help, the work is presented at Friday 28 June 2024 at 12:00 UTC via icfpcontest2024.github.io Sharpen your lambdas and get ready!

Unbelievable, who would have thought that they are still alive? 4 more weeks until we publish our astonishing result icfpcontest2024.github.io

ICFPC 2024 researchers have been able to set up a communication channel! Unfortunately the messages make no sense yet, we need 6 more weeks to figure out what they mean. icfpcontest2024.github.io

icfpcontest2024.github.io has been updated with rules, a non-expired discord invite link and the names of the organizing committee. To clarify: we're a new team of organizers, but we like to make references to previous contests that we really enjoyed!