2024

2024-02-18 ISO/HL7 FHIR: Валідація

2023

2023-02-01 FormalTalk: Synrc ERP/1 Compiler
2023-02-12 Марки України
2023-03-06 Salesforce Apex vs Synrc FormalTalk
2023-03-07 Три роки в МВС
2023-03-19 Тужила скрипка
2023-03-26 Вступ в Йогачару
2023-04-02 Формальна Йогачара
2023-04-04 Суперпростір
2023-04-05 Абелеві категорії
2023-04-07 Чотири глибини
2023-04-12 Лонгчен Рабджам Г'ялпо
2023-04-30 Чиста математика
2023-05-15 Хто Я?
2022-05-12 Формальна філософія
2022-05-17 Безумний монах
2023-05-19 Marvel Movies
2023-05-30 BeOS
2023-05-30 NetBSD
2023-05-30 TRON
2023-05-31 BSD
2023-06-05 ASUS W790 PRO
2023-06-05 Космополітизм
2023-06-05 Муар
2023-06-07 Поради людини
2023-06-17 Повернись Живим
2023-06-30 CHAT X.509
2023-06-22 CHAT Месенжер
2023-07-05 CMS X.894 S/MIME
2023-07-16 CMS Compliance
2023-07-20 LDAP Compliance
2023-07-21 CA CMP CMC EST
2023-07-27 CHAT MLS
2023-08-05 CA CURVE
2023-08-07 CHAT ASN.1
2023-08-08 ASN.1 Компілятор
2023-08-09 CHAT Слайди
2023-08-10 CHAT Техзавдання
2023-08-10 CHAT Публікації
2023-08-11 ITU X Series
2023-08-12 MAIL X.420
2023-08-13 SWIFT X.509
2023-08-15 CHAT Технопроєкт
2023-09-01 ASN1.EX X.680
2023-09-07 Криптоніт
2023-09-16 Dave Cutler
2023-09-25 Formal Tensor
2023-09-28 GEMM AVX512
2023-11-02 2200
2023-11-15 А ви?
2023-11-26 ОВВ України
2023-11-30 MoD
2023-12-11 MoES

2022

2022-01-17 Anders: верификатор математики
2022-02-27 Why you should ban Great Russian Culture
2022-03-10 Архітектура Російського Фашизму
2022-03-11 Киевская Русь в огне
2022-03-13 Вирішальна порада
2022-03-15 Бібліотека Групоїд Інфініті
2022-03-15 Github supports Russian Fascism
2022-03-18 Дорога до Вишневого
2022-03-22 Архітектор Олег Сохацький
2022-03-23 Глобальна Культурна Денонсація
2022-04-02 Як робити сайти для воєнного часу
2022-04-06 Оновлена DHARMA Ліцензія 2.0 на мої твори
2022-04-10 Russian War against Groupoid Infinity
2022-05-03 Quadstellar X299
2022-06-06 BE: InfoSec редактор
2022-06-07 XT: 8086 дизасемблер
2022-06-11 ARM64: Armv9.2 Дизасемблер
2022-06-21 Сад націй
2022-06-23 Я собака Азову
2022-06-24 Океан Сідхів
2022-06-25 Saga Dawa
2022-06-27 Буква свічечка
2022-07-04 Гнів Українців
2022-07-16 Мета Держави
2022-08-01 Ваджрні рядки
2022-08-03 Прокльони
2022-08-06 Just One Question
2022-08-10 Последняя лекция
2022-08-16 Розмова з онукою
2022-09-15 Малороси
2022-09-18 Ідея Нації ꑭ
2022-09-22 Топовий програміст ⊤
2022-09-22 Видавництво «Аксіосис»
2022-09-30 УДК 8
2022-10-01 УДК 0
2022-10-01 УДК 1
2022-10-01 УДК 7
2022-10-14 Покрова
2022-10-25 УДК 6
2022-11-01 Формальна постановка задачі
2022-11-17 Структура веб-фреймворків
2022-11-23 Сохацький Еротей Григорович
2022-11-24 Про математиків
2022-12-06 Quake
2022-12-24 Лі ❤

2021

2021-01-04 F# WebSocket Server
2021-02-13 Ski
2021-02-17 Testimonial
2021-03-15 CRKBD
2021-04-30 Метафілософія
2021-08-09 TWAIN 2
2021-09-01 Топовый программист #5
2021-10-13 Прикладна математика
2021-11-26 Ролаут N2O 2022
2021-11-26 MiniDisc колекція
2021-12-23 Аудио

2020

