?

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

ПО как общественное благо [Aug. 16th, 2016|10:23 pm]
beroal
[Tags|, ]

Продолжение темы инвестиций в программирование. Я её не бросил, но я просто не знаю, что с ней делать. Подытоживая комментарии, предложенные мне решения по сути уклоняются от продажи ПО. Это продажа услуг, производимых программой, (software as a service) или продажа компьютеров с зашитыми программами, на которых пользователь не имеет прав администратора (бытовая техника, приставки, проигрыватели, электронные книги).

Другая категория решений — продавать ПО как общественное благо. В институте мы такого не учили, поэтому мне пришлось подучить экономическую теорию. Общественные блага характерны тем, что продажа на рынке не приводит к оптимальному решению. Тем не менее, человечество уже давно и успешно продаёт общественные блага. В учебнике описывается механизм Викри—Кларка—Гровса. Моё впечатление от него выражается словами «не годится». Мне кажется, что следует опираться на репутацию. С помощью репутации решается дилемма заключённого. Заключённый сотрудничает, потому что надеется на сотрудничество с стороны других в следующих раундах игры. Кто что знает по этому вопросу?
Link3 comments|Leave a comment

Если бы я был султан, я бы организовал обучение программистов так… [Aug. 14th, 2016|10:36 pm]
beroal
[Tags|, , ]

Сначала программист должен пройти тот учебный курс, который обычно называется «Введение в (абстрактную|высшую) математику» («Introduction to (abstract|advanced) mathematics») и включает математическую логику, теорию множеств, иерархию чисел и структуры. Его следует приспособить к программированию. А именно, заменить математическую логику и теорию множеств на теорию типов и выбросить то, что относится к математическому анализу, то есть вещественные числа, топологию и тому подобное. Этого курса больше всего не хватает программистам, и он открывает перед ними широкие возможности.
  • Он поможет изучать современную информатику (computer science).
  • Он поможет изучать современную математику. Скорее всего, программисту понадобится в работе какой-то раздел прикладной математики, например, линейная алгебра.
  • Он знакомит с верификацией. Чтобы рассуждать о программах, надо знать логику.
  • Он знакомит с настоящими абстракциями. Сейчас программисты выдумывают абстракции так, как принято в философии.
  • Он помогает программисту улучшать свою работу, потому что учит анализировать свою работу. Сейчас программисты анализируют так, как принято в философии.


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

придумайте какую-нибудь теорию [Aug. 8th, 2016|10:14 pm]
beroal
[Tags|, , , , ]

Задача из учебника по физике: «Запишите уравнение Менделеева—Клапейрона. Придумайте задачу на его применение и решите её». По мотивам я придумал свою: «Изучите теорию категорий. Научите теории категорий других. Придумайте ещё какую-нибудь теорию».
Link4 comments|Leave a comment

Возможно ли инвестировать в программирование? [Jul. 14th, 2016|09:29 pm]
beroal
[Tags|, ]

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

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

иск против Google из-за дискриминации по возрасту [Jul. 1st, 2016|12:31 pm]
beroal
[Tags|, ]

«Всего лишь год назад два человека, которым Google отказал в работе, подали в суд против компании. Они утверждают, что им отказали из-за возраста. Оба были старше лет». «Computer World». Однако мне показался более интересным следующий случай. «Одна женщина, которая искала работу в Google, сообщила, что «интервьюер выразил озабоченность о культурном соответствии, заметив, что она, пожалуй, не соответствует их «стилю жизни»». Согласно документам суда, эта необозначенная женщина заверила интервьюера, что «она готова работать сверхурочно», но «интервьюер ответил, что он всё равно обеспокоен, что она недостаточно гугловская»». После прочтения книги про Google я не удивлён. Обсуждение.
Link1 comment|Leave a comment

логика Аристотеля [Jun. 23rd, 2016|11:54 pm]
beroal
[Tags|, ]

Философы в США до сих пор изучают логику Аристотеля. Я в шоке.
Link5 comments|Leave a comment

swap на SSD [Jun. 20th, 2016|01:53 am]
beroal
[Tags|]

Поскольку у моего десктопа мало памяти (2 ГиБ), я решил добавить swap на SSD. Опасения, что так я быстро угроблю SSD, оказались напрасными.

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

Программирование — это… [Jun. 19th, 2016|02:10 pm]
beroal
[Tags|, , ]

В вакансии для программиста может быть написано что угодно, но в конечном счёте это окажется PHP. Love is…
Link3 comments|Leave a comment

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