TOP

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-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 на OM
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 Неизвестная Миру Лямбда Кодировка с CPS Континуатором
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 сервер на Erlang за 30 минут
2010-11-02 Захуячим по быстрому стартап
2010-12-11 Рожденный в Шиоджири Ши
2010-12-22 Маха Гана Пати

2009

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