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

путь к теории категорий [Nov. 23rd, 2014|07:10 pm]
[Tags|]



есть очевидный путь к теории категорий: формальная логика, алгебраические структуры, порядки, теория категорий
вы ищете «царский» путь, читаете философию, научпопные сказки, лишь бы не изучать математику
зачем вы так?

настенькины комиксы, не надо так, рисовач.ру
Link10 comments|Leave a comment

танцуют все (рефлексивность по Соросу) [Nov. 8th, 2014|10:44 pm]
[Tags|]

Я редко читаю философию, так как считаю её бесполезной. Тем больше ценю философов, которые говорят что-то дельное. Здесь я хочу рассказать о Соросе. Как философ он придумал теорию рефлексивности. Я не уверен, что это можно назвать теорией. Скорее это изъян экономической теории. Я попробую пересказать его идею своими словами.

Читати даліCollapse )
LinkLeave a comment

дворник с высшим образованием [Nov. 8th, 2014|04:03 pm]
[Tags|, ]

Вакансия.
Помощник системного администратора
Требования:
- в/о (красный диплом)

Аспирантура?
Link2 comments|Leave a comment

StackExchange [Nov. 8th, 2014|03:45 pm]
[Tags|]

Кто может объяснить, почему я получаю много нерелевантных ответов на StackExchange-подобных сайтах? Потому что люди торопятся заработать рейтинг и не успевают подумать?
LinkLeave a comment

теория категорий помогает в животноводстве [Nov. 4th, 2014|11:57 am]
[Tags|, , ]

Я уже начал популяризовать теорию категорий. А также другие полезные концепции. А ты?
Link1 comment|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

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