Дарю вам успешную
контр-тактику: какую конкретно модель, хотя бы ттх назвать можете? Не можете? Ну примерно хотя бы? Тоже не можете? Ну давайте логически выведем размах крыла 747, это-то вы можете?

А просто формула их не устроит? Дальше пусть хоть отрицательные значения туда пихают.

Желательно в формулу ещё добавить физические константы с учётом количества и размеров планет.

У них там вроде всех на снайперов-партизанов учат. Но инфа 50%

А дальше откатываться к точке большого взрыва, чтобы подтянуть скорость света.

Вроде учат, но армия - не про это. Толку от стрелка, если он не действует совместно со взводом и не обстрелян?

Winter is coming 😭😭😭

Это где? 😳

Это деревня колорадская :)

Ну так игра про ранее средневековье

че это, просто помог братану

Ух, а я сегодня другу жаловался на наши +15 утром с солнцем )

@theycallmewildrose можно немного подробнее про TLA+

не так давно, не в очень далекой Галактике родился Лесли Лампорт. сколько-то десятков лет спустя он получит премию Алана Тьюринга - одну из самых почетных премий в компютер саенс, и получит ее за алгоритм консенсуса, названный им "Паксос". не столько за сам алгоритм, хотя он обладает рядом очень ценных для практики свойств, сколько за доказательство его корректности. и вот тут начинается этот самый TLA+, который на тот момент существовал только на бумаге и автоматизированной проверке не подлежал.

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

и дает именно то, что тебе надо: полное исследование всего графа всех возможных состояний с проверкой инвариатов или предикатов, определенных тобой. ищет контрпример, в случае нахождения которого выплевывает в тебя всей цепочкой перехода, которая привела к неудаче (нарушению твоих же инвариантов).

*забавный факт: Лесли изобрел TLA+ с целью доказать, что Паксос теоретически невозможен.

на туториалы надежды нет? :)

есть

и комьюнити сильное, и туториалы лично от Лампорта, и книги, и уйма примеров