?

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

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

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

Читати даліCollapse )
Link25 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 )
Link10 comments|Leave a comment

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

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

Web Push [Jun. 11th, 2016|02:36 pm]
beroal
[Tags|, ]

Дело, конечно, нужное, так как принимать уведомления через email не удобно. Но меня одолевают сомнения.

Никак нельзя было сделать, чтобы уведомления доставлялись в веб-браузер без промежуточного сервера, который за всеми следит? Зачем передавать текст сообщения, если пользователь может открыть веб-страницу с этим сообщением, когда увидит уведомление? Скорей всего, пользователь зайдёт на веб-сайт, например, чтобы ответить на сообщение. То есть он прочитает информацию 2 раза.

Кажется мне, что или корпорация опять хочет за всеми следить, или мы наблюдаем результаты традиционной узколобости веб-программистов.
Link3 comments|Leave a comment

TeX [May. 18th, 2016|10:43 pm]
beroal
[Tags|]

Постепенно осваиваю TeX. Не для интереса, а по нужде. Чудны дела твои, Господи.
Link9 comments|Leave a comment

амёба и человек [May. 11th, 2016|10:28 am]
beroal
[Tags|, ]

Несколько раз наблюдал следующий феномен на постсоветском пространстве. Человек заявляет, что он будет что-то учить, и приглашает других, но очень быстро это начинание глохнет. Я насчитал 5 случаев. Именно с нашими, советскими людьми. :-) Возможно, просто мне такие люди попадаются или я настолько не интересен. Причины феномена можно выдумать разные.

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

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