07:35:47 up 1 day, 19:43, 3 users, load average: 126,86, 126,81, 126,45
07:35:47 up 1 day, 19:43, 3 users, load average: 126,86, 126,81, 126,45
youtube.com — Опубликовали видосы с ICFP, например.
Могу поддержать беседу на немецком языке на довольно большое количество тем, начиная от рассказов о себе и заканчивая обсуждением последних новостей интересных мне областей знания. Остались некоторые пробелы в грамматике, кривом произношении и, разумеется, в словарном запасе.
С французским языком дела обстоят заметно хуже, видимо из-за недостаточной мотивации.
С остальными языками (итальянский, фарси, арабский) занимаюсь время от времени довольно нерегулярно. Судя по всему придется забить на некоторые из них, или как-то расставить приоритеты.
Такие дела.
robbertkrebbers.nl — Robbert Krebbers. The C standard formalized in Coq. PhD thesis. Radboud University Nijmegen
С французским несколько сложнее. Учил его когда-то начиная с детского сада и заканчивая классом восьмым или девятым, емнип. Не помню совершенно ничего. Решил вспомнить, и теперь могу правильно читать любой текст, абсолютно не понимая смысл) Во время занятий на italki для проработки произношения читаю преподу вслух Coq'Art.
Cassini, Igor Stravinsky and Maurits Cornelis Escher by announcing the
release of OCaml version 4.02.2"
sympa.inria.fr
memrise.com — флэш-карты для изучения лексики по целой куче тем, интервальные повторения, грамматика, дашборд с лидерами и прочие социальные плюшечки. Годно.
На досуге принимаю участие в одной социальной движухе по коллективному изучению иностранных языков в этом вашем вконтакте. Вчера наткнулся на довольно годный сервис —