Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2019-04-13 08:05:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Ice Ages - NULLIFY
Entry tags:censorship, fascism, putin

ПУТИНПИДЕР
Кстати, вот первые жертвы вора "Клишаса"
https://meduza.io/news/2019/04/13/roskomnadzor-zablokiroval-sayt-76-ru-iz-za-novosti-o-graffiti-oskorblyayuschem-putina
https://meduza.io/news/2019/04/11/roskomnadzor-zablokiroval-sayt-izdaniya-yarkub-ranee-ono-otkazalos-udalit-novost-o-graffiti-oskorblyayuschem-putina
https://zona.media/news/2019/04/12/rkn-zablochil
https://potsreotizm-new.livejournal.com/4633870.html

мрази из роскомцензури закрыла два сайта,
которым они до того звонили по телефону с требованием
убрать все новости о граффити "ПУТИНПИДЕР". Сайты сказали,
типа пришлите нам письменное уведомление. Роскомцензура
ушла в несознанку, сообщив, что никому не звонила,
но сайты таки прикрыли.

Еще: [ 1 | 2 ]

Привет



(Читать комментарии) - (Добавить комментарий)


[info]sasha_a
2019-04-14 13:18 (ссылка)
Даже если бы Вы спрашивали про книги полезные для изучения математики на профессиональном уровне, я бы не смог толком ответить.
Правда, в этом случае есть Мишин текст, который в первом приближении мог бы считаться ответом на вопрос.
Но там слишком много книг.

С инженерами все гораздо хуже.

Например, мне было очевидно, что некоторым студентам из computer science (посещавшим мой курс для математиков) позарез нужна теория категорий. Все имеющиеся книжки/записки аккуратно делятся на два класса: либо примитивно-бесполезные (потому, что написаны непрофессионалами), либо ориентированые на "чистых" математиков и потому неприемлемые из-за отсутствия минимальной математической культуры.
А наука-то несложная!

Кроме того, различным инженерам необходимо Jedem das Seine.

Вот если бы все на мине подорвались хорошие математики вместе с немногими все еще существующими хорошими инженерами объединились, чтобы выработать некий план, но об этом можно только мечтать...
-------------
Моя русский вовсе позабыла:
*Посвящать 265 страниц тому, что следует медитировать на темы, что тебе известно и чего ты хочешь (рассматривая частные случаи), может только "педагог", и это интересно лишь таким же как он.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2019-04-14 15:00 (ссылка)
Хоть вы и мало сказали, но хотя бы точка зрения ясна. Спасибо.

(Ответить) (Уровень выше)


(Анонимно)
2019-04-15 01:31 (ссылка)
> Например, мне было очевидно, что некоторым студентам из computer science
> (посещавшим мой курс для математиков) позарез нужна теория категорий.
> Все имеющиеся книжки/записки аккуратно делятся на два класса: либо примитивно-бесполезные (потому, что написаны непрофессионалами), либо ориентированые на "чистых" математиков и потому неприемлемые из-за отсутствия минимальной математической культуры.

не знаю даже, вообще-то теория типов современная вся построена на теории категорий (очевидно), и там дофига понаписано вот наподобие такого
https://people.mpi-sws.org/~dreyer/courses/catlogic/jacobs.pdf (это очень известная книжка, хотя и более-менее advanced считается)

как введение нравится вот это: https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf

однако я computer science и не шарю наверное

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sasha_a
2019-04-15 12:46 (ссылка)
однако я computer science и не шарю наверное
Я еще меньше.
Поэтому, чтобы понять, насколько хороша
очень известная книжка
нужно некоторое время, а его у меня нет.
Охотно верю, что она разумная, но она точно не для начинающих.
(Два класса --- это было про книжки/записки для начинающих.)

А вот вторая в точности вписывается в первый класс (где она может быть и неплохая):
1. Она многословна. То же самое и на том же уровне сложности можно наверное изложить на 100 страницах.
По крайней мере, первые 150 страниц, которые пролистал, думаю смог бы нарисовать на 20-30 страницах.
Но это большая работа, на несколько месяцев: пришлось бы изучить пресловутую теорию типов и солидный кусок computer science.
2. Мало концептуальных объяснений. Допускаю, что в computer science это не принято, но такая традиция не способствует.
При этом масса примеров наверное не связанных с computer science. (Немного эрудиции --- это конечно хорошо, но тогда уж лучше просто изучать основы "чистой" математики.)
3. Присутствуют фактических неточности.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2019-04-15 13:20 (ссылка)

учебник по категориям для руССких фашистов
http://booksdescr.org/item/index.php?md5=C08B0BB562B8FF2BACCCD5B7567E488B
Функциональное программирование на языке Haskell
Душкин Р.В.

от того же автора, энциклопедеия теории
категорий на раССово верной руССкой википедии
http://traditio.wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D0%B9
наука, не уступающая в своей важности изучению
гей-технологии
http://traditio.wiki/%D0%93%D0%B5%D0%B9_%D1%82%D0%B5%D1%85%D0%BD%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D1%8F

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]tiphareth
2019-04-15 13:21 (ссылка)
http://traditio.wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%BA%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D0%B9

(Ответить) (Уровень выше)


(Анонимно)
2019-04-16 23:57 (ссылка)
Лекцию на тему «Введение в искусственный интеллект» провел в Москве один из ведущих экспертов в области ИИ-технологий Роман Душкин, сообщает 29 июля корреспондент ИА Красная Весна.

Развивая тему, Душкин заметил, что основной проблемой, сдерживающей прогресс, сегодня является конечность жизни человека. «Если бы человек не умирал и при этом сохранял свой нажитый опыт, если бы не нужно было тратить средства и время на передачу этого опыта другим людям, то мы бы уже по всему Млечному Пути летали». Однако один из выходов автор видит в развитии систем ИИ на основе человеческого мозга и сознания и приводит такой весьма экстравагантный пример: «Куда девать три с половиной миллиона водителей грузовиков в США, если через какое-то время грузовики станут беспилотными? Возможно, что решение будет следующее: если есть ребенок, который с детства мечтал водить грузовик, то пусть тогда этот грузовик и станет его телом, а мозг и сознание — тем самым управляющим ИИ».



--
Душкин это конечно офигенно круто (CS аналог того профессора из Италии), но вообще в постсовке явление очень распространенное.

(Ответить) (Уровень выше)


(Анонимно)
2019-04-16 23:58 (ссылка)
> того профессора из Италии

Я. Сергеев, с гроссианом который

(Ответить) (Уровень выше)


(Анонимно)
2019-04-16 23:51 (ссылка)
Спасибо за развернутый ответ!

(Ответить) (Уровень выше)


(Читать комментарии) -