Category: компьютеры

Category was added automatically. Read all entries about "компьютеры".

В Беэр-Шеве что-то случилось?

У меня уже несколько дней, как не открывается сайт математического департамента университета Бен-Гуриона в Беэр-Шеве http://www.math.bgu.ac.il . Прямо вот с позднего вечера среды 20 января и посейчас. Пробовал с домашнего и с рабочего компьютера -- не открывается. Также и сайт всего университета в целом http://www.bgu.ac.il не открывается у меня.

Поиск в Гугле на ben gurion university mathematics department выдает адрес не открывающегося сайта. Поиск просто на ben gurion university выдает адрес "международного сайта" https://in.bgu.ac.il/en/international/Pages/default.aspx , который открылся вот только что (вчера не открывался).

Проверялка http://downforeveryoneorjustme.com при вводе www.math.bgu.ac.il сообщает, что math.bgu.ac.il is down. При вводе www.bgu.ac.il сообщает, что bgu.ac.il is down. При вводе in.bgu.ac.il сообщает, что in.bgu.ac.il is up (вчера было down).

Все компьютеры упали, международные встали обратно, а остальные так до сих пор лежат?

Из бесед

Ущерб от происходящего будет чудовищным, потому что все это просто противоречит природе человека. Потому, что люди сделаны из мяса и костей, а не из пикселей на компьютерном экране.

Получил ключи от квартиры

Квартира однокомнатная*, большая, просторная, чистая, светлая, пустая, если окна открыть -- шумная. Рядом ходят трамвай, автобус, имеются рестораны, супермаркет.

Пустая она теперь уже не совсем -- посреди пустой комнаты лежит чемодан с одеждой и стоит удобный мягкий стул с подлокотниками**. Сидя на этом стуле, я буду ждать работников, которые будут приходить устанавливать интернет и доставлять мебель.

Сидя в оставшемся в моей комнате неудобном компьютерном кресле, я печатаю этот постинг. Может, другое компьютерное кресло мне еще подарят.

---
*С большой кухней.
**Как выяснилось по внимательном рассмотрении, без подлокотников.

Обсуждаем проведение математического семинара через Zoom

Пока были предложены три опции:

1. Поставить микрофон и камеру на треноге в обычной аудитории с доской и мелом. Докладчик говорит и пишет мелом по доске в пустой комнате у себя на работе, оборудование транслирует все это слушателям через Zoom.

2. Раздобыть планшет или "таблет" со стилом, чтобы докладчик, сидя дома перед своим компьютером, писал на виртуальной белой доске.

3. Докладчик готовит слайды обычным образом, открывает PDF на своем компьютере, делает share screen со слушателями доклада, и таким образом они видят эти слайды. Получается виртуальный слайдовый доклад.

Есть какие-нибудь еще варианты? Как вообще это делается?

На третий год проживания в Хайфе

выбрался, наконец, в магазин Икея, что в Кирьят-Ате. Съел в ресторане лосося, заплатил за компьютерное кресло с доставкой и сборкой. Прежнее-то, купленное в Office Depot, уже совсем помирает, а мне работать надо. Да и Office Depot-а того рядом с домом нет больше теперь, проще уж в Икею.

Рубрика "творчество душевнобольных"

Смертный приговор себе от имени дьявола

Оригинальные документы июня-июля 1998 года из Бельмонта (вбито в компьютер с бумажных medical records, привезенных из Штатов, в Москве в 2004 году). Болью сердца написано, понятное дело, но в то же время можно заметить, что автор что-то такое себе имеет в виду:

http://posic.livejournal.com/1998/06/30/
http://posic.livejournal.com/1998/07/01/

Пересказ и комментарий марта 2012 года:

http://posic.livejournal.com/762361.html
http://posic.livejournal.com/762438.html

Живой математик как искусственный интеллект

Как известно, чтобы научить компьютер думать, как человек и даже гораздо лучше человека, достаточно представить совокупность знаний, известных человечеству, в виде текстов, собрать и отсканировать все эти книжки, записать файлы на жесткий диск и вставить такой диск в соответствующий разьем на материнской плате.

Э... ну, то есть, нет, постойте... не совсем так, конечно. Компьютер же читать-то не умеет. Надо... ну, в общем, перевести все это как-то на компьютерный язык, представить в виде... ну, короче, в виде базы данных какой-то там представить, и запустить по ней поиск. Тогда компьютеры докажут гипотезу Римана, откроют средство от рака, построят города на Марсе и что-то там еще.

К чему это я? К тому, что диковато и странно мне наблюдать, как вышеописанное анекдотическое представление об "искусственном интеллекте" эмулируется в сознании вполне живых молодых математиков в виде представления о том, как можно все в математике понять, доказать и открыть, если только что-нибудь такое самое крутое из уже известного предварительно изучить. Или даже не изучить, а, как это, -- загрузить в голову. Как операционную систему в оперативную память компьютера загружают.

