Чтобы добавлять сообщения и комментарии, .

@ymn:
ymn

$ uptime
07:35:47 up 1 day, 19:43, 3 users, load average: 126,86, 126,81, 126,45

@ymn:
ymn

youtube.com — Опубликовали видосы с ICFP, например.

@ymn:
ymn

Боян, не? foxebook.net

@ymn:
ymn

"Note that the -XImpredicativeTypes extension, which has been known to be broken for many years, is even more broken than usual in this release"

ghc.haskell.org

@ymn:
ymn

Купил автоведро, например.

@ymn:
ymn

Закончил полуторамесячный квест "автошкола". 26 января первый раз в жизни сел за руль, сегодня получил права. Так и живем.

@ymn:
ymn

Только что узнал про github.com

Мир никогда не будет таким как раньше, да.

@ymn:
ymn

Промежуточные итоги.

Могу поддержать беседу на немецком языке на довольно большое количество тем, начиная от рассказов о себе и заканчивая обсуждением последних новостей интересных мне областей знания. Остались некоторые пробелы в грамматике, кривом произношении и, разумеется, в словарном запасе.

С французским языком дела обстоят заметно хуже, видимо из-за недостаточной мотивации.

С остальными языками (итальянский, фарси, арабский) занимаюсь время от времени довольно нерегулярно. Судя по всему придется забить на некоторые из них, или как-то расставить приоритеты.

Такие дела.

@ymn:
ymn

soundcloud.com

@ymn:
ymn

robbertkrebbers.nl — Robbert Krebbers. The C standard formalized in Coq. PhD thesis. Radboud University Nijmegen

@ymn:
ymn

А есть ли у кого-нибудь "Modern Compiler Implementation in ML"? Хотел было полистать, но не смог нагуглить, лол.

@ymn:
ymn

habrahabr.ru

@ymn:
ymn

Грамматика — мое слабое звено в немецком языке (внезапно, лол). Последние две недели интенсивных занятий прошли под девизом "ich möchte immer weinen", ибо некоторые места я вообще не понимал. Сегодня в очередной раз поговорил с носителем и понял что тащемта не все так плохо. Свой небольшой словарный запас научился комбинировать в довольно длинные сложноподчиненные предложения. Не всегда правильно, разумеется, но ящетаю что для трех-четырех месяцев самостоятельных занятий вполне годно. Такие дела, посоны. Bis bald!

@ymn:
ymn

Имеет место некоторый прогресс в изучении немецкого: могу довольно свободно говорить на некоторые повседневные темы, нейтивы меня прекрасно понимают и не делают особых замечаний в плане акцента (несмотря на то, что R я говорю дичайше криво). Базовая грамматика, благодаря брошюре "Deutsche Grammatik mit minschlichem Antlitz", стала более-менее понятна.

С французским несколько сложнее. Учил его когда-то начиная с детского сада и заканчивая классом восьмым или девятым, емнип. Не помню совершенно ничего. Решил вспомнить, и теперь могу правильно читать любой текст, абсолютно не понимая смысл) Во время занятий на italki для проработки произношения читаю преподу вслух Coq'Art.

@ymn:
ymn

Послушал этот ваш девзен про хаскель. Говно.

@ymn:
ymn

Блджад, надеюсь я смогу когда-нибудь запомнить как правильно пишутся слова "sechs" и "furchtbar", лол.

@ymn:
ymn

"В то время пока я собирался на ланч, мой ко-воркер Дейв окликнул меня". Дальше читать не стал.

habrahabr.ru

@ymn:
ymn

"We have the pleasure of celebrating the birthdays of Cesar-Francois
Cassini, Igor Stravinsky and Maurits Cornelis Escher by announcing the
release of OCaml version 4.02.2"

sympa.inria.fr

@ymn:
ymn

На досуге принимаю участие в одной социальной движухе по коллективному изучению иностранных языков в этом вашем вконтакте. Вчера наткнулся на довольно годный сервис — memrise.com — флэш-карты для изучения лексики по целой куче тем, интервальные повторения, грамматика, дашборд с лидерами и прочие социальные плюшечки. Годно.

@ymn:
ymn

eax.me