| по-русски |
[Jun. 1st, 2020|12:00 am]
|
Добро пожаловать!
Для обратной связи пишите сюда комментарии. Если я вас не добавляю в друзья, это не значит, что я вас не читаю.
Этот блог узкотематический. У меня есть и другие блоги, просто оставьте запрос.
Поисковые системы на платформе Google Custom Search Engine:
OpenSearch plugin (то есть для Firefox) для поиска по:
Математические доказательства на языке Coq. В основном мелочь, среди крупных модулей можно выделить CategoryTheory, IntBipart (целые числа как кольцо Гротендика), TakeDrop («take» и «drop» из Haskell.Data.List).
Лента выбранных мною из чужих блогов записей: Atom, HTML. Содержание: Примерно такое же, как и у данного блога, то есть функциональное программирование, программирование в целом, информатика, реже математика и физика. В ленте мало новостей, то есть постов, начинающихся со слов «Google заявил», «IBM решил», «вышел релиз», «Simon Peyton Jones дал интервью». Лента состоит из обычной жизни обычных программистов, а не небожителей. Надеюсь, вы найдёте в ней интересных людей.
Кто не является моим другом, должен вводить CAPTCHA при добавлении комментария. Я добавляю в друзья всех вменяемых комментаторов, поэтому стукните мне, если я конкретно о вас забыл.
Употребление слова «непонятно» в комментариях приравнивается к мату.
Мой профиль в Google. |
|
|
| окно в интернет |
[May. 24th, 2013|07:55 pm]
|
Найти с помощью поискового сервиса что-то полезное становится с каждым годом труднее. Это особенно заметно, когда я ищу популярное слово. Сначала идут купи-продайки, потом content farms. Настойчивым людям я рекомендую сразу перемотать на 300-ю ссылку в результатах поиска. :-)
Полезным остаётся поиск по словами, по которым пока никто не додумался спамить. Примеры: диффеоморфизм, пелагический, скафандр. Полезным остаётся поиск длинных фраз. Например, вы хотите вспомнить, на каком сайте видели некоторую фразу, или хотите узнать, сколько сайтов перепечатало вашу статью. Это правило можно обобщить: результатов поиска настолько мало, что рейтинг сайта не имеет значения. Следовательно, проблема в алгоритме вычисления рейтинга. Или в понятии рейтинга вообще.
( Читати даліCollapse ) |
|
|
| поиск людей по параметрам |
[May. 13th, 2013|12:04 pm]
|
Сайты для поиска людей по параметрам уже существуют, например, сайты знакомств, вакансий. У меня есть идея аналогичного сайта со следующими отличиями:
( Читати даліCollapse )
Существенное отличие от традиционных сайтов:
- На традиционном сайте пользователь задаёт параметры поиска, получает список людей.
- В моём случае пользователь узнаёт близость к тем людям, с которыми он пересекается в интернете, то есть уже с ними общается.
В принципе, меня устроит и готовая такая система… |
|
|
| «Психбольница в руках пациентов». Рецензия. |
[Apr. 22nd, 2013|09:40 pm]
|
Увидев рецензию на какую-то книгу в своей ленте, решил и сам что-то написать. Учитывая, что я давно не касался своего блога.
Книга «Психбольница в руках пациентов». (Не спрашивайте, пожалуйста, почему я начал её читать. :-) ) Книга посвящена программированию в широком смысле и обещает научить нас работе с заказчиками. Ну, там, интерфейс пользователя, как отличать нужную функциональность от ненужной, как сделать программу привлекательной. Менеджменту она не посвящена.
( Читати даліCollapse ) |
|
|
| signature verification direct request of loginza.ru Relying Party is not correct |
[Mar. 1st, 2013|03:21 pm]
|
I have recently installed a personal OpenID provider (SimpleID) and linked it to my domain name. It performed well on OpenID test websites but failed on the real-world relying party “Loginza”. I do know that OpenID is hard because of incompatibilities between the OpenID specification and OpenID websites. But I have little choice: OpenID, SSL client certificates, proprietary platforms. Fortunately, owning the Provider part, I can debug.
( to be continuedCollapse ) |
|
|
| сообщество двуногих |
[Oct. 24th, 2012|10:10 pm]
|
|
Я не понимаю терминов типа «Haskell community» или «Perl community». Я-то думал, что community образуется на основании симпатий и антипатий, а язык программирования — критерий третьестепенный. Правило «Если ты программируешь на Java, то я с тобой дружу, а если ты не программируешь на Java, то я с тобой не дружу» кажется мне странным. |
|
|
| Dijkstra. ““Real mathematicians don't prove.”” “On a cultural gap (Dra |
[Oct. 1st, 2012|08:41 pm]
|
Опубликован перевод ещё двух заметок Дейкстры о математике. Заметка «Настоящие математики не доказывают» (““Real mathematicians don't prove””, EWD1012) рассказывает о том, что люди, которые не считают формальное доказательство критерием истины, существуют не только в программировании, но и в математике. Правда, в программировании их намного больше. Заметка «О пропасти между культурами. (Черновик.)» (“On a cultural gap (Draft.)”, EWD913) рассказывает, какие исторические факторы привели к тому, что информатика оказалась оторванной от математики.
Я решил не засорять блог переводами. Список переводов здесь, там же лента с новыми переводами. Обсуждение переводов можно посылать мне лично или в сообщество  transnote. |
|
|
beroal