Size: a a a

Programming Offtop

2020 December 14

I

Ilmir in Programming Offtop
dimiii
Я и не сомневаюсь что можно, вопрос насколько это будет красиво. Если эта формализация позволит найти ошибки / доказать что их нет - да, поменяю, безусловно.
Придётся, конечно, закопаться в операционную семантику, с которой работать, скажем так, не очень приятно, но только так получится формализовать non-local return. @noraltavir у тебя нет, случайно, свободных студентов?
источник

AN

Alexander Nozik in Programming Offtop
Ilmir
Придётся, конечно, закопаться в операционную семантику, с которой работать, скажем так, не очень приятно, но только так получится формализовать non-local return. @noraltavir у тебя нет, случайно, свободных студентов?
С осени точно будут, если Иванов не будет тормозить. Мы с Елизаровым это уже обсуждали. Ты готов научруком быть?
источник

IP

Iaroslav Postovalov in Programming Offtop
dimiii
Я и не сомневаюсь что можно, вопрос насколько это будет красиво. Если эта формализация позволит найти ошибки / доказать что их нет - да, поменяю, безусловно.
оо, так если тебе любая формализация ок, то чекай спеку java vm
источник

IP

Iaroslav Postovalov in Programming Offtop
там прям тонны пролога
источник

IP

Iaroslav Postovalov in Programming Offtop
формалируй - не хочу
источник

I

Ilmir in Programming Offtop
Alexander Nozik
С осени точно будут, если Иванов не будет тормозить. Мы с Елизаровым это уже обсуждали. Ты готов научруком быть?
Можешь на меня положиться. Только у меня степени нет, поэтому формально, научруком должен быть кто-то другой.
источник

AN

Alexander Nozik in Programming Offtop
Ilmir
Можешь на меня положиться. Только у меня степени нет, поэтому формально, научруком должен быть кто-то другой.
Для руководства студентом степень не нужна. Это не кандидатская
источник

d

dimiii in Programming Offtop
Iaroslav Postovalov
там прям тонны пролога
Ты о чем?
источник

I

Ilmir in Programming Offtop
Alexander Nozik
Для руководства студентом степень не нужна. Это не кандидатская
А, ок. Тогда меня должно хватить.
источник

AN

Alexander Nozik in Programming Offtop
Ilmir
Можешь на меня положиться. Только у меня степени нет, поэтому формально, научруком должен быть кто-то другой.
Пойду Елизарову напишу, чтобы пинал начальство
источник

IP

Iaroslav Postovalov in Programming Offtop
dimiii
Ты о чем?
источник

А

Алексей in Programming Offtop
проблема матана в том, что есть ещё и реальность на которую он не очень хорошо ложится со своими машинами тьюринга с бесконечными лентами
источник

d

dimiii in Programming Offtop
Алексей
проблема матана в том, что есть ещё и реальность на которую он не очень хорошо ложится со своими машинами тьюринга с бесконечными лентами
Ты только инженерам, возводящим мосты и запускающим самолеты в небо это не говори.
источник

А

Алексей in Programming Offtop
Алексей
проблема матана в том, что есть ещё и реальность на которую он не очень хорошо ложится со своими машинами тьюринга с бесконечными лентами
Уже приходится как-то без особого матана работать с памятью, файлами, целыми числами, которые ещё и переполняются к тому же, с числами с плавающей точкой, которые вообще какая-то непонятная и странная хрень
источник

IP

Iaroslav Postovalov in Programming Offtop
dimiii
Ты только инженерам, возводящим мосты и запускающим самолеты в небо это не говори.
а че, у них же тоже погрешности
источник

А

Алексей in Programming Offtop
dimiii
Ты только инженерам, возводящим мосты и запускающим самолеты в небо это не говори.
Инженерам кстати тоже приходится всякими не слишком строгими и формальными методами пользоваться.
источник

d

dimiii in Programming Offtop
Ладно, я работать
источник

IP

Iaroslav Postovalov in Programming Offtop
в физическом мире ничего рационального нет
источник

IP

Iaroslav Postovalov in Programming Offtop
кроме спинов мб ?.. @noraltavir
источник

I

Ilmir in Programming Offtop
Iaroslav Postovalov
в физическом мире ничего рационального нет
Рациональность - это свойство, присущее людям. Физический мир (он же вселенная) - арационален, то есть он не рационален, но и не иррационален.
источник