Что именно считается у нас самым крутым согласно сегодняшней моде на соломенные шляпки -- ну, это кому как видится. Многим видится Лурье, например. Допустим, кто-то считает, что работы Лурье -- это, действительно, круто. Человек разумный, уверовав в это предположение, постарался бы внимательно прочитать соответствующие тексты, овладеть изложенными в них концепциями и техниками, и дальше понемногу смотреть, на какие мысли все это его наводит, или к чему бы ему хотелось эту премудрость применить.

Дело это небыстрое, нелегкое и рискованное -- по прочтении первой сотни страниц из толстого тома можно почувствовать, что окончательно потерял нить, например; ближе к середине -- что позабыл начало; подходя к концу -- что ничего нового не узнал и мыслей из прочитанного не проистекает решительно никаких; и так далее. Но может что-то и получиться -- зависит от того, что на самом деле написано у Лурье, как это соотносится с тем, что человек изначально надеялся там вычитать, каков там потенциал развития и приложений, и так далее. Вообще говоря, этого никто заранее не знает.

Есть, однако, простой и надежный путь, не требующий больших трудозатрат и не связанный с особыми рисками, поскольку заранее известно, что ничего толком не получится. Он состоит в том, чтобы ознакомиться с оглавлением нескольких томов Лурье, запомнить грубо-приблизительные "наивные" формулировки ряда основных результатов, и дальше идти по жизни, замечая вокруг задачи, для решения которых достаточно, как представляется, произнести ключевую фразу на уровне "Это частный случай стандартной тавтологии, см. теорему 10.11.12.13 из "Высшей алгебры"".

Представлять себе, о чем идет речь в решаемой задаче, для этого совершенно не обязательно. Уметь воспроизвести формулировку теоремы 10.11.12.13 или хотя бы понимать значения слов, в нее входящих -- тоже. О том, как эта теорема доказывается, речь вообще не идет и идти не может -- Лурье виднее. Мир просто полон очевидных частных случаев стандартных тавтологий из "Высшей алгебры", сидящих где-то тихонько и ждущих, пока проходящий мимо знаток оглавления толстого тома не припишет к ним рядышком последовательность цифр: 10.11.12.13. Ничего больше не нужно. В этом состоит математика.

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

Хорошая старая ссылка по теме: http://shkrobius.livejournal.com/476939.html ; см. также недавнюю ветку http://shkrobius.livejournal.com/571824.html?thread=10204080#t10204080

Очередной сон о том, как я в Гарварде

Сколько лет мне будет еще сниться Бостон? Наверное, всю жизнь. Я сижу в компьютерной комнате, и совершаю там какое-то тривиальное компьютерное нарушение, типа поиска в интернете информации на запрещенно-сексуальную тему. Застанный за этим, я не нахожу ничего лучшего, как лечь головой на свою клавиатуру и сделать вид, что я просто сплю на ней, но меня, конечно, разоблачают, и клавиатуру уносят из-под меня, и теперь я знаю, что мне предстоит теперь много лет оставаться аспирантом в Гарварде без всяких компьютеров, которые у меня отнимут. После некоторого времени мучительного размышления на эту тему, я вспоминаю, что уже много раз собирался во сне снова быть в Бостоне, и каждый раз это оказывалось невозможным, потому что я же просто не могу въехать в Штаты, и на самом деле никогда не бывал в Гарварде с тех пор, как уехал оттуда в 98-м году. На этой облегчительной мысли я, наконец, просыпаюсь.

Благодаря бесценной помощи

юзера guyz30, снабдившего меня информацией о профильных магазинах в Хайфе и их географии вблизи моего дома, а также хаускиперов в общежитии Техниона, совершивших невообразимое для меня деяние по сборке мебели из деталей и шурупов, имею теперь дома настоящее офисное кресло с мягким сидением и спинкой. Теперь осталось только сообразить, чем, после всего пережитого, я собираюсь заниматься, сидя за компьютером в этом удобном кресле. Эта последняя задача потребует, возможно, некоторого времени.

Обозначения, обозначения

Квазикогерентный пучок на аффинной схеме, соответствующий модулю M над кольцом функций, традиционно обозначается через M с тильдой. Как бы обозначить контрагерентный копучок, соответствующий модулю P ?

Черта обозначает приведение по модулю. Крышка обозначает пополнение. Галочка сбоку наводит на мысль о двойственном объекте. Ощущение, что не хватает большой галочки сверху, акцента \widecheck.

Гугль выдает такие советы:
http://www.physicsforums.com/archive/index.php/t-262937.html
http://tex.stackexchange.com/questions/44235/is-there-a-way-to-do-an-upside-down-widehat
http://tex.stackexchange.com/questions/69323/wideparen-in-ams-class

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