2020-01-08 Ролаут N2O 2020
2020-02-03 Кваліфікований Електронний Підпис
2020-03-18 Грандиозная теорема
2020-03-24 Modal Homotopy Type Theory
2020-04-23 Лестница в HoTT
2020-04-26 УДК 51
2020-04-27 Высшая математика
2020-04-27 Логика
2020-04-28 Алгебраическая топология
2020-04-28 Дифференциальная геометрия
2020-05-03 Модельні категорії
2020-05-26 Smalltalk-80
2020-06-10 Tristellar Z370
2020-07-22 Топовый программист #1
2020-07-23 Топовый программист #2
2020-08-20 Топовый программист #3
2020-09-02 Коллекция компьютеров
2020-09-13 Процессоры Intel
2020-10-10 FPGA археологія
2020-10-23 Инициальность MLTT
2020-10-30 NITRO TABLE
2020-12-03 Топовый программист #4
2020-12-31 PHP

2019

2019-01-01 Плани на рік
2019-01-04 Кодировка Эндофункторами
2019-01-06 Послание хейтерам
2019-01-09 Lean Forward 2019
2019-01-23 Формальная Философия для всех
2019-02-04 Parity
2019-02-13 Новая версия XIO
2019-02-22 Профессия Архитектора
2019-03-07 Новая версия FORMS
2019-03-16 Geometry in Modal HoTT
2019-04-11 Новая версия BPE
2019-04-13 Новая версия KVS
2019-05-08 Microsoft Terminal
2019-05-13 C++/WinRT AA64
2019-05-18 Lumia 950 Windows 10
2019-05-22 RP3B+ WoA
2019-05-27 Voxoz Hypervisor
2019-06-06 ARM64
2019-06-09 A64 Assembler
2019-06-10 N2O MIX
2019-06-19 BPE MIX
2019-06-21 Новые версии PLM и FIN
2019-06-30 Частмна 1. Вступ
2019-07-01 Частина 2. Загальна структура
2019-07-08 Частина 3. Ланцюжки
2019-07-08 Частина 4. Адмін. ланцюжків
2019-07-09 Частина 5. Адмін. процесів
2019-07-17 Частина 6. Структура PLM
2019-07-19 Частина 7. Публікація в GCP
2019-07-24 Спектральный анализ психофизического расслоения
2019-07-31 N2O FAQ
2019-08-05 Pattern Matching Compilation
2019-08-13 SYNRC PACK
2019-09-03 Енциклопедія Мов Програмування
2019-09-17 Этика
2019-09-26 Планировщик бизнес-процессов
2019-10-03 Бриф
2019-10-09 NITRO UI

2018

2018-06-08 Towards Инфинити Категории
2018-06-08 Построение категорий от Set до Инфинити!
2018-06-08 Расслоенное пространство конструктивно равно Пи!
2018-06-08 Расширения Кана
2018-06-09 Cohesive Type Theory
2018-06-09 Many Faces of Univalence
2018-06-09 Формальная модель MLTT встроенная в теорию типов
2018-06-09 Гомотопические (Ко)-Лимиты
2018-06-10 Дисер Феликса Веллена
2018-06-10 Категорная Семантика Зависимых Типов
2018-06-14 Cartesian Cubical Type Theory
2018-06-14 Импредикативные кодировки индуктивных типов в HoTT
2018-06-29 Хроматична Теорія Гомотопій
2018-09-13 Формальна Філософія 1
2018-09-23 Формальна Філософія 2
2018-09-27 Формалізація Буддизму
2018-09-29 Модальности в связаном Топосе
2018-10-22 Новый ролаут N2O
2018-11-13 Новая версия KVS
2018-11-13 Новая версия MAD
2018-11-13 Новая версия REVIEW
2018-11-30 Ошечки
2018-12-29 Кубики

2017

