You are viewing beroal

язык, на котором не говорят [entries|archive|friends|userinfo]
beroal

[ website | personal website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

in English [Jul. 1st, 2020|12:00 am]
[Tags|]

Welcome!

Posts in English in this blog.

OpenSearch plugin for searching on:

Short proofs in Coq.

In comments, please do not use words “incomprehensible”, “obscure”.
Link2 comments|Leave a comment

по-русски [Jun. 1st, 2020|12:00 am]
Добро пожаловать!

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

Этот блог узкотематический. У меня есть и другие блоги, просто оставьте запрос.

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

only Haskell (the programming language)

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

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

Лента выбранных мною из чужих блогов записей: Atom, HTML. Содержание: Примерно такое же, как и у данного блога, то есть функциональное программирование, программирование в целом, информатика, реже математика и физика. В ленте мало новостей, то есть постов, начинающихся со слов «Google заявил», «IBM решил», «вышел релиз», «Simon Peyton Jones дал интервью». Лента состоит из обычной жизни обычных программистов, а не небожителей. Надеюсь, вы найдёте в ней интересных людей.

Кто не является моим другом, должен вводить CAPTCHA при добавлении комментария. Я добавляю в друзья всех вменяемых комментаторов, поэтому стукните мне, если я конкретно о вас забыл.

Употребление слова «непонятно» в комментариях приравнивается к мату.

Мой профиль в Google.
Link6 comments|Leave a comment

модераторское [Jul. 3rd, 2014|10:43 am]
[Tags|, ]

На программистском форуме открылся новый раздел «Ответы кончающих сисадминов». :-)
Link4 comments|Leave a comment

DOU [Jun. 3rd, 2014|06:46 pm]
[Tags|, ]

Придумал расшифровку для «DOU» — долбоёбы Украины.
Link7 comments|Leave a comment

СС LiveJournal [May. 18th, 2014|07:20 pm]
«LiveJournal» начал использовать ТССЛ и МССШ. Будьте вы прокляты, дизайнеры!



Ещё один приём, который используют горе-дизайнеры, — разноразмерные шрифты, то есть размер самого мелкого и самого крупного шрифта отличается чуть ли не в 5 раз. Чтобы разглядеть мелкий текст, приходится приближаться к экрану, чтобы разглядеть крупный — удаляться.
Link3 comments|Leave a comment

формат беседы [May. 13th, 2014|10:22 am]
«Вопрос и ответ» («Q&A») — это не дискуссия, а разговор в формате «Ты начальник — я дурак».
LinkLeave a comment

стопдаун [May. 11th, 2014|02:18 am]
Какие ассоциации вызывает у вас это слово?
Link7 comments|Leave a comment

name the quadrilateral [May. 6th, 2014|08:07 pm]
[Tags|]

Originally posted by slavka at post
Link3 comments|Leave a comment

интеллектуальная элита [May. 2nd, 2014|09:53 pm]
[Tags|, ]

Почему программистов называют интеллектуальной элитой? Среди них больше ярких личностей? Какие гениальные мысли они родили? Кто из них стал духовным лидером? Где проявляется их интеллект, кроме родной фирмы?
Link4 comments|Leave a comment

lambda calculus abstract machine [Feb. 9th, 2014|08:28 pm]
[Tags|]

Я опубликовал справочный лист, по которому можно сравнить работу разных абстрактных машин для лямбда-исчисления. Охватывает categorical, Krivine и их разновидности (полный список там). Я, как всегда, переделал их так, как мне нравится. Например, я ввёл специальный регистр «result». Чтобы не усложнять нотацию, я взял один случай алгебраического типа данных: 2-местная сумма 2-местных произведений. Переменные кодируются индексами де Брёйна (De Bruijn).

Справочный лист составлен с помощью программы «Seamonkey Composer».
LinkLeave a comment

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