← All posts tagged например

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

С французским несколько сложнее. Учил его когда-то начиная с детского сада и заканчивая классом восьмым или девятым, емнип. Не помню совершенно ничего. Решил вспомнить, и теперь могу правильно читать любой текст, абсолютно не понимая смысл) Во время занятий на italki для проработки произношения читаю преподу вслух Coq'Art.
ymn
например "Синтаксис — такая штука, которая отражает глубину погружения человека в предметную область. Самые недалёкие критикуют синтаксис комментариев в коде. Менее недалёкие критикуют сам синтаксис.
Кому же остаётся критиковать семантику языка программирования? Кому критиковать типизацию? В случае наличия зависимых типов, кто обосрёт по полной наличие/отсутствие автоматизации поставления доказательств? Кто расскажет про пользу/вред импредикативности Prop в Coq? Кто покритикует разницу в подходах к коиндукции в coq vs agda?
ТЫ!
Но не сейчас, наверное."

via coq@c.j.r
ymn
например заканчиваю оформлять презентацию к докладу про эрланг. буду рассказывать о том, почему он крошит всякие дотнеты и жабы. такие дела.