Giter Site home page Giter Site logo

active's Introduction

Афіліації

  • Релігійна організація «Лонгчен Нінгтік Україна» longchenpa.guru, Директор (2011)
  • Інститут формальної математики та філософії «Групоїд Інфініті» groupoid.space, Старший науковий дослідник (2017)
  • Видавництво «Аксіосис» axiosis.top, Головний редактор (2022)
  • ПриватБанк pb.ua, Архітектор (2015-2016)
  • Державна ІТ-компанія «ІНФОТЕХ» infotech.gov.ua, Провідний інженер-програміст (2019—2023)
  • Державна ІТ-компанія «Електронне здоров'я» ehealth.gov.ua, Старший системний аналітик (2024)

Авторські твори

  • Автор N2O.DEV n2o.dev (2013—2024) Перша телекомунікаційна система. Сайнерсі Україна
  • Автор ERP.UNO erp.uno (2005—2024) Перша державна система. ERP/1
  • Автор «Депозитів ПриватБанк» deposits.privatbank.ua (2015—2016)
  • Автор 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 5ht.co/be EM64T, ARM64, RISC-V, SH-4, MIPS, PowerPC, M68K, PDP-11
  • Автор повного ASN.1 DER компілятора в мову програмування Swift asn1.erp.uno DER, Swift, Elixir
  • Автор проєкту захищеного месенжера chat.erp.uno DER, Swift, Elixir
  • Автор FHIR сервера hl7.erp.uno Elixir

Книги та монографії

  1. ISBN: 978-1-62540-054-3 Ньондро Лонгчен Нінгтік
  2. ISBN: 978-617-8027-10-0 Безумний монах
  3. ISBN: 978-617-8027-23-1 Формальна філософія FP/1
  4. ISBN: 978-617-8027-27-8 Топовий програміст
  5. ISBN: 978-617-8027-08-7 Перша формальна система AXIO/1
  6. ISBN: 978-617-8027-23-0 Перша державна система ERP/1
  7. ISBN: 978-617-8027-07-0 Ідея Нації
  8. ISBN: 978-617-8027-23-1 Заповіт

Статті на нариси

  1. DOI: 10.13140/RG.2.2.27432.24327 Фреймворк для підприємств ISO 20922. 2013
  2. DOI: 10.13140/RG.2.2.20721.35682 Система управління процесами ISO 19510. 2015
  3. DOI: 10.13140/RG.2.2.34143.12963 Одноаксіоматична система верифікації ПЗ. 2017
  4. DOI: 10.13140/RG.2.2.25754.52169 Мінімальна система для вбудовування MLTT. 2018
  5. DOI: 10.13140/RG.2.2.19043.63523 Мова для квантових комп'ютерів PLQ. 2019
  6. DOI: 10.13140/RG.2.2.14010.47045 Модальна гомотопічна мова математики HTS. 2021

Розповсюдження

Шоб подивитися і оцінити що таке http://n2o.dev та http://erp.uno достатньо скачати http://5ht.co/synrc.sh, http://5ht.co/erpuno.sh і запустити їх! Для інших організацій: http://5ht.co/axisosis.sh, http://5ht.co/longchenpa.sh, http://5ht.co/groupoid.sh, http://5ht.co/asmedit.sh. Загалом, разом з .git папками треба звільнити на диску 4ГБ:

5HT@STELLAR:~/depot$ tree -L 1 .
.
├── asmedit
├── axiosis
├── erpuno
├── groupoid
├── longchenpa
└── synrc

6 directories, 0 files
5HT@STELLAR:~/depot$ du -hs ..
3,8G

Ліцензія

Всі мої твори видані під ліцензією DHARMA LICENSE

active's People

Contributors

221v avatar 5ht avatar ches avatar lol4t0 avatar m-2k avatar revent avatar vjorjo avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar  avatar  avatar

active's Issues

Erlang newbie help with active

I am using n2o for erlang web development and active is included in the rebar.config.

My current process.

Change a source file.
include the active app in the reltool,config.
Generate a release.
Run the web release from the erlang console to see the new changes when i go test on localhost site.
Change the source file again to see new changes reflected in web site. No luck

I must be doing something wrong because active is not working.

For experienced erlang web developers what do you do?

  1. Do you use a script to run the web app and it dependencies through the erlang shell.
  2. Do you need to run a release in order to debug and develop the web app?

Fail compilation (adding folder with erl file to FS, bundle mod)

=ERROR REPORT==== 7-Jan-2016::01:30:24 ===
** Generic server active terminating 
** Last message in was {<0.45.0>,
                        {fs,file_event},
                        {"/***/apps/app1/src",
                         [created,isdir]}}
** When Server state == {state,{event,"/***/apps/app2",
                                      [deleted,isdir],
                                      done},
                               "/***"}
** Reason for termination == 
** {function_clause,[{lists,last,[[]],[{file,"lists.erl"},{line,227}]},
                     {active,compile,2,
                             [{file,"/****/deps/active/src/active.erl"},
                              {line,84}]},
                     {active,handle_info,2,
                             [{file,"/****/deps/active/src/active.erl"},
                              {line,27}]},
                     {gen_server,try_dispatch,4,
                                 [{file,"gen_server.erl"},{line,615}]},
                     {gen_server,handle_msg,5,
                                 [{file,"gen_server.erl"},{line,681}]},
                     {proc_lib,init_p_do_apply,3,
                               [{file,"proc_lib.erl"},{line,239}]}]}

maybe need active:compile(App,[]) clause

ERROR during rebar3 dialyzer

On Mojave one may experience the following problem:

$ rebar3 dialyzer
===> Verifying dependencies...
===> Fetching fs ({git,"git://github.com/synrc/fs",{tag,"master"}})
===> Fetching pc ({pkg,<<"pc">>,<<"1.10.0">>})
===> Version cached at /Users/maxim/.cache/rebar3/hex/hexpm/packages/pc-1.10.0.tar is up to date, reusing it
===> Compiling pc
===> Fetching rebar3_hex ({pkg,<<"rebar3_hex">>,<<"6.4.0">>})
===> Version cached at /Users/maxim/.cache/rebar3/hex/hexpm/packages/rebar3_hex-6.4.0.tar is up to date, reusing it
===> Compiling rebar3_hex
===> Compiling fs
===> Compiling /Users/maxim/depot/synrc/active/_build/default/lib/fs/c_src/mac/cli.c
===> /Users/maxim/depot/synrc/active/_build/default/lib/fs/c_src/mac/cli.c:1:10: fatal error: 'getopt.h' file not found
#include <getopt.h>
         ^~~~~~~~~~
1 error generated.

fails to sync code on the fly in windows

While it seems that when a source file is modified, mad is sensing it and is doing the compilation:

1> ==> "sample"
1> ==> "d:/AppsDev/Erlang/n2o/myapps"
1> ==> "d:/AppsDev/Erlang/n2o/myapps/apps"
1> ==> "d:/AppsDev/Erlang/n2o/myapps/apps/sample"
1> Compiling d/apps/sample/src/index.erl
1> ==> "sample"
1> ==> "d:/AppsDev/Erlang/n2o/myapps"
1> ==> "d:/AppsDev/Erlang/n2o/myapps/apps"
1> ==> "d:/AppsDev/Erlang/n2o/myapps/apps/sample"
1>

it actually doesn't load the new changed code. For example, if you have a page, say index and you change anything in index.erl ( e.g. some text in the body of a button in fun/0 body() ) and you press refresh (F5) in the browser you still get the old page.
The only solution in order to get the new page is to press Ctrl+C for repl termination and run "mad plan repl" again.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.