?

Log in

No account? Create an account

[icon] 2017 - ПРИКЛАДНОЕ НЕБАНАНОВЕДЕНИЕ
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.

Tags:
Security:
Subject:2017
Time:01:38 am
Поговаривают, скоро март - можно уже и прошлый год обозреть эдакой вкратцей:

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

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

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

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

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

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


words_and_pix
Link:(Link)
Time:2018-02-28 06:12 pm (UTC)
Отличный получился год!
(Reply) (Thread)


clayrat
Link:(Link)
Time:2018-02-28 08:09 pm (UTC)
да, вродь ничо!
(Reply) (Parent) (Thread)

[icon] 2017 - ПРИКЛАДНОЕ НЕБАНАНОВЕДЕНИЕ
View:Recent Entries.
View:Archive.
View:Friends.
View:Profile.