ect

2017

Поговаривают, скоро март - можно уже и прошлый год обозреть эдакой вкратцей:

- Родился сын Даниил, как сообщил позднее реабилитолог (от гипертонуса брали) - stiprus, то бишь сильный.

- Купили авто. Выучился и сдал на права, всю зиму катаюсь. Жду схода льдов, чтобы пересесть на велик - опять 4 кг набрал. Ходил в бассейн, но перестал.

- Переехали на новую квартиру с видом на лесок.

- Сдал литовский на начальную категорию.

- Сгоняли в Таиланд покушать-погулять, немного позагорали в Паланге, был на Кровостоке в Берлине и немного в Варшаве. По вышеуказанной причине путешествовали мало.

- Примерно с апреля засел за Idris и сопутствующие ему завтипы. С тех пор портировал на него с Coq библиотеку индуктивных бинарных чисел (в т.ч. с вычетами), перевел несколько глав Software Foundations, поконтрибутил в проект с дженериками, начал осваивать SMT-солверы и тайплевел деревья. Планирую продолжать в том же духе.
ect

2016

он же

путешествия и логистика
в основном по южной Европе

Каталоно-Валенсия

  • Сама Валенсия довольно компактна, в центре артефакты типа лоскутного собора и башни, изрешеченной французскими ядрами. Впечатлил главный рынок - чистота как на выставке. Средневековая шёлковая биржа рядом прикольная, хоть говорят и не совсем аутентичная. Ближе к окраинам начинается архитектурная кислота типа парка по дну бывшей реки или зданий-моллюсков "города Наук и Исскуств". Хорошо у людей с инженерной фантазией, в общем. Море далековато, фактически надо ехать за город в деревню на трамвае.

  • 50 км на запад внутрь материка, к югу от деревни Рекена, там где сливаяся шумят струи Арагви и Куры Кабриэля и Хукара, пейзажи обрывисты и живописны. Хайкать самое то. (На Рождество кстати распивали найденную в магазе бутылку сладкого производства Рекены)

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

  • Таррагона - бывшая римская столица Иберии, куча развалин, крутая средневековая катэдра, море, солнце, все дела. Зашли в какой-то специальный каталонский ресторан, в ответ на наши англо-испанские потуги хозяин долго орал по-каталонски, потом притащил нажористого риса с морепродуктами и вкусного вина, очень колоритно короче.

  • Барселону проскочили проездом, нажевались хамону.

Лиссабон и окрестности

  • Лиссабон большой и жаркий, выглядит не так печально как Порто. Всё кругом в мозаике, крутые подъемы и спуски. В последний вечер объелся крабами.

  • Белем - пригород, там одноименный узорчатый монастырь, башни в честь мореплавателей, полдня поразглядывать хорошо.

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

Восточное побережье Сицилии

  • Катания тоже большая и жаркая, но более вертикальная что ли архитектурно; как водится, остатки римских амфитеатров. Апробировал стейк из конины.

  • Рядом деревня Ачиреале с аж двумя соборами.

  • Таормина со своим заливом живописна донельзя, естественно забита туристами по уши.

  • Этна - ожидал более марсианских пейзажей после Тейде, но всё кругом ровно усыпано пеплом и щебнем от извержений, много мелких потуших кратеров. Точную карту составить нельзя, потому как пейзаж каждые полгода меняется. В общем вулкан активный, довольно драйвово.

  • Сиракузы - первый раз видел, чтобы центр города был вынесен на отдельный островок (вроде бы Венеция такая же). Гемютненько. За городом греческие раскопки - театр, пещеры.

Рим
аж 2 раза - командировка на CurryOn и отдельно с женой. Форум выкопан хорошо, ничего не скажешь (после конференции прямо в его уголке пьянствовали на фуршете), ходишь и воображаешь где тут какой сенатор восседал.

Немного покатались по Литве, больше всего запомнилась "энергетическая пирамида" с огромным стеклянным куполом в деревне Чесукай (недалеко от Друскининкая), привет из 90х

> нужно б сдать таки на права, снимать машины и кататься самим

