Сборка `программистских` статей "про категории"
nivanych
Нуу, программистскими те объяснения можно считать условно, но всё-таки.
http://bartoszmilewski.com/category/category-theory/
Всё-всё не читал, но что проглядел — вроде, неплохо написано.
(жаль, но забыл уже, кто мне ссылку подогнал, а то поблагодарил бы)

Lawvere's fixed point theorem
nivanych
http://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem
if there is an epimorphism from some object A to the exponential object/internal hom from A into some other object B
A⟶B^A
then every endomorphism f:B→B of B has a fixed point.

Не любит меня виндовс.
nivanych
А я его.
Купил ноутбук. Хотел попробовать, что там за виндовс-8.1. Ну, красивая игрушка, ну попробую, пусть пока будет.
Надо было сегодня много ездить в машине пассажиром.
Решил почитать, благо, что заряд ноутбук держит довольно долго.
Выяснил, что IE11 некорректно показывает некоторые ссылки, ну и поставил для них хром.
.ps, .dvi и .djvu показывать не умеет, ну и поставил соответствующие просмотрщики.
Ну поставил что-то стороннее, ну ничего страшного, всё обычно, как показалось сначала.
Но большинство сторонних программ рендерят содержимое в разрешении, у которого, навскидку, в 4 раза меньше пикселей!!
В итоге, всё выглядит коряво-пиксельно...
И если с этим мириться, то зачем тогда, спрашивается, мне эти 3200x1800...
В линуксах (не ради этого, но попробовал несколько LiveCD) такого не наблюдается (но и с чего бы...).

Может быть, кто-то знает, есть ли какие настроечки, что это поправить?
Хотяя, видимо, это уже только "спортивный" интерес — линукс я всё равно туда поставлю.


P.S.
Я таки ступил и подобные настройки есть (в свойствах программы).
Отчасти, меня извиняет то, что я в первый раз видел виндовс>=8 и даавно не видел не только виндовсов, но и gnome/kde/xfce/подобное -- отвыык, что ли...

ВОПРОСЫ ПО МУЗЫКАЛЬНОЙ ЭСТЕТИКЕ
nivanych
Влад напомнил. Но это надо всем знать! ;-)Collapse )
Взято из
http://lingvarium.org/maisak/data/shostakovich_rayok.htm

Как переводится «globular»?
nivanych
Уже сколько лет, как мучаюсь с подыскиванием русского слова каждый раз, когда про это заходит разговор, и в итоге, пишу «globular»...
Как переводятся термины «globe category», «globular set», «globular object», «globular operad»?
В биологии, органической химии и вообще чуть не везде, в "геометрически похожих" местах, насколько я знаю, не стесняются писать "глобулярный".
Допустимо ли это тут?
Нормально ли читается по-русски термин "глобулярная операда", например?

The HoTT Book
nivanych
http://homotopytypetheory.org/book/
http://homotopytypetheory.org/2013/06/20/the-hott-book/
http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html

Proof wiki
nivanych
via clayrat
http://www.proofwiki.org/wiki/Main_Page

Смешной вопрос...
nivanych
Ко мне поступила просьба —
Хочу попросить какую-нибудь книжку, где был бы хороший пример применения категорий в программировании. Желательно что-нибудь совсем попроще, потому что я это собираюсь рассказать на маленьком спецкурсе в Ноябрьске. Слушать будут студенты, обущающиеся информатике, так что самой темы программирования можно не бояться.

Человек функциональных языков не знает совсем.
Скорее всего, большинство тех студентов тоже не знают.
Но по крайней мере, Саша на каждом нашем семинаре бывает и уже что-то "понимает в категориях".
Про монады многое понимает со стороны математики. Ну в смысле, формальные вещи он знает, но опыта использования монад мало. Интуитивно склонялся (он алгебраист-решёточник) к отождествлению монады с оператором замыкания ;-)
Про моноидальные категории он в курсе и всякие моноиды в моноидальных категориях да действия моноида (например, модуль над моноидом в моноидальной катгеории).

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

Про детские фильмы
nivanych
Вот кто-нибудь, подскажет мне, почему чуть не все детские фильмы, включая сказки, имеют таакие сценарии?
Они рассчитывают, что дети не заметят каких-то нестыковок сюжета и/или нелогичности поведения персонажей? По самым скромным оценкам, 90% детских фильмов имеют таакие сюжеты, что объяснить их, даже привлекая недюжинную фантазию и допуская всякие сказочные/фантастические допущения, весьма непросто.
Я вот даже и не знаю, можно ли такое детЯм показывать — я ведь очень не всё смогу объяснить сходу!
В детстве, мы развлекались и придумывали для фильмов логичные объяснения типаа — "почему так, а не идиот ли герой, что сделал вот так-то и пошёл туда-то."
Доставляло покруче самих фильмов! ;-)
Но сомневаюсь, что у аффтаров были подобные цели.
"Придумай-ка ты логичное объяснение!", - в этом ну прям что-то от 1984 есть :-)

