Не согласен; категория — это не теоретико-множественная модель. В категориях можно построить теорию множеств (ну точнее, в топосе с NNO); можно и наоборот — но эти две теории независимы.
Нет, не определяет. Теория категорий не нуждается в теории множеств. Теория множеств, как говорят сторонники интеллигентного дизайна — всего лишь теория; и их много разных.
Я вообще-то программист; но изъясняться на примитивном уровне пэхэпэшников и вижуал бейсиков не планирую. Эти поколения тупых быдлокодеров приходят и уходят; зачем бы это им загружать мозги излишними знаниями, если им самим не треба? И вы не дети. Вы взрослые люди.
Ваши кучи и делегаты тут ни при чем. Попробуйте выучить несколько новых слов и понятий; может оказаться интересным; если ж не хотите — значит, этот текст не для Вас.
Я не ставил себе целью убедить кого-либо в чём либо; а также не ставил целью мотивацию. Написал это для людей, которые сами себя мотивируют, но которым лень продираться через сотни страниц МакЛейна.
Ну дай им бог удачи. Я лично это делал для себя и людей, которых я уважаю. Что, к примеру, с того, что матрицу обратить или производную взять может один из миллиона?
1. Я не знаю, чья это бюрократия, московская или маунтин-вьюшная. Обе стоят друг друга.
2. Что я тут могу сказать? Гугл никогда не реагировал на юзерский фидбак.
3. Я посчитал их не наиболее актуальными, а просто актуальными. Более того, я знаю, что есть документы, которые иначе вообще не найти. И это было одним из предполагаемых козырей, которые я впаривал, пытаясь продвинуть эту клавку.
Да, наверное, можно было и для других народов. Но это было у меня на третьем месте: первое — выпустить хоть что-то, второе — присобачить к джимейлу, и третье — нац языки России.
А вот почему никто не спрашивает, как это так что на translate.google.com моей клавки как не было, так и нету? Уж не из-за того ли, что Дима Гензель, хозяин этой апликации, в обиде на меня за то. что я его дуру жену прокатил на интервью? Хер его знает. Темна вода во облацѣхъ. А между тем, даже патент зафайлен на трюк, позволяющий автоматически менять раскладку при смене языка ввода…
С японским не особо что вышло. Я знаю катакану и хирагану, их и запрограммировал, плюс транслитный вариант, когда «кореxа нандесука» плавно интерпретируется как これはなんですか (см myjavatools.com/k/kas/)
А канджи я не знаю, ну и проигнорировал; плюс, японец, который сделал вариант с аджаксом, меня молча посылал, когда я просил помощи.
Я клавку эту знакомым украинцам показывал. И русскую, и украинскую. Добровольцев помочь добавить раскладки к украинскому не нашлось. А мне так совершенно невдомёк, был ли ять у древних укров, и если был, то где.
Я что-то перестал понимать, в России что, народ совсем отупел? Историю родного языка знать не желает? Где ваш патриотизм-то, а?
А впрочем… идём как-то мы с Лёвой мимо блок-поста общества Память; а у них на плакате какая-то хренопень написана, и вместо ятей еры понатыканы. Я им вежливо указал на ошибки; они же мне, жидовской морде, посоветовали валить в свой Израиль.
Соображениями руководствовался не гугл, а я. Мне именно хотелось, чтобы «не лепо ли ны бяшеть братие» можно было искать в оригинальной транскрипции", так же как и различные документы в старой орфографии — можно найти много хорошего, чего яндекс не находил.
А то на хрена бы я вставлял юс большой йотированный? Для советского человека буквы «ю» вполне достаточно.
«1) Почему виртуальная клавиатура не умеет набирать английские символы?
1) Почему вне зависимости от национального домена (.ru, .jp,..) можно набирать только «родные» символы? Искать на других языках (что, по идее, и должна делать эта клавиатура), она не позволяет. А символы, соответствующие моей локали, и так есть на моей «железной» клавиатуре.
2) Зачем поисковику, который не учитывает регистр символов, виртуальные кнопки смены регистра (Caps/Shift)?»
1) Как я её разработал, клавиатура могла содержать несколько раскладок, и даже все раскладки, переключаемые через иерархическое меню. Для русского языка, в частности, было три раскладки: стандартная русская, русская транслит, и английская. Клик — и переключился. Но нынче кто-то в гугле… или они не могли сбилдить правильно… (всё определяется сборками в билд-скрипте) хрен их знает.
1) Это политика. В гугле у каждого очень много ума, и все стараются друг друга перекричать. на данный момент перекричали всех люди, которые считают, что надо именно так.
2) Клавиатура делалась не для поисковика, а вообще. Я её и в жж использую. А вот то, что для того редактора, который гугл использует в gmail, интерфейса нету — это вина моя; не успел! Так было как бы нефиг делать, но мне хотелось выпустить хоть тушкой, хоть чучелом.
2. Что я тут могу сказать? Гугл никогда не реагировал на юзерский фидбак.
3. Я посчитал их не наиболее актуальными, а просто актуальными. Более того, я знаю, что есть документы, которые иначе вообще не найти. И это было одним из предполагаемых козырей, которые я впаривал, пытаясь продвинуть эту клавку.
Да, наверное, можно было и для других народов. Но это было у меня на третьем месте: первое — выпустить хоть что-то, второе — присобачить к джимейлу, и третье — нац языки России.
А вот почему никто не спрашивает, как это так что на translate.google.com моей клавки как не было, так и нету? Уж не из-за того ли, что Дима Гензель, хозяин этой апликации, в обиде на меня за то. что я его дуру жену прокатил на интервью? Хер его знает. Темна вода во облацѣхъ. А между тем, даже патент зафайлен на трюк, позволяющий автоматически менять раскладку при смене языка ввода…
А канджи я не знаю, ну и проигнорировал; плюс, японец, который сделал вариант с аджаксом, меня молча посылал, когда я просил помощи.
А впрочем… идём как-то мы с Лёвой мимо блок-поста общества Память; а у них на плакате какая-то хренопень написана, и вместо ятей еры понатыканы. Я им вежливо указал на ошибки; они же мне, жидовской морде, посоветовали валить в свой Израиль.
Так что это.
А то на хрена бы я вставлял юс большой йотированный? Для советского человека буквы «ю» вполне достаточно.
1) Почему вне зависимости от национального домена (.ru, .jp,..) можно набирать только «родные» символы? Искать на других языках (что, по идее, и должна делать эта клавиатура), она не позволяет. А символы, соответствующие моей локали, и так есть на моей «железной» клавиатуре.
2) Зачем поисковику, который не учитывает регистр символов, виртуальные кнопки смены регистра (Caps/Shift)?»
1) Как я её разработал, клавиатура могла содержать несколько раскладок, и даже все раскладки, переключаемые через иерархическое меню. Для русского языка, в частности, было три раскладки: стандартная русская, русская транслит, и английская. Клик — и переключился. Но нынче кто-то в гугле… или они не могли сбилдить правильно… (всё определяется сборками в билд-скрипте) хрен их знает.
1) Это политика. В гугле у каждого очень много ума, и все стараются друг друга перекричать. на данный момент перекричали всех люди, которые считают, что надо именно так.
2) Клавиатура делалась не для поисковика, а вообще. Я её и в жж использую. А вот то, что для того редактора, который гугл использует в gmail, интерфейса нету — это вина моя; не успел! Так было как бы нефиг делать, но мне хотелось выпустить хоть тушкой, хоть чучелом.