Size: a a a

2021 May 17

M(

MIT/Yardanico (alt) in ru.nim.talks
Ну говорю же, не было такого
источник

M(

MIT/Yardanico (alt) in ru.nim.talks
Я такое много раз делал конечно же
источник

A

Alexander in ru.nim.talks
nimsuggest иногда подвисает на CPU, но чтобы вот прямо так постоянно - не сталкивался
источник
2021 May 18

g

gavr in ru.nim.talks
Переслано от gavr
Provably correct software
Кажется я нашел где теперь живет Ada
https://www.adacore.com/sparkpro
источник

g

gavr in ru.nim.talks
Переслано от gavr
источник

g

gavr in ru.nim.talks
там не cpu а я так подозреваю оперативка
источник

A

Alexander in ru.nim.talks
сколько за такое платят сейчас?
источник

g

gavr in ru.nim.talks
хз,  там надо запрос отправлять чтоб узнать цену
источник

A

Alexander in ru.nim.talks
не, я в плане разработчику на этом
источник

g

gavr in ru.nim.talks
но мне и самому интересно, напоминает тот пример с nim Z3 но на стеройдах с поддержкой IDE и потоков для ловли рейсов
источник

g

gavr in ru.nim.talks
ну глянь там клиенты всякие спутники и поезда, видимо платят
источник

g

gavr in ru.nim.talks
может даже гос заказы \
источник

g

gavr in ru.nim.talks
хмм, а где взять drnim на arch, если токо в koch, то где взять koch, компилить?
источник

g

gavr in ru.nim.talks
хмм, походу рили из сурсов
источник

g

gavr in ru.nim.talks
источник

g

gavr in ru.nim.talks
что это вообще означает?
источник

M(

MIT/Yardanico (alt) in ru.nim.talks
Посмотри ошибку полностью)
источник

g

gavr in ru.nim.talks
источник

M(

MIT/Yardanico (alt) in ru.nim.talks
Ну вот ты и нашел ответ
источник

g

gavr in ru.nim.talks
следующая на следующей строке, или это она относится к предыдущей
источник