Fair Guessing of Bit Vectors, или как я участвовал в ICFPC 2013.

Aug 14, 2013 23:00

Эпиграф

Нас было 7 человек. У нас было 20 модулей на хаскеле, приватный репозиторий на гитхабе, 6 веток в этом репозитории, ImplicitParams, MagicHash и UndecidableInstances в коде и одна highmem нода на амазоне, а также hangouts для общения, юнит-тесты, просто тесты, google docs для заметок и куча статей про SMT-солверы. Не то что бы мы это все ( Read more... )

icfpc

Leave a comment

(The comment has been removed)

sorhed August 14 2013, 22:05:29 UTC
Хаскель учить необязательно, можно взять любой другой язык программирования.

Командное взаимодействие происходило посредством Google Hangouts и общего документа в Google Docs. Отлично работает.

А реальной жизни не существует. Ну, на эти 72 часа - точно. :)

Reply

(The comment has been removed)

xoposhiy August 15 2013, 07:50:12 UTC
По мне так весь icfpc это про балланс между "придумывать светлые идеи" и "не заниматься бесполезной хернёй". Так весь контест и мечешься между ними :)

Все командное взаимодействие сводится к "следить, чтобы никто не занимался бесполезной херней :)"

Reply

nealar August 15 2013, 13:29:11 UTC
В команду напроситься несложно. В 06 году я за пару часов до старта нашёл в чате народ, после того как меня монстры не взяли. :) Но если решать на какой-нибудь эзотерике, то трудней.

Reply


Leave a comment

Up