2017
Поговаривают, скоро март - можно уже и прошлый год обозреть эдакой вкратцей:
- Родился сын Даниил, как сообщил позднее реабилитолог (от гипертонуса брали) - stiprus, то бишь сильный.
- Купили авто. Выучился и сдал на права, всю зиму катаюсь. Жду схода льдов, чтобы пересесть на велик - опять 4 кг набрал. Ходил в бассейн, но перестал.
- Переехали на новую квартиру с видом на лесок.
- Сдал литовский на начальную категорию.
- Сгоняли в Таиланд покушать-погулять, немного позагорали в Паланге, был на Кровостоке в Берлине и немного в Варшаве. По вышеуказанной причине путешествовали мало.
- Примерно с апреля засел за Idris и сопутствующие ему завтипы. С тех пор портировал на него с Coq библиотеку индуктивных бинарных чисел (в т.ч. с вычетами), перевел несколько глав Software Foundations, поконтрибутил в проект с дженериками, начал осваивать SMT-солверы и тайплевел деревья. Планирую продолжать в том же духе.
- Родился сын Даниил, как сообщил позднее реабилитолог (от гипертонуса брали) - stiprus, то бишь сильный.
- Купили авто. Выучился и сдал на права, всю зиму катаюсь. Жду схода льдов, чтобы пересесть на велик - опять 4 кг набрал. Ходил в бассейн, но перестал.
- Переехали на новую квартиру с видом на лесок.
- Сдал литовский на начальную категорию.
- Сгоняли в Таиланд покушать-погулять, немного позагорали в Паланге, был на Кровостоке в Берлине и немного в Варшаве. По вышеуказанной причине путешествовали мало.
- Примерно с апреля засел за Idris и сопутствующие ему завтипы. С тех пор портировал на него с Coq библиотеку индуктивных бинарных чисел (в т.ч. с вычетами), перевел несколько глав Software Foundations, поконтрибутил в проект с дженериками, начал осваивать SMT-солверы и тайплевел деревья. Планирую продолжать в том же духе.