Напишу и я всякие цЫферки — 632305222316434
nivanych
.

А мне 20 лет!
nivanych
Надо же мне вспомнить про былые времена программирования на ассемблере, когда 16-ричная и двоичная системы были самыми естественными!
Правда, потом ещё были годы программирования на плюсах, прежде, чем добрые люди мне показали правильную математику.

Открытое письмо математиков Президенту России Д.А. Медведеву
nivanych
Как же это прекрасно! Не могу не перепостить!Collapse )

Очень понравилось, рекомендую
nivanych
[Спасибо xaxam за наводку]
Рассказы со скрытым смыслом -
http://freedomcry.livejournal.com/tag/with_nosmile
Отдельные слова со скрытым смыслом, каждый раз разные -
http://freedomcry.ru/gadgets/wordmonsters/

Не получилось погулять...
nivanych
А помешало мне начало суровой уральской зимы.
Пошёл ливень, который затем сменился просто дождиком.

Распознаете ли вы инсульт?
nivanych
Помню, как я с мамой был у бабушки и мама на огороде уткнулась носом в грядку - инсульт.
Хорошо, что рядом была тётя Надя, хоть и не невролог, но с очень хорошим кругозором (она медик и биолог).
И несмотря на почти полное отсутствие нужных лекарств, за несколько дней тётя Надя подняла маму на ноги и через неделю мама уже своими ногами и уже почти нормально дошла (от машины) до вагона, и от вагона до машины уже совсем нормально.
Вот тогда симптомы вовремя не заметили (не было рядом ни тёти Нади ни даже меня), но пусть уж лучше побольше людей знают.
А то вот, недавно, отец увидел соседа по даче, распознал таки приближение инсульта, уговорил, чтобы сосед не пешком пошёл до дому (около 3 километров), а с ним на машине, и чтобы сразу позвонил на скорую, как домой придёт. Он не позвонил, но отец сообщил его жене и её уже уговорить позвонить было просто. Тоже вот, тоже чуть-чуть не успели, но хоть не помер... А надо-то было, всего лишь, более критично отнестись к своему здоровью. Знал бы мужик про себя, что надвигается инсульт, не был бы таким упрямым.
Увидел пост
http://ivan-ghandhi.livejournal.com/1503799.html
и решил написать такое же.
Под катом - если люди будут хоть это знать, можно предотвратить много несчастий.Collapse )

Ты тут мне не выкай! ;-)
nivanych
Помнится, когда мне ещё было лет 16, и далее, во студенчестве, я преподавал детям, меня ужасть, как раздражало обращение на "вы".
Потом мне стало просто пофигу, но увидел я один пост -
http://marina-p.livejournal.com/1244.html
и решил, по аналогии, написать тут, уточнить.
Обращайтесь, как кому охота, но предпочтительнее будет на "ты", чтобы мне меньше запоминать, к кому и как обращаться ;-)

P таки равно NP!
nivanych
Наконец-то! Решена задача столетия!
http://www.smolensk.ru/user/sgma/MMORPH/N-26-html/piatlin/piatlin.htm
Автор изобретения, по образованию философ, свои научные изыскания, с 1974 года, посвятил, в частности, раскрытию тайны работы нейронов и их сетей, с того момента, когда впервые увидел под микроскопом структуру нейрона коры головного мозга и понял принцип функционирования нейрона.
Результатом работы автора, помимо прочего, стал вывод о том, что основной функцией нейронов и их сетей является решение труднорешаемых задач, например, задачи Гамильтона, большого размера (100 вершин и более) с полиномиальными затратами, что предполагалось нейрофизиологами. Именно благодаря этому, человек способен делать то, что невозможно для универсальных вычислительных машин, например, решение труднорешаемых задач большого размера.
Глыба, матёрый человечище! ;-)
Только вот, что-то я не разобрался с алгоритмом.
А разве не решил эту задачу некий Мирон Тельпиз ещё в 2003 году? ;-)

