Tuesday, September 27, 2016

Judge's source codes have been published

The source codes of the judge system and the traditional origami silhouettes from the Kojiki have been published on GitHub:

https://github.com/icfpc2016/icfpc2016-judge

We will keep the post-mortem server running for a while, but we may shut it down in the future without any prior notification.

Wednesday, September 21, 2016

Contest results are up!

Thank you very much for your patience. We have announced the final result of the contest in ICFP:

1st place
Unagi
2nd place
天羽々斬 (ame-no-habakiri)
Lightning division winner
jabber.ru
Judges' prize
TBD
The team TBD is evaluated by the fact that the team submitted a problem solved by no other team.

All the final standings are as follows.

RankScoreTeam NameProgramming Languages
1700327UnagiJava,C++,C#,PHP,Haskell
2268752天羽々斬C++, Ruby, Python, Haskell, Java, JavaScript
3243456Cult of the Bound VariableC++, Standard ML, Python
4211020WILD BASHKORT MAGESPython, OCaml, C++
5201776Frictionless BananasC++
6192501kontur.ruC#
7185202TsuruC++, JavaScript, Go
8146270negainoidoRuby, Python, PHP, Bash, Haskell, SQL
9138789neruneruneruneC++, Python, JavaScript, Ruby, ShellScript
10117388DiamondPrincessHaxe,Python,C++,shell
11112182jabber.ruOCaml
1299701kstm.orgScissors, Pen, Ruby
1397359モダン焼 フジC++,Python
1496320Lens d'Ulm
1593680yowaRuby
1693159fixstarsC++, Java, Python, JavaScript
1783936TBDPython3
1883710typoPython
1981972THIRTEENJava, Kotlin, Python, JavaScript, C++
2077145The $oun𝅗𝅥 0f λruby, python
2162895Olympiac++, c#, javascript, asp.net
2260550unfoldOCaml, Unix shell, gnuplot
2357690Deramerpython, bash
2457292Invisible ImpScala, jq
2554727😼̯__,Common Lisp,Ruby
2653636Snakes vs Lambdaspython, c++, bash, javascript
2752884TheWildLobstersCommon Lisp
2852752lilikRust, Python, Javascript, Macaulay2
2946223powderHaskell,bash
3045368The Cat is #1!!JavaScript,C#,python,go,html,brainfuck
3144446Temporary OCaml Team NameOCaml
3244437cashtoC#
3336371big.Ratgo, shell script
3435565Raging MushroomsOcaml problem generator, lisp solver, js/php glue and visualizers
3534341GD and AlumniScala
3633441BarbarellaOCaml
3733122Zebra Infused HamstersC, C++, Python, bash, Ruby, CMake
3831659MIPT LambdaHaskell
3929655Stanfy+kotlin, bash, java, javascript
4028710Henchman #24Python,Haskell
4128457Buy Ascension VR on Steam, $9.99C++ for the solver, javascipt to make problems, C# for the rest API
4227499Eger a MarsonHaskell, (+Python for the API access only)
4326327NCPLUGHaskell
4425838Hydralisk eats tacoOCaml, JavaScript
4525452A Storm of MindsJava, groovy, bash
4625184301Kotlin
4724407Zygohistomorphic PreproxenomorphHaskell, Python, Bash
4824284CubeClubpython
4924262uguu.orgC++
5024180codingteamHaskell
5123416Small Opulent Shelducks 💨Scala, Python, Bash
5222604sdbJava,Python
5320554sonna*baka*naOur brain and Excel
5420200Coding MonkeysKotlin
5520104kittykoalaC#
5619489Möbius SwanRuby, Elm, Python
5719286code-o-maticPython
5818717Piggybank SoftwareC++, Java, C#, windows bat files
5918467Omega men
6018128why-five-ayeNFlat, C#
6116831SunspearHaskell, C++
6216702びア部🍺JavaScript, C++, Python, Haskell
6316561SkobochkaHaskell, PHP, Bash
6415804TeamDev
6515726Team AwesomeHaskell,Python,JavaScript
6615309bystander.jsJavaScript
6714947I'ZOOC++ language
6814929Team SampouHaskell, shell, jq
6913941xyzPython
7013259trup16Python
7112038udfew
7211822IKSpython, minizinc, c++, bash, sql
7311666yaruneeRuby
7411072lambda-llamaOCaml,Python,JavaScript
7510712R22bPython, C++
7610703Le doux cri du yak des cimespython,OCaml
7710632Team K&RPython
7810246fotocopia-al-150Python
7910176ALAMBDAClojure, Python
8010017Goto11C++, Mathematica, Lisp,JavaScript
819941XeniacPython
829851periaC++,python
839769Bears ate our brainsC++, bash
849523Dao of the foldOCaml
859299Not bad team at allC#
868900The team formally known asHaskell
878600AZALEA
888186Junk FoodHaskell,Shell
897807InforFunJava
907390ImaginaryCF
916905Gassa & The FamilyD, bash
925835COBOL_loversCOBOL,Java,Python,C++
935746Scala Ballas 🏀Scala
945377Leaf PieBash
954973👸💕 We Love Chiiia 💕👸
964930CTDElite
974918🐍 String Invaders 👾
984909Task Manager (Not Responding)D
994765Wagner-samaC++, Python, ...
1004676Leonardone @ NEETSDKASUF#
1014658This is an albatrocity!python
1024246kstmPython,PHP,JavaScript
1033924taxidriver
1043908lass1eruby
1053322WOMBATPython
1063237paivC++, Python
1073019The Higher Order Of ZeuxisHaskell, Java
1082954foldCranescala, R, python
1092741Errol's Robots
1102677WintermuteJava, Kotlin, Python
1112336loop the hack
1122235試運転C++
1132207prolab
1141598ParseErrorf#, c#, Z3
1151442d4oHaskell, Python
1161438Canivsar
1171261Falt mal kurzPython
1181221Team SSLHaskell,pen and paper
1191176Team Super LegitRust
120832nobu
121820SteelRaven
122567The Pragmatic Russians
123546🌟 kirakira 🌟Rust
124484kmc
125464public static void mainRuby
126278O Caml, My CamlHaskell
127259cauchymJavaScript, Ruby
128231Taupiqueurocaml, python
129211Wowbagger6809Tcl
130180MovioJavaScript,Haskell,Go
131150Standard ML/Yeah!Haskell,Python
132136gzolubleRuby
13385abcde
13475Team Aerokraftpython
13566ha2ne2Clojure
13664Belle AreaHaskell,Python
13754chiiia12
13851Folding Functor
13944診断人
14041Folds R UsHaskell
14135Team Wolfie
14232Solo 399
14325Sedentary Mollusc
14423epriestleyPHP
14518ricknmortyRacket
14615xsdOCaml
14713cwJava
148122ManGroupJava
14911wheezardsgolang
15011NaruseJunHaskell, JavaScript
15111PartialOrderC++
15211Limbo
1538tcybe
1548rover
1557WombatmanF#
1557kludgefactoryRuby
1557LoneRanger
1587YOLOswagAmerican
1597Aecium
1597O
1597perpetuum mobileScala
1597framusenglish
1597ghost
1597cereal
1597read & write
1665CactusC++
1672dumbojet
1682Marooned Combiners
1682Room 641aGo, JQ, Shell
1682豆腐祭り
1712ヒッキープログラミングするスレRuby
1722Powershop is hiring
1732Olakka
1732アリクイ㌠C++
1732r152C++
1732naoys
1772Paper Tiger
1781phantomancy
1791vsapsai
1801Jackstone
1810Gyutan
1820Celestial Dire Badger
1820pro.elixir
1820Leg of Lambda
1820tanzaku
1820CDT
1820Princess Molestia
1880uint32_t
1890Samurai Helmet of OrigamiC++,Python
1890GFlatF#
1890side effect
1920Dis Functional
1920AtnNn
1920TusanHomichi
1920begot
1920Rarest PepePerl, Javascript, Snobol
1920Wrong EndiansScala
1920pibe
1920D3butRU
1920Wile E.
1920112Russian
1920Biorigamics
2030Wandering Hobosjulia
2030NULL
2030yowa
2030pk
2030Hemisphere
2030Slow
2030Too lazy to think of a name....Haskell
2030Riaqn
2030botrevenge
2030Pokebowl
2030teofr
2030Team Mugit
2030Oklahoma FCHaskell
2030Byker DaveEnglish
2030ATS
2030kami-waza
2030Pastillage Research
2030morayC++
2030Blue Iris
2030Lazy Owl
2030framusenglish
2030LonelyNerd
2030Little Bippy & Big Growler
2030Flexible Demeanour
2030OrigamiRavenGo
2030HemisphereScala
2030AllIWantIsToSeeTheProblems
2030Occupational Face Plant
2030Church of the Least Fixed Point
2030TIML6574
2030Team Aerokraft
2030Team Aerokraft
2030Son of a Lambda!Python
2030notogawaHaskell
2030LoLi SaikouCommon Lisp
2030貴方、「怠惰」ですねえCommon Lisp
2030suikkee
2030mekajfire
2030lopihuta
2030sergeifJ, C
2030Fly On The Wall
2030Pelmeshki
2030rocco66_team
2030KOLOBOLOK
2030Flying Teriyaki MonsterHaskell
2030Lilik
2030Menschenkindlein
2030Peeing Turtle
2030*ptrHaskell
2030アヒル㌠C++
2030Deterministic Market Ride
2030MidorimushiHaskell, Scala, Java
2030TaupeGoons
2030¯\_(ツ)_/¯
2030covaxHaskell, C#
2030nbu
2030DNIWE :: aTurbo Pascal 6.0
2030Freeball
2030Lyrical Tokarev
2030ggg
2030CodermalC++
2030Not There Yet
2030JavaScriptFullCompilationJavaScript
2030orzr
2030FooBar
2030Thommi
2030yohmike
2030BCC++
2030Team007PHP
2030診断人
2030診断人
2030drop_table_users
2030radupeca
2030lopihuta
2030pecaradu
2030Test team
2030Hekul
2030iFold
2030test
2030kamikaze
2030UPA
2030vodka_bear_balalaika
2030cataScala
2030hakomo
2030The seekers of curiosity
2030keizo
2030chiiia12
2030on vacation
2030Far away from Gallifrey
2030LightningPython
2030Mischa

