| по-русски |
[Jun. 1st, 2020|12:00 am] |
Добро пожаловать!
Для обратной связи пишите сюда комментарии. Если я вас не добавляю в друзья, это не значит, что я вас не читаю.
Этот блог узкотематический. У меня есть и другие блоги, просто оставьте запрос.
Поисковые системы на платформе Google Custom Search Engine:
OpenSearch plugin (то есть для Firefox) для поиска по:
Математические доказательства на языке Coq. В основном мелочь, среди крупных модулей можно выделить CategoryTheory, IntBipart (целые числа как кольцо Гротендика), TakeDrop («take» и «drop» из Haskell.Data.List).
Лента выбранных мною из чужих блогов записей: Atom, HTML. Содержание: Примерно такое же, как и у данного блога, то есть функциональное программирование, программирование в целом, информатика, реже математика и физика. В ленте мало новостей, то есть постов, начинающихся со слов «Google заявил», «IBM решил», «вышел релиз», «Simon Peyton Jones дал интервью». Лента состоит из обычной жизни обычных программистов, а не небожителей. Надеюсь, вы найдёте в ней интересных людей.
Кто не является моим другом, должен вводить CAPTCHA при добавлении комментария. Я добавляю в друзья всех вменяемых комментаторов, поэтому стукните мне, если я конкретно о вас забыл.
Употребление слова «непонятно» в комментариях приравнивается к мату.
Мой профиль в Google. |
|
|
| байт |
[Mar. 10th, 2012|10:17 am] |
Пришло в голову. что понятие байта больше не имеет практической ценности. Когда-то и числа, и буквы имели размер байта, это было удобно. Сейчас числа имеют разный размер в зависимости от процессора, и даже в пределах одного компьютера разные шины данных имеют разную ширину. С буквами вообще бардак, который невозможно описать одним предложением.
Процессор должен видеть память как массив битов, а не массив байтов. |
|
|
| софизмы-синонимы |
[Dec. 13th, 2011|01:36 pm] |
Из разговора родился следующий ряд софизмов:
- «Пёс» и «dog» — это разные животные, потому что их названия звучат по-разному.
- Ньютон изучал притяжение Земли к Солнцу или притяжение Солнца к Земле?
- Join-semilattice и meet-semilattice — это абсолютно разные вещи.
А вы можете придумать изречение такого же рода? |
|
|
| правильные названия книг по математике |
[Nov. 20th, 2011|08:01 pm] |
Тайные знания древних цивилизаций о математическом анализе.
Духовный математический анализ. Раскрытие своих сверхспособностей.
Математический анализ под знаком индиго.
Чудотворный и исцеляющий математический анализ.
Математический анализ в родовых поместьях.
Русская доктрина математического анализа.
Кто на самом убил Каддафи? Математический анализ.
Добейся счастья и успеха с помощью математического анализа.
Обольщение силой математического анализа.
Математический анализ — путь к бессмертию.
Люби себя — говорит математический анализ.
Чайка по имени Математический Анализ.
Особенности национального математического анализа.
Застольные шутки и песни о математическом анализе.
Математический анализ учит рисовать мангу.
Готовим здоровую пищу с математическим анализом.
1001 рецепт математического анализа.
Математический анализ в стихах. Считалочки.
Математический анализ своими руками.
P. S. Доказано, что данная последовательность бесконечна. |
|
|
| искусство мыслить |
[Oct. 29th, 2011|07:37 am] |
|
Человек, который ни разу в жизни не придумал самостоятельно математическое доказательство, не имеет морального права учить абстрактно мыслить. Потому что как можно учить тому, что сам не умеешь делать? |
|
|
| lets number them from the last one |
[Oct. 13th, 2011|06:16 pm] |
Stereotypes are treacherous. They suggest you the “right” decision in such a way that you forget that you ever had a choice. They look comfortable now just to make your life awful later. Here I will talk about numbering/indexing of list elements. (Not about numbering of array elements starting from 1. That discussion is only good for making fun of it.)
base.Data.List.(!!) provides the standard numbering that I got used to: the head of any list has index 0.
( to be continued ) |
|
|
![[info]](http://l-stat.livejournal.com/img/userinfo.gif?v=91.7){kind=small}
beroal's journal