gltronred: (Default)
После ICFPC

После ICFPC. Флорис ван Дейк. Холст, масло )

Задача заключалась в следующем.
Philip Wadler

'Twas brillig... )

А как вы проводите лето?
gltronred: (Default)
Вы каждый день должны думать "Я докажу эту теорему при помощи тех методов, которые знаю".

Потому что если теорема неверна, то её никак не доказать.

Остаётся один вопрос... )

© Johan Håstad в моём приблизительном переводе

Low-Depth Complexity Workshop
St. Petersburg, Russia. May 21-25, 2016
gltronred: (Default)
Если мне не изменяет память, тут закончилась первая порция задач

Лесной интернет... )
gltronred: (Default)
Раз уж я забыл написать вчера, сегодня будет две задачи

Просто спорт... )
gltronred: (Default)
После того, как мой ноутбук сломался и унёс за собой некоторые данные, я решил опубликовать условия задач старых олимпиад ВМК КГУ (sic!) по программированию где-нибудь в интернете.

Пока читал, вспомнил кучу моментов, спасибо [livejournal.com profile] live_imagine, aracon, gltrongreen, gltronteal и всем, кто с нами был. Особая благодарность Камилю за условия очного тура 2007 года. Ну и я буду выкладывать по одной задаче в день. Начну сегодня, в день рождения Ньютона.

Итак, Двоичный Лес... )
gltronred: (Default)
Понял, почему ничего не пишу.

Сажусь в определенном настроении (как правило, печальном), готовлю черновик. Пока работаю, настроение меняется, встроенная паранойя берёт верх, мысли получасовой давности кажутся ненужными. Удалить черновик не даёт программистская привычка, опубликовать -- текущее состояние.

Так как же мне сюда писать, и стоит ли это делать?

P.S. Ну вот опять. Дописал вопрос, и внутренний рационалист стал придумывать ответ (либо писать коротко и быстро, либо о том, что меня мало волнует, хотя лучше первое) и побуждать удалить текст
gltronred: (Default)
Окажется ли вердикт, поставленный Казанской суперлиге Врачебной ошибкой врачебной ошибкой?

КДПВ и анализы )

В любом случае, надеюсь, что нас ждет интересная игра в воскресенье. На хороших, годных вопросах, ага :)
gltronred: (Default)
Недавно я таки скачал Исходный код. Не исходный код чего-нибудь, а просто фильм. Неплохо, имхо. Первый посмотренный мною фильм, в котором используются идеи многомировой интерпретации квантовой теории. И пока единственный, ага.

Под катом мирно соседствует много трепа о многомировой интерпретации и немного спойлеров )

P.S. Порадовал квазинаучный термин "параболическое исчисление". Лучше бы нормальный научный термин какой-нибудь подобрали...
P.P.S. Часть текста написана под действием кефира и Anathem Нила Стивенсона.
P.P.P.S. Точнее так: часть текста всё-таки НЕ написана под кефиром и Anathem
gltronred: (Default)
Как правило, когда до конца турнира остаётся один тур, можно уже сделать некоторые выводы о местах. Это правило относится и к Премьер-лиге БК РТ. Но если прошлогодняя система позволяла любому сделать аналитический обзор, в этом году анализы затруднены микроматчами. Поэтому я написал программу, которая посчитала разные интересные штуки под катом )

И несколько весёлых картинок к этому всему:


ещё одна под катом вместе с легендой )

P.S. Прошу прощения за неаккуратные подписи, с gnuplot я близко познакомился только сейчас.
P.P.S. Если кто захочет поиграться с данными, могу прислать те скрипты, которые набросал.
gltronred: (Default)
Немного о истории интеллектуального движения в Казанском университете, которую от нас долгое время скрывали традиционные историки. К счастью, благодаря злоупотреблению кефиром в больших дозах применению новых математических методов изучения исторических свидетельств удалось восстановить подлинную историю БК КФУ

Подлинная история (осторожно, возможно повреждение мозга высокотоксичным бредом) )

P.S. В следующем посте об истории БК КФУ я попытаюсь рассказать о мифологических временах нулевых годов, когда университет был моложе, брейн-клуб меньше и вопросы лучше.
gltronred: (Default)
Не так давно мой старый ноутбук сломался, и мне пришлось купить новый. Я хотел побольше времени автономной работы (у старого батарея никуда не годилась), поэтому стал присматриваться к нетбукам. В итоге из-за клавиатуры (Home, PgUp, PgDn и End отдельно, а не при помощи Fn), характеристик и времени работы выбрал ASUS 1215n.

Разумеется, купил модель без оффтопа. Express Gate, конечно, порадовал тем, что запускался без ОС и позволил погулять по интернету, но хотелось привычного медитативного лога компиляции Gentoo. Мне был доступен внешний CD-привод, поэтому я скачал stage3 и собрал мир )

Что не удалось сделать: заставить X-сервер выводиться при помощи Next-Gen NVIDIA ION; проверить Bluetooth, HDMI и настроить кучу мелочей.

Первое не удалось, потому что Optimus-а нет, а Prime-а ещё нет. Но когда-нибудь я расщеплю ядро допилю PRIME до рабочего состояния на Asus 1215N. А остальное делать просто лень.

Ещё, если я таки переборю лень, части этого текста переведутся на английский и появятся в gentoo-wiki. Или не появятся.

Profile

gltronred: (Default)
gltronred

August 2017

S M T W T F S
  12345
6789101112
13141516171819
20212223242526
2728293031  

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Oct. 23rd, 2017 04:44 pm
Powered by Dreamwidth Studios