?

Log in

No account? Create an account
язык, на котором не говорят — LiveJournal [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: HTML; Atom.

My favorite links in


OpenSearch plugin for searching on

Short proofs in Coq.

test link
Link2 comments|Leave a comment

по-русски [Jun. 1st, 2020|12:00 am]
beroal
[Tags|]

Добро пожаловать!

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

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

only Haskell (the programming language)

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

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

Лента выбранных мною из чужих блогов записей:


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

An invitation to Secure Scuttlebutt (SSB) [Jun. 28th, 2019|09:26 pm]
beroal
[Tags|, ]

I invite you to Secure Scuttlebutt (SSB), a serverless social network, where nobody can deprive you of the access to the network or delete your information and only you decide who to read and what to retransmit.

Unfortunately, the part “only you decide who to read” works the opposite way: people will not read you until they know about you. This is the reason few people read novices in the network. I can help you: I will read you and retransmit your information. If you are interested, follow the guide below.

to be continuedCollapse )
LinkLeave a comment

Diaspora* опять [Oct. 11th, 2018|02:39 pm]
beroal
[Tags|]

Некоторое время я использую Diaspora*, и активность там, похоже, растёт. Некоторые её фичи меня не устраивают, но на ближайшее время сойдёт. Мой профиль.
LinkLeave a comment

МФА как международная письменность [Oct. 11th, 2018|02:34 pm]
beroal
[Tags|]

Пример. Читаю про языки Индии в английской Википедии, и встречаю письменность под названием «Devanāgarī». Это название написано явно не на английском, потому что буквы «ā» в английском алфавите нет, да и «na» по правилам английского языка должно читаться «neɪ», а читается «nɑː». Имеем какой-то способ записи индийской речи на основе латиницы. Другой пример: ромадзи — способ записи японской речи на основе латиницы. Но у нас уже есть способ записи разной речи на основе латиницы — международный фонетический алфавит. ☺ Легче выучить один алфавит, чем по алфавиту для каждого языка. МФА также упростит транскрипцию иностранных слов. Сейчас для каждой пары языков X и Y выдумали или надо выдумать транскрипцию из X в Y. С МФА достаточно для каждого языка X выдумать транскрипцию из МФА в X. Транскрипцию из X в МФА выдумывать не надо, потому что МФА будет включать X. Ну, а транскрипция из МФА в X нужна, к сожалению, так как носители языка X не все звуки способны произносить.

Кто-то скажет: «Зачем нам ещё один язык, если у нас уже есть английский?» Извините, но английский на роль фонетической письменности совершенно не годится. Попытки записывать произношение на английском языке есть по понятным причинам, но они вызывают только смех сквозь слёзы. Например, в учебнике по Юникоду та же «Devanāgarī» называется «deh-vuh-NAH-guh-ree». Нах! ☺
Link4 comments|Leave a comment

телефонный спам [Sep. 3rd, 2018|07:46 pm]
beroal
[Tags|, ]

Всё, что не модерируется, скоро зарастёт спамом. Включая телефонную связь. Как вы думаете, для телефонов сделают спам-фильтры, или люди просто перестанут пользоваться телефонами?
Link8 comments|Leave a comment

information search [Sep. 3rd, 2018|06:42 am]
beroal
[Tags|, , , ]

A little prediction. People will move information search from Google to social networks so they can filter search results according to their preferences. Google will be useful only for search queries that return a small number of results due to its big database. Consequently, Google will concentrate on information preservation and abandon complex rating algorithms.
LinkLeave a comment

Java precisely [Jul. 22nd, 2018|03:45 pm]
beroal
[Tags|, ]

Вышло новое издание книги «Java precisely» by Sestoft. Теперь я могу быть свободен от невнятных объяснений на пальцах. ☺ Предыдущий пост.
LinkLeave a comment

пожертвуй бизнесмену [Jul. 17th, 2018|07:20 am]
beroal
[Tags|]

Люди предлагают бесплатную услугу в интернете и просят пожертвовать на неё. Видимо, сейчас совсем плохо учат экономическую теорию. Не знают, что за услугу можно просто требовать деньги. ☺
Link7 comments|Leave a comment

safe programming language [Jul. 3rd, 2018|09:02 am]
beroal
[Tags|, , ]

Safe programming languages are gaining popularity. I wonder what is the formal definition of safe PL. For example, C is not safe, but Java is safe. I suspect that the property “safe” should be applied to a PL implementation rather than to the PL itself. If so, let’s discuss a definition of safe PL implementation. My own attempts to formalize this notion led to a strange outcome, so I would like to hear other opinions. Please, do not say that every PL has unsafe commands. We can always take a safe subset.

My definition of safe PL implementation refers to the notion of multithreading which I will not define here. Informally, a PL implementation is safe if it does not spoil the execution of other threads. A PL implementation impl is safe iff for any two threads thread_0 and thread_1 such that thread_0 runs impl, the real semantics of thread_1 is equal to its official semantics. By the official semantics of thread_1, I mean the semantics of the program that thread_1 runs according to the semantics of the PL in which that program is written. By the real semantics, I mean the behavior of thread_1 as it runs along thread_0. The real semantics may differ from the official semantics because of thread_0 interfering with thread_1, for example, writing to the memory region belonging to thread_1. As usual, semantics does not include running time or memory consumption.
Link4 comments|Leave a comment

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