☄️Something BIG is coming this summer. Time to sharpen your numerals! The ICFP Programming Contest 2020 will run from July 17 to July 20, starting at 13:00 UTC. The clock is ticking: countingdownto.com/?c=3009383

The lightning round is over! Thanks for your submissions, we look forward to having a look. Happy punting!

Server will be down for brief maintenance in 10 minutes.

New version of the lamduct tool, with IO issues fixed: github.com/icfpcontest201…

The servers will go down briefly for an update in 10 minutes.

Hello Punters! New extension: Is Listlessness Better than Laziness? icfpcontest2017.github.io/post/splurges/

We will have a brief server refresh in 10 minutes.

Sorry, there was a small hiccup with our last update. We will briefly restart the servers in 5 minutes.

The servers will go down for an update in 10 minutes.

Hello Punters! It is extension announcement time again: A new extension "Options" has been released icfpcontest2017.github.io/post/options/

(Just under) 3 hours to go, punters! icfpcontest2017.github.io/post/deadline/

The ICFP Programming Contest has ended. Thanks for punting with us! We will leave the submission system and servers running until 12:30 UTC.

Going ashore? Remember to both share your submission with us via Google Drive and the link to it via the submission system.

Hello, Punters! Lightning Round 1 results are out, complete with PuntTV! icfpcontest2017.github.io/post/lightning…

Lightning Round 2 results are out! icfpcontest2017.github.io/post/lightning…

Full contest round 1 results are out! icfpcontest2017.github.io/post/full-one/ #lambdapunter

Full contest round 2 results are out! icfpcontest2017.github.io/post/full-two/

ICFP Contest Organisers go punting! #icfp2017

ICFP Contest 2017 T-Shirts available, thanks to Shuhei Takahashi! icfpcontest2017.github.io/post/tees/