Как правильно готовить JavaScript?
nivanych
Собственно, вопрос.
Надо будет писать на джаба-скрипте с использованием SVG.
Стоит ли мучиться с его генерированием или проще уж писать нативно?
Если отстроить систему его генерации из-под Haskell, получается удобная работа с полноценными макросами, но оперируя ограниченным подмножеством языка.
Стоит ли оно того?
И где про это ещё лучше спросить? Может, ru_lambda?

Update: Забыл совсем.
Как вы думаете, можно ли пользоваться YHC, который умеет компилировать Haskell->JS?
Сам такого опыта не имею, вот и спрашиваю...

Дразнилка
nivanych
А у нас дождищща льёт, не переставая...
Льёт и льёт, льёт и льёт...
На улице уныло, скучно...
Вот бы солнышко!
;-)

Топосы и теория музыки
nivanych
Меня, как человека, поверхностно изучавшего теорию гармонии и полифонии, это невероятно позабавило. Так сказать, "доставило конкретно".
Книжку уже обозвали - "Это жёсткий матан, причём, не простой, а музыкальный!" ;-)
Обязательно-обязательно надо будет посмотреть подробнее!

Итак. Наткнулся на книжку ->
The Topos of Music: Geometric Logic of Concepts, Theory, and Performance

It reflects the dramatic progress of mathematical music theory and its operationalization by information technology since the publication of Geometrie der Töne in 1990.
The conceptual basis has been vastly generalized to topos-theoretic foundations, including a corresponding thoroughly geometric musical logic.
The theoretical models and results now include topologies for rhythm, melody, and harmony, as well as a classification theory of musical objects that comprises the topos-theoretic concept framework.
Classification also implies techniques of algebraic moduli theory.
The classical models of modulation and counterpoint have been extended to exotic scales and counterpoint interval dichotomies.

Когда мы придём к власти ;-), в консерваториях будут изучать теорию топосов и даже higher топосов! ;-)

Владимир Игоревич Арнольд (12 июня 1937, Одесса — 3 июня 2010, Париж)
nivanych
Вот...
http://ru.wikipedia.org/wiki/Арнольд,_Владимир_Игоревич
Жаль, очень-очень жаль.

Несколько вопросов про красивые картинки
nivanych
Какой самый удобный способ рисовать вот такие картинки ->
http://www.math.columbia.edu/~lauda/xy/ ?
Не знает кто-нибудь, планируется ли в Google Wave поддержка LaTeX?

Тевелизор я иногда смотрю
nivanych
Знаете, мне показалось, что Фёдор Бондарчук,
это не очень умный человек, как мне показалось.
Правда, сложно мне судить, мало я фильмов его видел,
но таки обсуждаю, есть такое.

Как узнать ноги трансформатора?
nivanych
Есть трансформатор с несколькими обмотками.
В наличии имеется мультиметр, осциллограф,
и мощный электронно-цифровой вычислительный комплекс,
для просчёта сложных моделей электромагнитного поля.
Как узнать характеристики трансформатора?

Ну, разные обмотки определить, это прозвонить.
Одна пара ног -- это вход с 220 вольт, 50 герц.
Если узнать её, то подключив к ней 220,
несложно померить остальные ноги.

Но как её определить?
На все подряд обмотки у меня хватило ума не подавать 220 ;-)

Пока что, варианта три.

Первый, и самый надёжный, это дождаться до завтра,
когда придёт Миша, и всё сделает :-)
Второй, это подать переменный ток со звуковой карточки
и померить, что творится на обмотках.
Третий, не очень надёжный, это попытаться померить сопротивления обмоток.

Как быть? ;-)

UPDATE: Это не есть какая-то проблема, просто,
мне любопытно, как такие штуки можно мерить.
Да и подключили мы уже его, усилок звучит хорошо ;-)

Звук в Haskell под виндовс
nivanych
Подскажите мне, замучившемуся,
а чем правильнее всего записывать звук
с микрофона в программе на Haskell под виндовс?

Чего только не пробовал...
Либо не удаётся поставить, либо не работает...
Хотябы, посоветуйте конкретную библиотеку,
буду стараться её поставить и заставить работать...
Да, пользую Haskell Platform 2009,
так как, 2010 ещё пользовать нельзя.

А куда с такими вопросами можно обращаться?
Ну не в ru.lambda же...

Всем обязательно к прочтению!
nivanych
http://v-lenin.ru
В.И.Ленин.
Полное собрание сочинений online.

И, всякого изведав на веку,
Когда до капли силы истощались,
Шли к Ленину мы,
Словно к роднику,
И мудрой чистотою очищались.
...В.А.Коротич, "Ленин, том 54"