работа и комплюктеры

  • третий год наскальная инфраструктура

    • в этом году гоняли flink, больше копались с monix


  • всё вожусь с вебнёй и purescript, тихо внедряю его в конторе проектиком по визуализации

  • смотрел курс по распределенным системам

> планов хватает: probabilistic programming, idris как выйдет 1.0+книжка, потрогать rust, ...

телесное

  • регулярно занялся жонглированием, наконец-то освоил "теннис" и еще пяток несложных трюков, стараюсь раз в месяц учить новый

  • с марта по декабрь ездил на велике

  • ко дню рождения обзавелся сувидницей

    • отличная штука для птицы, рыбы и яиц

    • хорошо выходят мясные стейки (хотя и так пока не удавалось серьезно запороть с гриль-сковородкой)

    • говорят, интересно получаются плотные овощи типа морковки-картофеля, но оказалось, икеевские пакеты выше 70°C не живут


> стоит возобновить плавание

лингвистика

  • сделал транслятор польского на двуестицу - стало понятнее, по приколу вставляю польские слова там-сям

  • записался и отходил уже 4 месяца на местные курсы литовского: язык в общем проще, чем кажется - грамматика близка, но словарь отличается

музыка

  • сходил на Аутекре

  • продолжаю регулярно выкладывать топы вконтакте, последние полгода не добираю до 10

> нужно регулярно заняться клавишами
tor

(no subject)

Куриные сердечки 3 часа в сувиде на 64 градуса весьма съедобны (впрочем, еще была 7-минутная дожарка), но выделяют массу жидкости, как грибы. Нужно будет попробовать сварить в ней что-нибудь на гарнир.
zuv

непослушание

Слово "независимость" по-литовски (nepriklausomybė) можно дословно перевести как "непослушание", от klausyti - "слушать/ся, подчиняться".
tor

I get it now


[12:52 AM] tel
in the 60s (?) the french school of algebraic geometry used a LOT of category theory, spurred on by Grothendieck
so the joke goes that an american is giving a talk in Paris on some very formal notion in number theory
but he’s really worried because he can’t speak French, the entire hall is clearly confused and lost, his presentation is failing
but then finally the head of the department perks up and goes “Oh, oh, class, I get it now. He’s just talking about the endo-strong functor on the sheaf of abelian grothendieck constructions over étale stacks!"
and the whole class visibly relaxes finally able to follow along
zuv

is


  • переместились семейством в Литву

  • профессионально всё та же бэкендная скала+девопсовщина, также чуточку реста и nosql

  • в начале года решил поугорать по Idris-у; план продолжать и в этом году, пока же отвлекся на...

  • фронтенд в виде Purescript: зайчатки DOMов и визуализации

    • ни капли/сантиметра рукописного js, но приходится мал-помалу вникать в ересь :(


  • обезврежены Чехия, Хорватия, Дания и Польша; командировался в Амстер на конфу

  • немножко походили на яхте по Канарам

  • сходил на Lightning Bolt

  • игрища: Hotline Miami 2, Binding of Isaac

  • больше чатов для бога чатов

Из явных минусов - слабая музыка и лингвистика, хоть в бытовом плане много тёрся о балтославянское.
  • Current Music
    Carlos Niño and Friends — Steh Auf, Zieh Mich Der Nach
  • Tags
mos

темпоральный зуй

Вычитал в стэнфордском справочнике слово mentalese.

Женская разновидность объективации - оценка всех через призму будущего родительства

Биология - наука об информации двух форм (обрабатываемой и активной)

Как компьютерные игры используют временную модальность в механике?

  • сама концепция save/load

  • механическое замедление/ускорение - в тактических аркадах

  • переход в пошаговый режим


  1. управляемый (вручную/триггером) - RPG

  2. фиксированные интервалы - тактические игры типа Frozen Synapse или Transistor


  • slomo


  1. как ресурс - в основном шутеры и аркады

  2. как параметр от управления - видел только в Superhot


  • перемотка/ветвление - популярно в платформерах типа Braid

  • interactive fiction: время субъективно, манипуляции с событиями (мета-обсуждение)

  • Current Music
    Thee Oh Sees – Turned Out Light
  • Tags