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.

Functional programming, computer science, mathematics.

My favorite links from Diigo: RSS, HTML.

OpenSearch plugin for searching on:

Short proofs in Coq.
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).

Лента выбранных мною из чужих блогов записей: RSS, HTML. Содержание примерно такое же, как и у данного блога, то есть функциональное программирование, программирование в целом, информатика, реже математика и физика. Надеюсь, вы найдёте в ней интересных людей.

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

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

the list type constructor and its analogs [Oct. 14th, 2014|11:44 am]
[Tags|, , ]

Besides singly linked (inductive) lists, there are other entities similar to lists. They may be more or less convinient than lists depending on a problem.

to be continuedCollapse )
LinkLeave a comment

ассопа [Sep. 28th, 2014|08:43 pm]
[Tags|]

Какие ассоциации вызывает у вас это слово?
Link3 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

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