September 27th, 2020

2019

lytdybr

Опубликовал вчера драфт структуры книжки по вычислительному мышлению (https://ailev.livejournal.com/1539088.html), получил минимум замечаний -- никакого шквала особых мнений, несмотря на всю остроту темы. При этом многие замечания IMHO про улучшения книги для обучение программистов, а не директоров стадионов, и в этом основная боль. Я уже почти смирился, что как минимум начальную работу над курсом мне придётся делать самому. Единственное что, так я не понимаю: сделать ли сначала очный лекционный курс, а потом уже онлайн-версию, или сразу с книги/курса начинать. Подумал, что в этот раз проще сразу с книги/курса. Вздохнул тяжело, открыл вордовый файл и перенёс туда структуру книги из поста. Добавил оглавление, получил сразу три страницы, "дорога в тысячу ли начинается с первого шага".

В связи с вольфрамовской инициативой по физическому проекту (про него вещают сейчас из каждого утюга) вдруг возник опять вопрос о роли инфографики. Ещё бы! Автор Mathematica богато проиллюстрировал своё творчение, и это немало дало к его распространению, Стивен Вольфрам понимает в пиаре. Вот тут в профильном сообществе опять пошёл разговор о моей позиции против визуального мышления: https://www.facebook.com/groups/264158970440888/permalink/1469249639931809/. Там и Бурбаки помянули, и Арнольда, и аджайл (ага, практически через запятую). И упор на интуицию как чисто визуальную. Ох. В книжке по визуальному мышлению (https://ridero.ru/books/vizualnoe_myshlenie/) у меня специально на обложке "инфографика" космических путешествий. Основная мысль: с инфографикой в космос не полетишь, этот детский сад только для несерьёзных, журналистких применений, для потехи и пиара. А для реального использования пригодны совсем другие представления: тексты на формальных языках, просто тексты, длинные запутанные таблицы и прочая "невизуальщина". А интуиция синестезийна, а не визуальна (вот тут я касался этой темы последний раз -- спектр формальности сознания: https://ailev.livejournal.com/1536934.html).

В нашем мире постправды всё трудней отличать фейки от реальных прорывов. Прошлая неделя была богата на интересные заявления. Вот, например, про EmDrive крутейшее заявление о тяге в 0.1н (не ищите в новостях, даже в жёлтой прессе этого нет -- но какова "непроверенная новость"!): https://www.nextbigfuture.com/2020/09/darpa-laser-version-of-emdrive-has-a-test-result-better-than-commercial-ion-drive.html. Вольфрамовский физический проект может легко с этим соперничать -- https://www.wolframphysics.org/, но он визуально красивый, и поэтому у него дикий пиар (даже по-русски это перевели уже: https://m.habr.com/ru/post/518206/). Ещё интересно обсуждение конспирологической (поиск соответствий там, где их вроде бы нет) программы, которая выросла из антиплагиатного софта: https://www.facebook.com/groups/agirussia/permalink/3506149302756956/ и продолжение в https://www.facebook.com/groups/agirussia/permalink/3515993935105826/. Слово "конспирология" там не используется, но почему именно оно приходит в голову после чтения достижений тамошней программы?! При этом похожие программы анализируют уже не плагиат, а пристрастность судей, и терпят поражение от самих же судей (корпорация судей во всех странах обычно сильней, чем кажется. Законодатели ведь тоже с юридическим образованием, никуда от этого не деться): https://ceur.ru/news/specproekty/item357050/, а ещё статистические данные и оценки вероятностей пытаются исключить из судебных рассмотрений: https://www.kommersant.ru/doc/4502458.

Тем временем компьютер переоткрыл термодинамическую стрелку времени: https://www.nature.com/articles/s41567-020-1018-2, сетка GPT-f пополнила Metamath библиотеку новыми типами доказательств (это первый случай, когда доказательства от нейросетки были приняты математическим сообществом), https://arxiv.org/abs/2009.03393. Нейронные сетки существенно быстрее и точнее учатся, как и люди, не самостоятельно, а когда учителя корректируют их ошибки: https://openai.com/blog/learning-to-summarize-with-human-feedback/, а ещё придумали как тренировать языковую модель на 1.3млн 8 бит целых параметров без учителя примерно с той же точностью, что и BERT на 440млн 32 бита плавающх параметров с дотренировкой с учителем -- https://ai.googleblog.com/2020/09/advancing-nlp-with-efficient-projection.html, имя модели доставляет: pQRNN.

С аппаратурой всё бодро: сделали полностью плоскую линзу "рыбий глаз" https://scitechdaily.com/mit-engineers-completely-flat-fisheye-lens-this-isnt-just-light-bending-its-mind-bending/, а TSMC строит уже завод на проектную норму 2нм -- https://www.tomshardware.com/news/tsmc-mulls-another-fab-for-2nm-and-two-fabs-for-advanced-packaging. Там же говорится о сборке и тестировании микросхем: строится заводик для этого, который будет стоить $10млрд., а запуск уже во второй половине 2021, затем в 2022 году будет запущен ещё один завод. Это всё Тайвань, крошечное государство, остров с 36тыс. кв. км и 23млн. человек. Вот что означает специализация и концентрация ресурсов. Про новости Tesla я молчу, об этом на всех углах пишут: начальная цена электромобиля через полтора годика будет сравнима с ценой на авто с ДВС при несопоставимо более низких затратах на обслуживание, это сделали таки новую батарею и нужно просто довести её до массового выпуска: https://www.forbes.com/sites/jamesmorris/2020/09/26/teslas-25000-electric-car-means-game-over-for-gas-and-oil/

Я бодро хожу на самые разные вечеринки, и там много танцевальных приключений. В том числе я начал часто попадать на видео (сценарий простой: съёмка ведётся подружками партнёрш, а потом партнёрши пересылают эти видео мне). Вот с Виолеттой Шумеевой -- https://vk.com/video2449939_456239367, вот с Ириной Парамоновой -- https://vk.com/video2449939_456239371. Это и есть социальные танцы: ничего заученного, полная импровизация. А ещё на видео плохо видно происходящее в паре: когда кажется, что движения в паре нет, там идёт довольно интенсивное взаимодействие -- просто мелкие движения корпуса снаружи незаметны, а внутри пары хорошо чувствуются. Неделя запомнилась ещё и тем, что идёт фестиваль свинговых танцев, и я забегал на этот фестиваль потанцевать ещё и свинговые: эти фестивальные вечеринки были в соседних залах с теми, куда я обычно хожу танцевать импро и урбан сембу. Вчера я забежал туда со своей старинной партнёршей по кизомбе, и попытался станцевать. DJ Sway вдруг выскочил, и за руку утащил нас с танцпола. Оказалось, мы к удивлению тамошней публики выскочили на конкурсный танцпол -- благо там ещё разминка шла, а не конкурсные танцы. Ах, какой был вчера биг бэнд (Moscow Ragtime band), совершенно восхитительный! Вот https://www.moscowcomesaround.com/ (и вы не поверите, сегодня я опять иду на вечеринку, и опять этот фестиваль с живым джазом и свинговыми танцами будет в соседнем зале!). Так что нужно прекратить писать буковки и срочно бежать получать удовольствие. Приходите, спляшем.