При мне рассказывал Сергей Иванович Адян, как их (группу советских математиков) возили в Принстон к Гёделю. Там, в Принстоне, для Гёделя проделали специальные проходы, чтобы он мог ходить с улицы в кабинет и из кабинета в библиотеку, ни с кем не встречаясь. Нам, сказал Сергей Иванович, местные математики завидовали "Вас водили к Гёделю! А мы здесь много лет работаем, а Гёделя не видели!"
Это, возможно, интересно, но многие так пытались описывать язык (комбинаторно) и ни у кого не получилось. А почитайте книгу Виноград (это фамилия) "Программа, понимающая естественный язык", как люди пытались это делать давным-давно.
С основателями "Аванта+" учился в одной группе на мехмате МГУ в конце 80-х. Маша Аксёнова году в 2000-м входила в сотню богатейших людей России под номером 98 (и была там единственной женщиной), а под номером 99 был Константин Эрнст.
Если человек внезапно быстро толстеет, надо сходить к эндокринологу. Это может быть щитовидка (ноги часто сводит судорогой, сильно лезут волосы), она лечится легко.
У меня есть программа на C++ для геометрических построений. Хотел написать к ней маленький пруфчекер (проверяльщик доказательств). Если мы строим, допустим, фигуру с какими-то свойствами, на каждом шаге ссылаясь на аксиому или ранее доказанную теорему, он проверяет, нет ли ошибок в построении. Нужен функциональный язык (писать пруфчекеры на C++ плохая затея), на котором можно хорошо рисовать. Выбирал между Скалой, Окамлом и Фактором. Ошибку нашёл в команде map-reduce. Если дан список, допустим, чисел и мы хотим найти сумму квадратов всех чисел (или не квадратов, а синусов, или не сумму, а произведение), мы применяем map-reduce, указывая в качестве аргументов список и две функции (возведение в квадрат и сложение, синус и умножение и т.д.) Эта команда работала неверно, я сообщил об ошибке, потом сам нашёл, почему (разобрался в её определении а Факторе), исправили
Factor сыроват ещё, взявшись писать серьёзную программу, сразу нашёл серьёзный баг. Пестов его бросил, а тот человек, что остался на хозяйстве, при всём уважении, не заменяет Пестова.
Программирование остаётся ремеслом, кустарным делом, его не удаётся автоматизировать. Если нам срочно понадобится миллион штангистов, мы можем их вырастить, давая гормоны. А если нам срочно понадобится миллион жонглёров, мы ничего не сможем сделать. Потому что жонглёра можно вырастить только по старинке - найти талант и долго учить. Вот так и миллионы хороших программистов взять неоткуда, а софта требуется всё больше.
Переход к новой системе отсчёта (координат в пространстве-времени), равномерно двигающейся относительно старой. Задаётся направлением движения (вектором) и скоростью, итого можно задать кватернионом.
Преобразование Лоренца раскладывается в композицию поворота (в пространстве) и буста. Кажется, даже однозначно. Итого два кватерниона (один нормы единица для поворота, второй для буста).
Перешёл на Хром, потому что Мозилла стала падать. До тех пор не переходил!
При мне рассказывал Сергей Иванович Адян, как их (группу советских математиков) возили в Принстон к Гёделю. Там, в Принстоне, для Гёделя проделали специальные проходы, чтобы он мог ходить с улицы в кабинет и из кабинета в библиотеку, ни с кем не встречаясь. Нам, сказал Сергей Иванович, местные математики завидовали "Вас водили к Гёделю! А мы здесь много лет работаем, а Гёделя не видели!"
Это, возможно, интересно, но многие так пытались описывать язык (комбинаторно) и ни у кого не получилось. А почитайте книгу Виноград (это фамилия) "Программа, понимающая естественный язык", как люди пытались это делать давным-давно.
С основателями "Аванта+" учился в одной группе на мехмате МГУ в конце 80-х. Маша Аксёнова году в 2000-м входила в сотню богатейших людей России под номером 98 (и была там единственной женщиной), а под номером 99 был Константин Эрнст.
Если человек внезапно быстро толстеет, надо сходить к эндокринологу. Это может быть щитовидка (ноги часто сводит судорогой, сильно лезут волосы), она лечится легко.
Картинка идеально подходит. Было уродливо, стало уродливо, всегда будет уродливо.
Летом 2010-го в Москве была адская (для Москвы) жара выше сорока, а потом горели торфяники и стоял смог.
У меня есть программа на C++ для геометрических построений. Хотел написать к ней маленький пруфчекер (проверяльщик доказательств). Если мы строим, допустим, фигуру с какими-то свойствами, на каждом шаге ссылаясь на аксиому или ранее доказанную теорему, он проверяет, нет ли ошибок в построении. Нужен функциональный язык (писать пруфчекеры на C++ плохая затея), на котором можно хорошо рисовать. Выбирал между Скалой, Окамлом и Фактором. Ошибку нашёл в команде map-reduce. Если дан список, допустим, чисел и мы хотим найти сумму квадратов всех чисел (или не квадратов, а синусов, или не сумму, а произведение), мы применяем map-reduce, указывая в качестве аргументов список и две функции (возведение в квадрат и сложение, синус и умножение и т.д.) Эта команда работала неверно, я сообщил об ошибке, потом сам нашёл, почему (разобрался в её определении а Факторе), исправили
https://www.blogger.com/comment.g?blogID=8513438391157777465&postID=8680112867593321902&bpli=1&pli=1
Не туда ляпнул, удалено.
Factor сыроват ещё, взявшись писать серьёзную программу, сразу нашёл серьёзный баг. Пестов его бросил, а тот человек, что остался на хозяйстве, при всём уважении, не заменяет Пестова.
Начало прямо Бродский
Хеш-таблица похожа на гардероб.
Вы сдаете свою куртку и получаете номерок.
Юмор
https://docplayer.com/32977052-Lenivye-i-zhadnye-vychisleniya-v-chislovyh-zadachah-i-n-skopin-29-aprelya-2010.html
Ленивый программист - жадный программист!
Вижу букву "уй"! А где же "ять" и "опа"?
Программирование остаётся ремеслом, кустарным делом, его не удаётся автоматизировать. Если нам срочно понадобится миллион штангистов, мы можем их вырастить, давая гормоны. А если нам срочно понадобится миллион жонглёров, мы ничего не сможем сделать. Потому что жонглёра можно вырастить только по старинке - найти талант и долго учить. Вот так и миллионы хороших программистов взять неоткуда, а софта требуется всё больше.
Задавали всеми возможными способами ещё сто лет назад. Подробности в книжке Lounesto"Clifford algebras and spinors", которая есть на libgen
Пробовали все возможные способы, движения Лоренца изучены очень хорошо.
Вот скоро стартует stackexchange по пруфчекерам
https://area51.stackexchange.com/proposals/126242/proof-assistants?referrer=YjczN2ZjMzMyYWRkYjYwOTMzMzJhMjRmZDNiZDJkZGQ1ZGE4MzFiZWQ3YzRlMjYzMzdiMTMxZTBkOTg1ZWNkMdt2-If5yCiayS9kTjQT0iElh8l0mRnZ3CnkNXRmWJGq0
и там можно будет завести тему.
Переход к новой системе отсчёта (координат в пространстве-времени), равномерно двигающейся относительно старой. Задаётся направлением движения (вектором) и скоростью, итого можно задать кватернионом.
Преобразование Лоренца раскладывается в композицию поворота (в пространстве) и буста. Кажется, даже однозначно. Итого два кватерниона (один нормы единица для поворота, второй для буста).