Size: a a a

2020 January 07

DB

Danil Berestov in rust_offtopic
MrSmith
Ну у нас в рф может а по гостам нет
> у нас в рф
ясна
источник

RP

Roman Proskuryakov in rust_offtopic
все виноваты кроме программеров) пишущий на С++ да не может написать багу
источник

RP

Roman Proskuryakov in rust_offtopic
и не в логике, а семантическую, которая к этой баге приведет))
источник

DB

Danil Berestov in rust_offtopic
Придумал абстрактный синтаксис язка, описал его вычисления

λ > evalState (evalExpressions $ fib 7) context
   NumLit 13
λ > evalState (evalExpressions $ fib 8) context
   NumLit 21
λ > evalState (evalExpressions $ fib 9) context
   NumLit 34

Скажите, я написал ещё один лисп?
источник

AL

Arsenii Lyashenko in rust_offtopic
Danil Berestov
Придумал абстрактный синтаксис язка, описал его вычисления

λ > evalState (evalExpressions $ fib 7) context
   NumLit 13
λ > evalState (evalExpressions $ fib 8) context
   NumLit 21
λ > evalState (evalExpressions $ fib 9) context
   NumLit 34

Скажите, я написал ещё один лисп?
Фортран
источник

DB

Danil Berestov in rust_offtopic
((((((((((
источник

А⚙

Антон ⚙️ in rust_offtopic
Danil Berestov
Придумал абстрактный синтаксис язка, описал его вычисления

λ > evalState (evalExpressions $ fib 7) context
   NumLit 13
λ > evalState (evalExpressions $ fib 8) context
   NumLit 21
λ > evalState (evalExpressions $ fib 9) context
   NumLit 34

Скажите, я написал ещё один лисп?
Это DSL на Haskell
источник

DB

Danil Berestov in rust_offtopic
Антон ⚙️
Это DSL на Haskell
Если это edsl, то это очень плохой edsl)
источник

M

MrSmith in rust_offtopic
Roman Proskuryakov
все виноваты кроме программеров) пишущий на С++ да не может написать багу
Не помню как зовется есть такой закон какого то при котором накладываются ошибки каждая по отдельности не может быть критичной но эмерджентное свойствой суммы такого
Самолеты как и другие чувствительные к жизни людей системы не должны и не могут иметь единственную точку отказа
На любой курсе по системам безопасности тебе скажут что всегда есть красная кнопка которая останавливает стонок даже если он разъебется в дребезги у самолета обязанна просто быть кнопка - пошло все нахер я знаю что делаю
источник

RP

Roman Proskuryakov in rust_offtopic
ты такой оптимист *_*
источник

M

MrSmith in rust_offtopic
У старых такой может не быть. Вообшем случае есть тб и правила и пилот сидит в кабине не просто так
источник

M

MrSmith in rust_offtopic
Roman Proskuryakov
ты такой оптимист *_*
Нет, просто это системы обкатанные годами. Когда самолет падает он может и здание в хлам превратить. Поэтому логично что там будут высокие требования к надежности и безопасности
источник

M

MrSmith in rust_offtopic
Вот в метро к примеру таких нет потому как максимум что случиться умрет человек 600
источник

DB

Danil Berestov in rust_offtopic
Danil Berestov
Если это edsl, то это очень плохой edsl)
Вспомнилось чо-то
Любая достаточно сложная программа на Си или Фортране содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка Common Lisp.
источник

M

MrSmith in rust_offtopic
Лично видел кодево где возможен инфинити луп и сигфолт и стрелка не сработает. Ну были случае когда их проволчкой подвязывали и поезд превращался в труху как пробка в пивной бутылке. Кстати вот думаешь почему в хвосте советуют летать? 5 секунда незабываемого зрелища как самолет складывается )
источник

RP

Roman Proskuryakov in rust_offtopic
MrSmith
Нет, просто это системы обкатанные годами. Когда самолет падает он может и здание в хлам превратить. Поэтому логично что там будут высокие требования к надежности и безопасности
поэтому самолеты не падают)
источник

M

MrSmith in rust_offtopic
Danil Berestov
Вспомнилось чо-то
Любая достаточно сложная программа на Си или Фортране содержит заново написанную, неспецифицированную, глючную и медленную реализацию половины языка Common Lisp.
Ну много чет там напиздели за эти годы различные медийности в кс
источник

M

MrSmith in rust_offtopic
Гоу ту плохо, содержит спецификацию лиспа, вообшем случае все это максимализм
источник

DB

Danil Berestov in rust_offtopic
MrSmith
Гоу ту плохо, содержит спецификацию лиспа, вообшем случае все это максимализм
Ну или просто шутка, да?
источник

A

Alexander in rust_offtopic
MrSmith
Не помню как зовется есть такой закон какого то при котором накладываются ошибки каждая по отдельности не может быть критичной но эмерджентное свойствой суммы такого
Самолеты как и другие чувствительные к жизни людей системы не должны и не могут иметь единственную точку отказа
На любой курсе по системам безопасности тебе скажут что всегда есть красная кнопка которая останавливает стонок даже если он разъебется в дребезги у самолета обязанна просто быть кнопка - пошло все нахер я знаю что делаю
Как direct mode на суперджете, который видимо работает не так, как на тренажёре
источник