?

Log in

язык, на котором не говорят [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]
[ tags | journal tags ]

in English [Jul. 1st, 2020|12:00 am]
beroal
[Tags|]

Welcome!

Posts in English in this blog.

Functional programming, computer science, mathematics.

My favorite links from Diigo: RSS, HTML.

OpenSearch plugin for searching on:

Short proofs in Coq.

test link
Link2 comments|Leave a comment

по-русски [Jun. 1st, 2020|12:00 am]
beroal
Добро пожаловать!

Для обратной связи пишите сюда комментарии. Если я вас не добавляю в друзья, это не значит, что я вас не читаю.

Этот блог узкотематический. У меня есть и другие блоги, просто оставьте запрос.

Поисковые системы на платформе Google Custom Search Engine:
против мошенничества

only Haskell (the programming language)

OpenSearch plugin (то есть для Firefox) для поиска по:

Математические доказательства на языке Coq. В основном мелочь, среди крупных модулей можно выделить CategoryTheory, IntBipart (целые числа как кольцо Гротендика), TakeDrop («take» и «drop» из Haskell.Data.List).

Лента выбранных мною из чужих блогов записей: RSS, HTML. Содержание примерно такое же, как и у данного блога, то есть функциональное программирование, программирование в целом, информатика, реже математика и физика. Надеюсь, вы найдёте в ней интересных людей.

Кто не является моим другом, должен вводить CAPTCHA при добавлении комментария. Я добавляю в друзья всех вменяемых комментаторов, поэтому стукните мне, если я конкретно о вас забыл.

У меня есть личный веб-сайт.
Link6 comments|Leave a comment

собирание виртуальных дипломов [Feb. 12th, 2017|07:52 am]
beroal
[Tags|, ]

На образовательных веб-сайтах я столкнулся с парадоксом. Как и в физической жизни, большинство студентов интересует только одна вещь: как сдать экзамен и свалить. Поэтому вопросы на форумах в основном логистические: последний срок сдачи экзамена, а почему так мало попыток. При этом работодателей мало интересуют онлайн-сертификаты, поэтому главным мотивом для прохождения онлайн-курса должно быть желание научиться, а не получить «корочку». Почему так происходит?
Link1 comment|Leave a comment

выбор между веб-программой и локальной [Feb. 10th, 2017|02:53 pm]
beroal
[Tags|, , ]

Веб не был предназначен для создания GUI, и даже сейчас плохо приспособлен для этого. Веб-сайты медленны и глюкавы, намного хуже локальных программ. Преимущество веб-GUI — лёгкая и быстрая установка программ. Я имею в виду, чтобы запустить программу веб-сайта, достаточно зайти на этот веб-сайт. Установка даже слишком лёгкая, поэтому угрожает безопасности пользователей.

Я много пользуюсь Coursera, и с ней я достиг точки равновесия. Coursera настолько тормозит, что я потерял на ней больше времени, чем потратил бы на компиляцию и установку соответствующей программы.
LinkLeave a comment

хранение идентификатора формата файла [Feb. 8th, 2017|05:53 pm]
beroal
[Tags|]

Способы хранить идентификатор формата файла:
  • в атрибутах файла в файловой системе;
  • внутри файла.

Читати даліCollapse )
LinkLeave a comment

имитировать компьютер [Jan. 28th, 2017|09:33 pm]
beroal
[Tags|, ]

Тест Тьюринга полезен тем, что покажет, каких людей считают «генераторами случайных текстов». ☺
Link1 comment|Leave a comment

специализированные протоколы и общественные блага [Jan. 25th, 2017|10:59 am]
beroal
[Tags|]

Есть несколько интерфейсов для передачи данных — SATA, PCI Express, HDMI, USB 3.0 — которые используют low-voltage differential signaling. Это не значит, что они взаимозаменяемы для пользователя. Например, пользователь не может подключить жёсткий диск к выходу HDMI видеокарты, если не хватает разъёмов SATA, даже с помощью активного переходника. Интересная особенность этих интерфейсов в том, что они специализированны, интерфейс выполняет узкую функцию.

Читати даліCollapse )
Link2 comments|Leave a comment

принцип наименьшего сюрприза [Jan. 23rd, 2017|08:11 am]
beroal
[Tags|, , ]

Этот принцип имеет своё место в программировании. Это место скромное. Его следует использовать при проектировании интерфейсов пользователя (ип) для новичков и эпизодических пользователей. Его не стоит использовать при проектировании ипов для опытных пользователей. Подразумевается, что опытный пользователь учил ип, то есть все «сюрпризы» он уже знает. Этот принцип ни в коем случае нельзя использовать при проектировании япов. Он просто не даёт япам развиваться. Любая глубокая концепция идёт вразрез с стереотипами среднего программиста.
Link9 comments|Leave a comment

ментура [Jan. 19th, 2017|09:12 am]
beroal
[Tags|, ]

Я поступил в ментуру на Курсере и стал ментором. Потом, глядишь, и до дементора дослужусь. 😀
Link2 comments|Leave a comment

интеллектуальный поиск по интернету [Jan. 18th, 2017|10:31 am]
beroal
[Tags|, , ]

Как обстоят дела сейчас с интеллектуальным поиском по интернету? Я имею в виду поисковый сервис, который для веб-страницы запоминает не только ключевые слова, но и смысл текста. У меня бывают поисковые запросы, для которых нет специфических ключевых слов. Google, несмотря на свою мощь, ищет по ключевым словам. Он выдаёт много мусора на мой запрос, приходится фильтровать вручную, заходить на каждую веб-страницу. Это отнимает много времени.

Я понимаю, что интерпретация текста на естественном языке требует много вычислений. Допустим, я готов платить за каждый ответ на мой запрос. Сколько примерно это будет стоить?

P. S. Когда-то семантический веб был модной темой. С ней стало то же, что и с всеми модными темами — «воздушный замок», используя выражение Дейкстры. ☺ Впрочем, кажется, семантический веб — немного не то. В семантическом вебе веб-мастера должны добавлять к своим веб-сайтам семантическую информацию на специальном языке.
LinkLeave a comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]