IPFCP, ой, то есть ICFPC-2020

Jul 21, 2020 02:18


Ровно 11 часа назад закончился ICFPC 2020. Так как я предусмотрительно взял выходной на остаток дня, готовьтесь, сейчас буду РАССКАЗЫВАТЬ. Отчет за прошлый год тут.

Тэ минус семь дней

За неделю до соревнования организаторы начали выкладывать затравочки. Выглядели они примерно так:


Read more... )

Leave a comment

Comments 23

alexott July 22 2020, 08:15:09 UTC
(безотносительно к соревнованию) Я как-то пропустил. Ты совсем в Мюних перебрался?

Reply

tonsky July 22 2020, 16:18:41 UTC
Тип того :)

Reply


dimka_rs July 22 2020, 12:25:39 UTC
Спасибо за рассказ. Вот ещё один взгляд на контест, если интересно:
https://dastapov.dreamwidth.org/131798.html

Reply


anonymous July 22 2020, 16:49:18 UTC
> «Излишняя завязанность на сервер даже там, где это не нужно. Скажем, локальные туториалы и локальный сингл-плеер требуют наличия сервера, хотя логически он ни за чем не нужен ( ... )

Reply

ext_3547125 July 22 2020, 18:51:23 UTC
Сервер мы не выключаем :)
Сейчас мы оторвём от него все куски контуровской инфраструктуры и базу данных и зарелизим такую новую лайт версию навсегда.

Reply

tonsky July 24 2020, 12:29:06 UTC
Тут несколько вещей, которых не ожидаешь:

- Что локальный туториал вообще будет общаться с сервером
- Что надо распечатывать промежуточный вход команды SEND (неочевидно, потому что для нас это была такая же примерно команда, как AND или S-комбинатор)
- Что туториал воспроизводит общение с сервером только частично, и на часть команд нужно обращать внимание, а на часть нет
- Что туториалы нельзя ресетить в произвольный момент, как раз из-за того, что им надо пообщаться с сервером. Я пытался записать стейт N-ого туториала и получал что-то невменяемое, что еще больше запутывало
- Что тебя одновременно учат происходящему на экране и просят это не ипользовать (для multiplayer galaxy типа не нужен). Вообще взрывало голову.
- Если galaxy это визуализатор, непонятно как ему скормить мои команды, чтобы он отобразил состояние боя

Короче, очень нетрадиционное использование. Я не против нетрадиционных штук в целом, но когда до них надо догадаться, это как раз не помогает

Reply


anonymous July 23 2020, 00:34:41 UTC
> «Что читается как: ap ap mul pwr2 34 ?. Что не очень много смысла имеет, потому что даже по количеству ap неверно. Вот как это понимать?»

Сейчас подумалось, что это, скорее всего, линейный масштаб.
Как мерная линейка на географических картах, которая показывает, что "на этой карте 100 метров это <------- вот столько ------->".

А символ "▞" из двух квадратиков, касающихся углом - это "космометр", единица измерения. И рядом его отрезок.

Такой отрезок есть возле каждого пришельца. Например, видно, что люди в высоту чуть ниже 8 космометров. А те пришельцы, что прилетели с нами соревноваться - совсем маленькие, примерно полтора космометра, т.е. где-то 40 сантиметров. ☺

Ну и та надпись в углу галактики должна значить масштаб на карте галактики.
Только там число не 34, а 66. То есть вертикальный отрезок - это 2⁶⁶ космометра.
А весь Млечный Путь диаметром - 11 · 2⁶⁶ космометров.

Пересчитывая на наши метры... он примерно такой и есть! Всё сходится!

PS: Огромное спасибо организаторам за такие мелочи!

Reply

ext_3547125 July 23 2020, 20:05:33 UTC
Конкретные значения космометра и космосекунды, кстати, тоже выбраны не случайно. В надежде, что на 200 человек участников найдется хоть один, кто это выкупит. Но, кажется, нет :)

Reply

tonsky July 24 2020, 12:20:25 UTC
но все равно не хватает одно ap, нет?

Reply

sharpc July 26 2020, 16:54:26 UTC
Волна водорода же?

Reply


reuvenab July 23 2020, 09:02:30 UTC
не надо ли поменять местами
car <-> true
cdr <-> false
?

Reply

tonsky July 24 2020, 12:19:29 UTC
вроде нет, из википедии списывал!

Reply


Leave a comment

Up