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