Sunday, September 18, 2016

We started accepting T-shirt orders!

We are soon announcing contest winners in ICFP 2016, but meanwhile, here's an update for T-shirts!

Thank you for answering the questionnaires about T-shirts. According to the responses, design A was very popular compared to design B, so we are making design A only. Also we will produce slim-cut (womens) T-shirts too.

So, now, we are ready to accept orders!

We prepared two editions of T-shirts: Screenprint Edition and DTG Edition. While the design is the same, all others (garment, printing method, price, logistics, ...) are totally different. Please read carefully the explanations below before placing orders.

1. Screenprint Edition

This edition uses screenprinting as T-shirt printing method. We expect it to have higher quality and durability than DTG Edition, while price is lower.

Price is 1,500 JPY. Items are sold and shipped by BOOTH, a Japan-based company. Since BOOTH does not support international shipping by itself, if you live outside Japan, you need to use some international forwarding service to ship items overseas. BOOTH recommends tenso.com (see links below for details).

Order deadline of Screenprint Edition is Sep 30 23:59 UTC. Estimated shipping date is October or December.

2. DTG Edition

DTG stands for Direct-To-Garment, and this edition prints T-shirts on demand by ink-jet printers. One good point about this method is that items can be produced on-demand, any time.

Price is 32.99 USD. Items are sold and shipped by CafePress, a US-based company. It supports international shipping by itself.