2017-01-01 O-CPS SPEC
2017-01-10 Safe and Static Methods for Memory Management
2017-01-12 Дефорестизационные Интерпретаторы O2
2017-01-15 Так мы программисты видим современную философию
2017-01-16 Генерация AVX mm256_mul_pd
2017-01-17 Pony vs O-CPS
2017-02-13 Личинка Тополога
2017-02-14 Запретить коммутативные объекты
2017-02-16 Coq.io Effect System
2017-02-16 Coq.io
2017-02-17 DOS Path Normalization
2017-02-18 Топология на 10 LOC. Определение
2017-02-19 O-CPS +AVX2
2017-02-20 Coq Minimal Emacs Setup
2017-02-21 CoFixpoint Extraction
2017-02-22 CoFixpoint Extraction REPL Prototype Zero
2017-02-23 Actario A Framework for Reasoning About Actor Systems
2017-02-24 Новое увлечение Алкотрейдинг
2017-02-24 Рантайм библиотека на Coq
2017-02-26 Домашка по Алкотрейдингу
2017-02-27 Домашка по Топологии
2017-03-01 KVS — DSL для Алкотрейдинга!
2017-03-11 Author meets N2O
2017-03-12 HKT in Rust
2017-03-12 Retrofitting Linear Types
2017-03-12 リアルタイムWebフレームワーク、N2Oを使ってみる
2017-03-13 Идея для дисера, дарю!
2017-03-14 Natural Deduction in MLTT
2017-03-16 HoTT на 1 странице
2017-03-24 Cubical Type Theory in a Topos
2017-03-29 Групоид Инфинити открывает свой репозиторий Coq пакетов
2017-04-13 Кто-то рассказывал, что Standard ML мертв
2017-04-17 Пронумеруем типы и их значения
2017-04-18 Compiling to Categories
2017-04-19 N2O over MQTT + KVS
2017-04-24 Quelea
2017-04-27 N2O MQTT version
2017-06-24 Свисс Эмоушинс
2017-08-04 Swift Model Generator from Erlang Types
2017-10-28 Pure Sigma
2017-10-31 Доказательство коммутативности в кубике
2017-11-07 Cubical Parser in Erlang

2016

2016-01-10 Vector
2016-01-14 Чистейше возможный язык
2016-01-16 Lean External Network Term Format
2016-01-18 Om presentation in Cloudozer HQ
2016-01-20 CPL
2016-01-23 WebSockets
2016-01-24 Деньги, Женщины, Дети и Программирование
2016-01-29 PhoenixFramework vs N2O
2016-01-30 Лонгчен Рабджам. Полный набор инструкций для поведения в Бардо
2016-02-12 Пропускная способность индукции
2016-02-12 Космический Куб
2016-02-15 Natural Encoding of the Inner Space
2016-02-19 Skynet
2016-02-25 Новости кодогенерации Exe
2016-03-01 Можно пробовать N2O.hs на Маке
2016-03-11 OM Lambda Assembler
2016-03-13 IO
2016-03-17 Битва зависимых элиминаторов Bool
2016-03-19 Hello World на Henk
2016-03-19 Пропозишинал равенства написанные на OM
2016-03-20 Мотивация HOL
2016-03-25 Страх и ненависть в Групоиде
2016-03-29 KVS intro
2016-04-03 LING попал в Реанимацию
2016-05-02 Андрей Бауэр тоже за минимальные ядра
2016-05-03 Орнаменты
2016-05-07 Erlang Killer Apps
2016-05-08 Немного Мадхьямики в MLTT сеттинге
2016-08-06 Respect Proper Proof of Setoid Cat
2016-08-09 Школи Лямбди
2016-08-23 FAQ 2 по Groupoid Infinity
2016-08-25 EXE Colored REPL
2016-08-29 Священный показатель LOC
2016-09-04 ADM вебсокет дашборд
2016-09-23 LUA.EFI
2016-09-23 N2O + PHP = ♡
2016-09-23 Состояние EFI в 2016
2016-09-24 KVS STREAMS
2016-09-27 Filesystems for SSD
2016-10-16 OM in Rust
2016-10-25 RUST. Энтерпрайз Эдишин
2016-11-15 Rust
2016-11-15 О-CPS Интерпретатор
2016-11-15 Векторный DSL
2016-11-16 Блокчейн для формальных теорий
2016-11-25 Лямбда Калкулус на Стримах
2016-11-29 Архитектура К-подобного языка и его операционной среды
2016-11-29 Лямбда Кодування
2016-12-02 CPS Interpreter in Rust Language
2016-12-06 Сферические факториалы
2016-12-13 Замена Heap на преалоцированный Vec + Lifetime переменные
2016-12-21 Аккерман на О
2016-12-24 Language Tiers
2016-12-27 Аккерман в L1
2016-12-29 Lambda Term Exponential Explosion
2016-12-30 Нашел на гистах
2016-12-30 Последний гвоздь в гроб Хаскеля и C++ в этом году!

2015

2015-02-02 Bitset nature of Erlang guards
2015-03-02 TCPKALI meets N2O
2015-03-17 Работа по CR идет RAFTER is on
2015-03-19 VNODE ring
2015-03-30 CR latency measurement
2015-04-03 Breaking News LING Erlang Virtual Machine on Mac OS X is coming
2015-04-15 Система оценивания сложности программного обеспечения
2015-05-03 LING MIPS and POSIX ports
2015-05-05 LING Bootstrap
2015-05-13 Extended Wylie Tibetan Script EWTS UTF-8 Converter
2015-05-15 Statically typed LLVM-based modern functional language compiler
2015-09-16 GT.M
2015-09-22 N2O Binary File Transfer Protocol
2015-10-16 Pipeline Basic 100 LOC
2015-11-03 Алгебры процессов
2015-12-22 Om Lambda Assembler
2015-12-25 Bringing Lambda Cube to Erlang

