китайский пазл, фиолетовый, игрушка, бегемот, lilo

по-русски

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

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

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

only Haskell (the programming language)

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

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

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


У меня есть личный веб-сайт.
китайский пазл, фиолетовый, игрушка, бегемот, lilo

Linux system call speedup

Trying to measure the overhead cost of Linux system calls, I got the following strange result:
>./syscall.x
getting time time, ns: 30
syscall time, ns: 740 180 170 170 160 160 160 160 160 160 170 160 160 160 160 160 170 160 160 160 170 160 160 160 170 160 160 160 170 160 160 160 160 160 160 160 160 160 160 160 160 170 160 160 160 170 160 160 160 170 160 160 160 160 160 160 170 160 160 160 170 160 160 160


Collapse )
китайский пазл, фиолетовый, игрушка, бегемот, lilo

more medieval logic in contemporary education: Microsoft

In the course “DEV262x Logic and Computational Thinking” from Microsoft, students learn categorical syllogisms. How cute. I mean, Microsoft should know better.
Forms of Categorical Syllogisms

During the Middle Ages, logicians assigned Latin names to the fifteen forms of syllogism first proved valid by Aristotle. These syllogisms were arranged into four groups known as “figures.” The exact logical form for a syllogism is specified by giving the type (A, E, I, or O) for each sentence followed by the number of the syllogism’s figure.
китайский пазл, фиолетовый, игрушка, бегемот, lilo

logic in France

In France, the discipline of logic has traditionally been ignored in university-level scientific studies. This follows, undoubtedly, from the recent history of mathe­matics in our country which was dominated, for a long while, by the Bourbaki school for whom logic was not, as we know, a strong point.

Krivine, Jean-Louis. Foreword. Mathematical Logic: A Course with Exercises. By René Cori and Daniel Lascar. Trans. Donald H. Pelletier. Oxford: Oxford UP, 2000. Print.

First published in French as Logique mathématique
© Masson, Editeur, Paris, 1993
китайский пазл, фиолетовый, игрушка, бегемот, lilo

An invitation to Secure Scuttlebutt (SSB)

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.

Collapse )
китайский пазл, фиолетовый, игрушка, бегемот, lilo

МФА как международная письменность

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

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

information search

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.