Copyright © Namdak Tonpa
Permission to use, copy, modify, and/or distribute this software
for any purpose with or without fee is hereby granted, provided
that the above copyright notice and this permission notice appear in all copies.
YOU CANNOT USE THIS SOFTWARE IN ANY (PROVABLE BY MONEY TRACE)
PROCESS CHAIN OF EXTERMINATING UKRAINIANS BY ANY MEANS
OF FASCIST ACTIONS AGAINST OUR TERRITORIAL INTEGRITY,
CULTURAL DIVERSITY BY APPLYING MILITARY INVASIONS,
ECONOMICAL WARS, HUMANITARIAN DISASTERS, ARTFICIAL HOLODOMORS,
GENOCIDE, RAPING, LOOTING, ROBBERIES, SPREADING FAKE INFORMATION,
AND OTHER CONTEMPORARY WEAPONS OF WAR AT SCALE OR IN INVIDIVUAL MANNER.
𝗦𝗧𝗢𝗣 𝗞𝗜𝗟𝗟𝗜𝗡𝗚 𝗨𝗞𝗥𝗔𝗜𝗡𝗜𝗔𝗡𝗦, 𝗧𝗛𝗘 𝗖𝗢𝗨𝗡𝗧𝗘𝗥 𝗥𝗘𝗡𝗗𝗘𝗥𝗦 𝗧𝗘𝗡𝗦 𝗢𝗙 𝗠𝗜𝗟𝗟𝗜𝗢𝗡𝗦.
YOU CANNOT USE THIS SOFTWARE BY ANY MEANS IN INTEREST OF LEGAL
ENTITIES OR INDIVIDUALS WHO IS SUPPORTING NOW OR WAS SUPPORTING
BACK THEN FASCISM, RUSCISM, COMMUNISM, CHAUVINISM, HUMILIATION,
AND OTHER SUPPRESSIVE IDEOLOGIES IN DIFFERENT EXPRESSIONS.
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
- Архітектурна компанія Максима Сохацького «SYNRC» synrc.com, Технічний директор (2005—2026)
- Релігійна організація «Лонгчен Нінгтік Україна» longchenpa.guru, Директор (2011—2026)
- Інститут формальної математики та філософії «Групоїд Інфініті» groupoid.space, Старший науковий дослідник (2017)
- Видавництво «Аксіосис» axiosis.top, Головний редактор (2022—2026)
- ПриватБанк pb.ua, Архітектор (2015-2016)
- Державна ІТ-компанія «ІНФОТЕХ» infotech.gov.ua, Провідний інженер-програміст (2019—2023)
- Державна ІТ-компанія «Електронне здоров'я» ehealth.gov.ua, Керівник відділу системного аналізу (2024—2026)
- Автор N2O.DEV n2o.dev (2013—2026) Телесистеми Сохацького. SYNRC
- Автор ERP.UNO erp.uno (2005—2026) Системи Електронного Урядування. ERP/1
- Автор «Депозитів ПриватБанк» deposits.privatbank.ua (2015—2016)
- Автор системи з однією аксіомою henk.groupoid.space (2015)
- Автор SMP/AMP операційної системи та APL мови програмування для HFT трейдингу platform.rs (2016—2017)
- Автор першої формальної системи axio.groupoid.space (2017—2019)
- Автор «МІА: Документообіг» МВС України crm.erp.uno (2019—2022) CRM, X.509 система
- Автор модальної гомотопічної системи доведення теорем «Андерс» anders.groupoid.space (2021—2022)
- Автор інтерактивного дизасемблера BE be.5ht.co EM64T, ARM64, RISC-V, SH-4, MIPS, PowerPC, M68K, PDP-11 (2022)
- Автор філателістичного архіву Укрпошти 5ht.cx.ua (2023)
- Автор повного ASN.1 DER компілятора в мову програмування Swift asn1.n2o.dev DER, Swift, Elixir (2023)
- Автор проєкту захищеного месенжера x509.chat DER, Swift, Elixir (2023)
- Автор FHIR сервера hl7.erp.uno (2023)
- Автор PKI X.509 сервера Authority ca.n2o.dev (2024)
- Автор ретро-енциклопедії «Компіки Сохацького» computer.5ht.co (2019—2025)
- Автор Sokhatsky Commander sc.5ht.co (2025)
- Автор тактичного прувера для матаналізу «Лоран» laurent.groupoid.space (2025)
- Автор прувера для квантової мови TED-K «Урс» urs.groupoid.space (2025)
- Автор періодичного видання «Групоїд Інфініті» (звіт результатів) groupoid.space (2025)
- Автор тактичного протоколу Link32 і референсної імплементації Skynet bitedits.github.io/skynet (2025)
- Автор операційної системи для дронів Skynet RT bitedits.github.io/rt (2025)
- Автор мінімальної індуктивної системи Frank frank.groupoid.space (2025)
- Автор тактичної системи доведення теорем Christine christine.groupoid.space (2025)
- ISBN: 978-1-62540-054-3 Ньондро Лонгчен Нінгтік
- ISBN: 978-617-8027-10-0 Божевільний монах
- ISBN: 978-617-8027-23-1 Формальна філософія FP/1
- ISBN: 978-617-8027-27-8 Топовий програміст
- ISBN: 978-617-8027-08-7 Перша формальна система AXIO/1
- ISBN: 978-617-8027-23-0 Перша державна система ERP/1
- ISBN: 978-617-8027-07-0 Ідея Нації
- ISBN: 978-617-8027-23-1 Заповіт
- DOI: 10.13140/RG.2.2.27432.24327 Фреймворк для підприємств ISO 20922. 2013
- DOI: 10.13140/RG.2.2.20721.35682 Система управління процесами ISO 19510. 2015
- DOI: 10.13140/RG.2.2.34143.12963 Одноаксіоматична система верифікації ПЗ. 2017
- DOI: 10.13140/RG.2.2.25754.52169 Мінімальна система для вбудовування MLTT. 2018
- DOI: 10.13140/RG.2.2.19043.63523 Мова для квантових комп'ютерів PLQ. 2019
- DOI: 10.13140/RG.2.2.14010.47045 Модальна гомотопічна мова математики HTS. 2021
5HT@STELLAR:~/depot$ tree -L 1 .
.
├── synrc
├── erpuno
├── bitedits
├── zencrypted
├── groupoid
├── longchenpa
└── axiosis
7 directories, 0 files
5HT@STELLAR:~/depot$ du -hs ..
3,8G
Всі мої твори видані під ліцензією DHARMA LICENSE