(большую часть дискуссии не читал, возможно не совсем о том ответил)

вероятностные тесты противоречат стабильности тестов: на этих тестах CI прошёл, а на следующих - нет, но не из-за последних изменений...

Они не учитывают "комбинаторного взрыва" а любой софт больше todolist с ним сталкивается.

Однако сам проперти бейзд подход нельзя недооценивать, в то же время мне ближе такая реализация  этого подхода

ну это не беда, не всегда ясно где начинать читать, так же как и в разработке искать баг, тот может закрасться на уровне идей а всплыть уже в реализации)) я начал читать отсюда

Вопрос в доказуемости правильности программы. Начните здесь: https://t.me/nodeua/62258

Agda, coq совсем не давность

в моем поле зрения на тот момент были языки до 1990 года, вообще при условии того что количество языков исчисяется тысячами сложно объективно ознакомится с каждым из них поэтому в поле зрения были максимально изветснтые такие как forth, lisp, smalltalk - у меня не было целью досконально ими овладеть, но наиболее понравился мне forth а от smalltalk мне очень понравились идеи Алана Кея, видео с которым где он их озвучивает не так просто найти но все же возможно. Для smalltalk написано огромадное количество библиотек которые к сожалению в большинстве остались там и заново переписаны в других языках

Уже не первый раз слышу про forth. Всем нравится (но я не пробовал)

а из лисповых что лучше - common lisp, scheme или clojure?

Лучше JavaScript - говорят что его создатель как раз вдохновился Lisp'ом

Привет всем.
Кто шарит в видео стриминге, можете посоветовать железо( желательно выделеные сервера) на каком лучше запустит стриминг?
Мб кто то знает профильный чатик

нвидии промышленные

Почему железо?
нужен правильный формат hls и через cloudfront стримить
готовый hls формат, s3 + cloudfront

Необходим еще транскодинг

а тобі для чого?

Aws Mediaconvert

для общего развития смотрю

я брав би lisp або clojure. оскільки із ліспом я вже грався, тому вибрав би clojure

racket или clojure

если сикп читаешь то проще будет с racket, тк код тот же самый, на clojure придется адаптировать немного