?

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

логика Аристотеля [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 )
Link9 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

потому что мы пилоты [May. 6th, 2016|06:28 pm]
beroal
[Tags|, , ]

Видел вакансию «Работник в фирму Intel на конвейер в Польше». Вспомнил анекдот: «Как, мне уйти из авиации?!»
Link1 comment|Leave a comment

a working XFS driver for Windows [Apr. 28th, 2016|11:51 pm]
beroal
[Tags|, , ]

Introduction

When you are looking for a driver of XFS, a well-known filesystem for Unix, for the Windows operation system, Linux forums leave the bitter word “impossible” in your heart. If you end up here for the same reason, I have good and bad news for you. The good news is, there is a XFS driver for Windows by Crossmeta/Pavitrasoft. Yes, it works despite what you read on the web. The bad news is, it works with old versions of XFS only. I guess this is a stumbling point for many users. Another obstacle is the absence of reasonable documentation for the driver and the presence of outdated skimpy tutorials. This is true even for the official manual. No wonder users feels frustrated.

This manual expects you to know basic commands and command-line shells of Linux and Windows, for example, how to view contents of a directory.

to be continuedCollapse )

Conclusion

Actually, this task turned out to be easy in contrast to what I was preparing for. In its current state, the driver is not as useful as it can be. I believe that Crossmeta programmers are able to upgrade their driver so it will support the newest version of XFS, but, unfortunately, I was not able to reach them.
LinkLeave a comment

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