2014

2014-06-10 N2O and SVG
2014-08-22 Эрланг Курсы Киев ОСЕНЬ 2014
2014-09-12 Card Processing DSL
2014-09-12 Паттерн матчинг revised
2014-09-23 UPL Derivatives
2014-09-29 Scala 2PC DTC XA
2014-09-29 Версионирование схем в KVS
2014-10-20 Workflow Engine in Erlang
2014-11-07 Erlang Курсы 2014 Киев
2014-12-17 Leader Election provable in NuPRL
2014-12-20 Готовлю задачки по лямбде

2013

2013-01-10 Erlang Haskell OCaml 23K socket conns на i7640M
2013-01-22 Type-Indexed Value-independed Tagless Type Representation in ML with GADT and Generics
2013-01-22 Полиморфизм параметров в OCaml
2013-01-25 Курс Программирования
2013-02-28 Suck and Blow
2013-03-04 Бампинг Мандельброта в 96 байт для FPU
2013-03-04 Стаффчик из Демосцены
2013-03-21 Erlang Курсы 2013 Киев средина апреля
2013-05-08 N2O как пользоватся REST
2013-05-08 N2O поддержка кастомных темплейтеров
2013-05-11 The problem with legacy Nitrogen codebase
2013-07-03 Continuous Integration сервер на Эрланг за 30 минут
2013-07-12 Модель Легковесных Виртуальных Машин
2013-07-19 Skyline on Xen Milestone
2013-07-20 Erlang 30 minutes series Disclaimer
2013-07-20 Erlang Metaprogramming Real Practice
2013-07-29 Erlang with Types
2013-08-07 Erlang Extraction Language for Coq
2013-08-24 GC
2013-09-06 Поддержка Unicode в Эрланг
2013-09-15 Erlang JavaScript Parse Transform
2013-09-19 Coq Best Macro-Assembler
2013-10-07 Lisp on BEAM. Сравнение подходов реализации
2013-10-08 N2O Pages in JOXA
2013-10-23 N2O Pages in Elixir
2013-11-23 Поиск в FAR, призываются разработчики
2013-12-01 ev.il

2012

2012-05-03 Будда
2012-05-03 Мышление
2012-05-12 Молитва Намкаю Норбу
2012-05-12 Молитва сердечной связи к Милосердному Коренному Учителю
2012-05-28 Erlang
2012-06-12 Мастера сущностной линии Дзогчен
2012-06-13 Цикл Лекций
2012-06-22 Ленивый ML с pi-calculus в 26КБ
2012-07-31 Миндроллинг 2
2012-08-05 Миндроллинг 1
2012-08-29 Страх перед накоплением НК
2012-09-02 Молитва Мастерам Линии Передачи Лонгчен Ньингтик
2012-10-08 Как написать свой маленький Фейсбук

2011

2011-07-12 Как правильно петь Песню Ваджра
2011-07-18 Последние слова Видьядхар TB.353
2011-08-17 Эндокринная система
2011-09-21 Лонгченпа о хромосомах
2011-12-16 Філософські школи Буддизму

2010

2010-01-01 Божественно
2010-02-01 Маші ❤
2010-04-07 Собрание Тантр Древних
2010-05-07 Перевод Тантр Дзогчен -- это просто
2010-07-06 Туммо
2010-07-12 Махайога и Пять Семейств
2010-07-20 Алфавит Уддияны
2010-07-29 rdo rje snying po kyi kun gzhi nyams
2010-08-05 Дзогчен термінологія
2010-08-10 Герб Сохацьких
2010-09-14 erlydir
2010-10-04 Erlang wbxml library
2010-10-08 Erlang http server and xml library
2010-10-09 Erlang SyncML server
2010-10-18 LDAP
2010-11-02 Захуячим по быстрому стартап
2010-12-11 Рожденный в Шиоджири Ши
2010-12-22 Маха Гана Пати

2009

2009-05-21 Аксиоматики
2009-05-22 Аксиоматика числа
2009-05-22 Аксиоматика логики
2009-05-22 Аксиоматика множеств
2009-05-22 Аксиоматика пространства
2009-09-14 Игры с семантикой