Y💜
У тебя условие 10+1
Size: a a a
2021 May 25
DL
Тогда скобки расставь чтоб к 10 всегда добавлялось что то
VS
https://developer.mozilla.org/ru/docs/Web/JavaScript/Reference/Operators/Operator_Precedence
в додавання пріорітет 13 в умови 4
все, всім дякую)
в додавання пріорітет 13 в умови 4
все, всім дякую)
2021 May 26
RC
Привіт, пиляємо апку яка стосується
оцифрування памяті про людей.
QR коди на могили, при скані яких видається інфа про людину
оцифрування памяті про людей.
QR коди на могили, при скані яких видається інфа про людину
RC
що думаєте?
VK
Сгенерить qr код может любой желающий, нанести qr лазером тоже не проблема, суть приложения- это максимум 10 контроллеров с авторизацией, размещением/редактированием и удалением инфу
VK
Мое мнение- не взлетит
VK
Родственники и так знают о человеке все, что нужно, а кому-то другому- это вряд ли будет интересно
A
Скiке бабла вже напиляли?
DL
Такое уже есть
DL
И чето никто не пользуется..
Р
Всем привет! Приложение на node.js возможно формально верифицировать?
https://habr.com/ru/news/t/559262/
https://habr.com/ru/news/t/559262/
Р
а можно поподробнее?
IK
Мне кажется для этого вам стоит чуть глубже чем статью хабра почитать про формальную верификацию систем
Д
Мне кажется если есть желание формально верифицировать приложения, то проще писать их на хаскеле или скале дабы была адекватная система типов
Хотя чисто в теории можно писать ноджс приложение на пьюрскрипте 🙂
Хотя чисто в теории можно писать ноджс приложение на пьюрскрипте 🙂
АП
на coq или idris, у них есть встроенные средства автоматического доказательства
IK
+1 за idris
Д
К сожалентю первый сам является системой верификации и не слышал что бы на нем писали приложения
А идрис вроде бы не продакшн реди(
А идрис вроде бы не продакшн реди(
Д
А вообще идрис вроде бы уммеет компилиться в жс