Nick YurchenkoЗаметки на полях по поводу истории принципа суверенитетаСуверенитет — высшая власть на некоторой территории. (https://plato.stanford.edu/entries/sovereignty/)7 min read·Jan 8, 2019----
Nick YurchenkoГуманізм. Розвиток поняття.Моє невелике дослідження розвитку цього явища, розроблене в рамках курсу з етики. Коли я сдавав цю роботу, мав великі сумніви щодо…20 min read·Jan 8, 2019----
Nick YurchenkoДоказательства как глобальная проблема современностиНе так давно у меня было задание, описать какую то глобальную проблему современного мира. Все знают, что утрата общего консенсуса, всебщее…3 min read·Jan 8, 2019----
Nick YurchenkoПолитическая философия Джона ЛоккаМне плевать на всех, графоманю где хочу. В частности, буду хранить тут свою контрошу по философии.11 min read·Oct 24, 2017----
Nick YurchenkoПульт ДУ (Haskell + Arduino)Проблема: я хочу переключать музыку, которую играет mplayer лежа на диване. Имеется: компьютер под NixOS, Arduino, макетка, три провода…2 min read·Oct 19, 2017----
Nick YurchenkoРазбор ошибок очередного недоперевода с Хабры. Теоретики наносят ответный удар.К безустальной борьбе за чистоту языка будь готов! @ Дитмар Эльяшевич Розенталь2 min read·Aug 20, 2017----
Nick YurchenkoФормализуем изоморфизм Карри-Говарда на AgdaПрограммируем с зависимыми типами на русском. На самом деле там совсем небольшой фрагмент реализован, чисто посмотреть. Сначала сделал…1 min read·Jul 21, 2017----
Nick YurchenkoОбзор на “Не вполне наивную теорию множеств” Н. А. ВавиловаКнига у Вавилова хорошая, задорная, простая и очень стильная (всмысле что стиля в ней много).2 min read·May 22, 2017----
Nick YurchenkoПро F-АлгебрыПытаюсь тут понять суть сабжа. Мотивейшон: F-Алгебры — это основа для понимания recursion-schemes.6 min read·Mar 14, 2017----