В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Programming Offtop

573 membersпожаловаться на группу
2020 December 14

I

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

AN

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

IP

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

IP

Iaroslav Postovalov in Programming Offtop
там прям тонны пролога
источник
13:27пожаловаться#4

IP

Iaroslav Postovalov in Programming Offtop
формалируй - не хочу
источник
13:27пожаловаться#5

I

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

AN

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

d

dimiii in Programming Offtop
Iaroslav Postovalov
там прям тонны пролога
Ты о чем?
источник
13:28пожаловаться#8

I

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

AN

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

IP

Iaroslav Postovalov in Programming Offtop
dimiii
Ты о чем?
https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-0-preface7.html
источник
13:28пожаловаться#11

А

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

d

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

А

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

IP

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

А

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

d

dimiii in Programming Offtop
Ладно, я работать
источник
13:33пожаловаться#17

IP

Iaroslav Postovalov in Programming Offtop
в физическом мире ничего рационального нет
источник
13:33пожаловаться#18

IP

Iaroslav Postovalov in Programming Offtop
кроме спинов мб ?.. @noraltavir
источник
13:34пожаловаться#19

I

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