Прелюдии Баха можно удачно исполнять на гитаре.
nivanych
Вот пример ->
http://www.youtube.com/watch?v=JDhv2f2mweE

Мне понравилось.
Звучит, по-моему, намного лучше, чем на фортепиано.
Там ещё есть много хороших примеров.

Про IO и коиндукцию.
nivanych
Как вы думаете, делать в неком (абстрактном) языке
всяческое IO, как экземпляр терминальной коалгебры
с очень таким странным "состоянием", это очень плохо?

Как работать с графами среднего размера в Haskell?
nivanych
Кто знает, как пошустрее работать с графами
среднего размера (несколько миллионов рёбер),
которые соединяют мелконькие объектики?
Кроме как пользование всяких ссылок,
ничего в голову и не приходит.
Но это же неправильно?

Upd:
Не только неправильно, но и проблем много.
Собственно, вопрос возник от необходимости
у кучи объектов быстро изменить некое свойство.
Самый быстрый способ, это типа "ссылки" на свойство,
меняется в одном месте, используется во многих.

comonad.com полёг?
nivanych
Рассматривал я с утречка Category.Extras,
а там много ссылок на comonad.com/reader.
Сейчас сайт тоже не отвечает...

Update:
Как мне уже сообщили, это Йота
такая нехорошая, пользует нехороший
диапазон IP, который много, где блокируют.
Что ж, буду ходить на comonad.com
через какой-нибудь анонимайзер.
Может, организовать клуб анонимных
читателей журнала "comonad reader"? ;-)

А кто чего знает про восстановление винчестеров?
nivanych
Где-чего-как, сколько стоит в Москве?
.

Что это было?...
nivanych
Дыбр о том, что мне показалось странным.Collapse )

Gröbner bases for operads
nivanych
Просматривая hackage, наткнулся на очень интересную вещь
Groebner basis computation for Operads
Основана на статье
Gröbner bases for operads
Признаться честно, плоховато понимаю, зачем это нужно.
Но это очень интересно ;-)

Тут много красивых женщин и хорошего моря!
nivanych
Без всякого сомнения, я совершенно не разбираюсь в живописи.
И поэтому, хоть я и рекламирую тут страничку художника Владимира Волегова,
смотрите её на свой страх и риск, вдруг это совсем-совсем полная ерунда? ;-)
Но мне понравилось, по-моему, это красиво.

У нас есть замечательные люди!
nivanych
Чотта, вот. наткнулся.
Он удостоился внимания знаменитой ncat-lab!
http://ncatlab.org/nlab/show/Vladimir+Voevodsky
;-)
Выражаю своё почтение, что-ли...

И опять глупый вопрос про IO...
nivanych
Ну вот, в предыдущих сериях, при помощи знатоков,
мы выяснили, что бинд по первому аргументу строгий.

А теперь, упрощая, допустим, что у меня есть что-то,
получающее из IO по одному символу, ну типа getChar,
и как теперь мне получить ленивую строчку,
чтобы например, обрабатывать регэкспами?

Про HDBC-sqlite3, да и вообще, датабазы под виндовс
nivanych
Замучил я уже вас, дорогие мои, но уж не ругайтесь сильно ;-)

Возникли проблемки с HDBC-sqlite3, cabal'ом не ставится, говорит
* Missing C library: sqlite3
Я поискал, выполнил вот такие рекомендации ->
http://software.complete.org/software/wiki/13/FrequentlyAskedQuestions
То есть, залил sqlite3.h и sqlite3.dll в нужные директории.
Но нифига не помогло. Где ещё можно поискать, что бы делать?

И вообще, с чем работают с датабазами из хаскеля под виндовс?
Интересуют sqlite, PostgreSQL и (надеюсь, что не понадобится) ODBC.

Да, хаскель ставил, который Haskell Platform.

Update:
Всё оказалось просто, надо было дополнительно указать
--extra-include-dir и --extra-lib-dir
Ну и спасибо всем ответившим! ;-)

Haskell'ное IO в Windows
nivanych
Пробная хрень ->
main = do
····s <- openSerial "com6:" defaultSerialSettings
····forM_ "qwerqwerqwerqwer" $ sendChar s
····respMaybe <- sequence $ replicate 100 $ recvChar s -- непонятно
····print $ map unJust $ takeWhile (/= Nothing) respMaybe
····closeSerial s

unJust (Just t) = t
unJust Nothing = error "There no Nothing expected"

Хочу общаться с com-портом.
Для этого нашёл библиотечку,
и вроде бы, всё нормально,
но какая-то фигня с ленивостью.