We set no deadline for this edition, so you can buy one whenever you like.

Summary

The table below summarizes the differences of two editions:


Order Links

Finally, here are links to the shops!

Screenprinting Edition, Mens:
https://icfpc2016-tshirt.booth.pm/items/327165
Screenprinting Editions, Womens:
https://icfpc2016-tshirt.booth.pm/items/328441
(You can change the display language by the dropdown box at the bottom of the page)
(Tenso.com http://www.tenso.com/en/static/lp_shop_booth is recommended by BOOTH for international shipping)

DTG Edition, Mens:
http://www.cafepress.com/cp/customize/product2.aspx?from=CustomDesigner&number=1941085036
DTG Edition, Womens:
http://www.cafepress.com/cp/customize/product2.aspx?from=CustomDesigner&number=1941085496


We hope you like them!

Friday, September 2, 2016

Winners have been notified.

We have sent the notification of all prizes to the winners. The emails were sent from the address icfp-contest _at_ researchr _dot_ org on 17 and 29 August. Please check your mail box whether the notification is buried under spam messages.

Sunday, August 21, 2016

We are making T-shirts!

We are planning to make ICFP Programming Contest 2016 T-shirts. If you are interested, please fill in this questionnaire so we can estimate the total number of orders.

ICFP Programming Contest 2016 T-shirts Questionnaire

Note that submitting this form does NOT place an order. We will later announce the details on how to order them on this blog.

This activity is approved by our sponsors, ACM and ICFP.

Monday, August 8, 2016

You've done a great job!

We have been receiving a lot of heartwarming messages, and are already learning that many of the solutions had been generated by karate humans or computer-aided humans. You have shown another class of problems computers alone cannot solve well, and have shown the importance of human-computer collaboration. All the efforts you have put in are the live evidences that make the vision beyond The Singularity substantially brighter, than any predictions and spells found in the Kojiki.

The purpose of the contest has been fulfilled.

The contest is over!

The contest is over! You may not submit solutions anymore.

We would like to remind you once again to submit your source code. See the source code submission instructions for details. You can still update your team profile on the server for the next 24 hours.

Meanwhile, we have set up a postmortem server, where we have put all the submitted problems. If you want to continue playing, please use the postmortem server.

We hope you have enjoyed this year's ICFP programming contest. We love you all and are deeply grateful for your participation. Please look forward to the announcement of the final results at ICFP 2016. Good game, everyone!