$ uptime
07:35:47 up 1 day, 19:43, 3 users, load average: 126,86, 126,81, 126,45
youtube.com — Опубликовали видосы с ICFP, например.
Боян, не? foxebook.net
"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
Купил автоведро, например.
Закончил полуторамесячный квест "автошкола". 26 января первый раз в жизни сел за руль, сегодня получил права. Так и живем.
Только что узнал про github.com
Мир никогда не будет таким как раньше, да.
Промежуточные итоги.
Могу поддержать беседу на немецком языке на довольно большое количество тем, начиная от рассказов о себе и заканчивая обсуждением последних новостей интересных мне областей знания. Остались некоторые пробелы в грамматике, кривом произношении и, разумеется, в словарном запасе.
С французским языком дела обстоят заметно хуже, видимо из-за недостаточной мотивации.
С остальными языками (итальянский, фарси, арабский) занимаюсь время от времени довольно нерегулярно. Судя по всему придется забить на некоторые из них, или как-то расставить приоритеты.
Такие дела.
robbertkrebbers.nl — Robbert Krebbers. The C standard formalized in Coq. PhD thesis. Radboud University Nijmegen
А есть ли у кого-нибудь "Modern Compiler Implementation in ML"? Хотел было полистать, но не смог нагуглить, лол.
Грамматика — мое слабое звено в немецком языке (внезапно, лол). Последние две недели интенсивных занятий прошли под девизом "ich möchte immer weinen", ибо некоторые места я вообще не понимал. Сегодня в очередной раз поговорил с носителем и понял что тащемта не все так плохо. Свой небольшой словарный запас научился комбинировать в довольно длинные сложноподчиненные предложения. Не всегда правильно, разумеется, но ящетаю что для трех-четырех месяцев самостоятельных занятий вполне годно. Такие дела, посоны. Bis bald!
Имеет место некоторый прогресс в изучении немецкого: могу довольно свободно говорить на некоторые повседневные темы, нейтивы меня прекрасно понимают и не делают особых замечаний в плане акцента (несмотря на то, что R я говорю дичайше криво). Базовая грамматика, благодаря брошюре "Deutsche Grammatik mit minschlichem Antlitz", стала более-менее понятна.
С французским несколько сложнее. Учил его когда-то начиная с детского сада и заканчивая классом восьмым или девятым, емнип. Не помню совершенно ничего. Решил вспомнить, и теперь могу правильно читать любой текст, абсолютно не понимая смысл) Во время занятий на italki для проработки произношения читаю преподу вслух Coq'Art.
Послушал этот ваш девзен про хаскель. Говно.
Блджад, надеюсь я смогу когда-нибудь запомнить как правильно пишутся слова "sechs" и "furchtbar", лол.
"В то время пока я собирался на ланч, мой ко-воркер Дейв окликнул меня". Дальше читать не стал.
habrahabr.ru
"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
На досуге принимаю участие в одной социальной движухе по коллективному изучению иностранных языков в этом вашем вконтакте. Вчера наткнулся на довольно годный сервис — memrise.com — флэш-карты для изучения лексики по целой куче тем, интервальные повторения, грамматика, дашборд с лидерами и прочие социальные плюшечки. Годно.