recvChar :: SerialPort -> IO (Maybe Char)
Я его повторяю 100 раз, и вылавливаю список, пока не будет Nothing.
Тормоза растут линейно с увеличением числа (вместо 100).
Если написать repeat вместо replicate, тогда он не работает совсем.
По всей видимости, оно работает нифига не лениво,
а пытается сразу сделать кучу действий (recvChar s).
Почему так? Где-то я туплю?

Update:
Я таки туплю.
>>= строгая по первому аргументу...
Как я так, до сих пор, на это не натолкнулся...

Опаньки! ;-)
nivanych
Vladimir Molotkov
Glutoses: a Generalization of Topos Theory

A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on "non-commutative" or, more generally, "universal" algebraic geometry, which is alternative to already existing, and is closer, in some sense, to the classical Grothendieck's construction of commutative schemes. Another immediate application of the theory developed is construction of an extension of the category of Grothendieck schemes to the category of "etale schemes" containing together with any scheme every etale sheaf over it as well.
The main result of this work is that for any presite satisfying some smallness conditions (existence of local sets of topological generators) there exists the universal "completion" of a presite to a glutos.

Да и остальные 3 статьи у него любопытные.

Полчаса отпуска -- полёт нормальный.
nivanych
Наконец-то, пошёл в отпуск.
Накопилось три месяца ;-)

Олимпиада
nivanych
Я вот тут услышал мнение, что
наши на олимпиаде хреново выступили
(а это правда так, я не смотрел?)
потому, что сказывается общая,
так сказать, разруха в стране.
Вроде как, довели страну, и рано, или поздно,
это должно было вылезти, как постепенно
вылазит во многих остальных областях...
А вы как думаете? ;-)

Subtyping Dependent Types
nivanych
Немного обсуждали с товарищем
про классы типов и даже про ОО,
я таки нашёл у себя старую статью,
и решил поделиться со всеми.
Ссылка на citeseer.
Ну и вот прямая ссылка на PDF.

Categorical Galois Theory
nivanych
Вроде бы, это всё очень интересно.
Только вот, достать ничего по теме не получается.
http://ncatlab.org/nlab/show/categorical+Galois+theory
http://ncatlab.org/nlab/show/Galois+Theories
Ну да ладно ;-)

Thesz
nivanych
Оказывается, был такой
professional wrestler,
звали его Lou Thesz ->
http://en.wikipedia.org/wiki/Lou_Thesz

Самба и около
nivanych
Мне вот сейчас требуется периодически лазить
с моего линукса по куче чужеродных виндовых шар.
Кто чего посоветует, только чтобы не приходилось
постоянно монтировать, и не содержало kde или gnome?
В принципе, подойдёт какой-нибудь файловый бравзер,
или даже аналог какого-нибудь lftp для самбы.
Или ж, куда мне лучше обратиться за советом?

Про darcs
nivanych
Объявляется конкурс!
Кто скажет больше всего плохого про darcs? ;-)
Разумеется, принимается только обоснованное.
А то вот, из всех распределённых, я имел дело
только с mercurial, и он мне понравился.
Но вот я немного почитал от том, как работает darcs,
и подумалось, не попробовать ли мне?...

Боян, но всё же!
nivanych
Люто, бешенно агитирую за nLab!

The Reasoner
nivanych
http://www.thereasoner.org
is a monthly digest highlighting exciting new research on reasoning, inference and method broadly construed. It is interdisciplinary, covering research in, e.g., philosophy, logic, AI, statistics, cognitive science, law, psychology, mathematics and the sciences.

Содержание статей ->
http://www.kent.ac.uk/secl/philosophy/jw/TheReasoner/contents.htm

В частности, меня привлекло Interview with Tom Leinster,
ну и потом заметил всё остальное, там много любопытного.

Меня вчера назвали очень умным!
nivanych
Назвали после объяснения одной нашей сотруднице
решения задачек для 6-го класса про множества,
и заодно, за понятное объяснение ей понятий
объединения и пересечения множеств.
UPD:
Она ж квалифицированный геофизик,
её и не надо знать всякую фигню.

Чайниковский вопрос по матфизике
nivanych
Наверное, любой человек, который
хоть чуть изучал матфизику, помнит,
что такое уравнение эйконала.

Мне нужно почти то же самое, но только
устремить к нулю длину _одного_импульса_.
Вроде, и похоже чем-то, да и не похоже...

Кто-нибудь, знает, это решается как-то аналитичеки?
Может быть, при каких-то дополнительных условиях?
Да, среда неоднородная.

Может, не стыдно и в ru_math спросить...

?

Log in