| Tweetovi |
|
Namdak Tonpa
@5HT
|
4 h |
|
Just used saxy and stream_data by Jose. It's really neat and fast!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
19 h |
|
Dear @ops_city, we need Erlang!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
6. velj |
|
дип дайв инту ватолоджи!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
6. velj |
|
|
||
|
Namdak Tonpa
@5HT
|
6. velj |
|
Хочу затестить монокапсулу в монохабе
monohub.space
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
5. velj |
|
В будущем у всех будет КЕП ключ и прямо ним можно будет подписывать все сообщения в нашей СЕД!
facebook.com/permalink.php?…
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
5. velj |
|
В следующем месяце, в марте, я ебану чистую модификацию ДСТУ-4145 на голом Эрланге, ака модифицированный ANSI X9.62. В опен соурс естественно!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
5. velj |
|
В этот месяц планирую плодотворно поработать!
Прокрастинация закончилась!
Рывок в сингулярность!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
5. velj |
|
Interacting with snapd is not yet supported on Windows Subsystem for Linux.
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Первый поворот колеса Дхармы!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Там лекции Эводи по теоркату, гг.
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
В Шарже!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Хотел добавить, что это нормальный минималистичный, без скалази проект, не та хуйня что писал ранее!!!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
This is not. This is optimal lambda evaluator that draws us such strange interaction network combinators. If you want to dive more, please look onto Cidele, Formality. This is also compatible as a core evaluator for linear types, and for sure dependent types.
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Кто хочет на Скала пописать в ДП Инфотех? Плей, Постгрес, бекенд-сервис для службы 112.
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Уже вижу документооборот для Моссада на ERP.UNO!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Есть также кошерная версия! n2o.dev/il/ pic.twitter.com/grEUADNuBv
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Остановился на таком наборе OpenMoji pic.twitter.com/5qh4yQO04P
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
4. velj |
|
Возникла идея написать верификацию ДСТУ 4145 на чистом Эрланге без всяких NIF-ов!
|
||
|
|
||
|
Namdak Tonpa
@5HT
|
3. velj |
|
Вот я добавил в N2O AES GCM если что там можно профексов докинуть еще:
github.com/synrc/n2o/blob…
|
||
|
|
||