𝛈µ
Давай вначале формальное определение - что значит "не падает", что значит "высокая нагрузка" и что значит "веб-сервер"
Size: a a a
2020 July 15
AK
хорошо что я когда-то очень давно между кложей и скалой выбрал кложу, стратегически верное решение
Хз. Кложа, конечно, приятнее, но стратегически пофиг.
AR
на самом деле до ебнуть кувалдой можно не доходить. твой софт запускается на ОС, которые не формально верефицирован, на сетевом стеке, который формально не верефицирован, на железе, которое формально не верефицировано. и все это сожержит баги
p
Если для тебя это отличный пример - тебе надо голову в порядок привести
да что такое агрессивное поведение ..
AR
по cpu не надо ебать молотком, чтобы словить баг cpu, ОНИ ТАМ И ТАК ЕСТЬ
MB
Давай вначале формальное определение - что значит "не падает", что значит "высокая нагрузка" и что значит "веб-сервер"
"не падает" - продолжает отвечать на реквесты (хоть 404 пусть отдает)
"высокая нагрузка" - пусть будет 100к реквестов в секунду
"веб-сервер" - определенная железяка и программа, которая на ней работает и сервит реквесты
"высокая нагрузка" - пусть будет 100к реквестов в секунду
"веб-сервер" - определенная железяка и программа, которая на ней работает и сервит реквесты
AR
на самом деле до ебнуть кувалдой можно не доходить. твой софт запускается на ОС, которые не формально верефицирован, на сетевом стеке, который формально не верефицирован, на железе, которое формально не верефицировано. и все это сожержит баги
если говорить о формальных методах, то на данный момент куда интереснее и перспективнее выглядят формальные спецификации и модель чекеры для них. TLA+ и Alloy, как самое популярное
ST
Хз. Кложа, конечно, приятнее, но стратегически пофиг.
ну, у меня на скале код ощутимо сложнее получается...
𝛈µ
Это еще недостаточно формально, но окей. Можно сделать определённый набор ассампшенов, формализовать модельку модель и таки доказать. Специалисты говорят, что недавно были пейперы на подобную тему, а я еще давно видел пейперы на похожую, но менее сложную, тему
𝛈µ
Короче можно доказать
MB
Это еще недостаточно формально, но окей. Можно сделать определённый набор ассампшенов, формализовать модельку модель и таки доказать. Специалисты говорят, что недавно были пейперы на подобную тему, а я еще давно видел пейперы на похожую, но менее сложную, тему
Конечно можно, вы про свои программки это уже доказали?
AK
ну, у меня на скале код ощутимо сложнее получается...
У меня тоже, но, кмк, это не дело стратегии.
MB
А еще бывает, что неможно
MB
Проблемы остановки там всякие
ST
У меня тоже, но, кмк, это не дело стратегии.
ну, более сложный код сложнее сопровождать
это может быть стратегический момент
это может быть стратегический момент
AK
ну, более сложный код сложнее сопровождать
это может быть стратегический момент
это может быть стратегический момент
Если проект на века. И то самая главная проблема это предметная область, а не код.
𝛈µ
Конечно можно, вы про свои программки это уже доказали?
Нет, ты просишь показать решение крайне сложной при текущем уровне технологий и фундаментальных знаний проблемы. Но много более простых теорем доказали
AK
Код и переписать можно при желании '
MB
Нет, ты просишь показать решение крайне сложной при текущем уровне технологий и фундаментальных знаний проблемы. Но много более простых теорем доказали
Мало программистов умеют в теоремы, как мне кажется
VM
Если проект на века. И то самая главная проблема это предметная область, а не код.
Код вносит дополнительную сложность помимо сложности предметной области, поэтому хоть какую-то сложно нужно пытаться убрать.:)