You are viewing beroal

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

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

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

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

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

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

only Haskell (the programming language)

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

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

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

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

У меня есть личный веб-сайт.
LinkReply

Comments:
[User Picture]From: twilight_sun
2008-07-25 06:44 am (UTC)

(Link)

кто здесь? о_О
[User Picture]From: beroal
2008-07-25 08:36 am (UTC)

(Link)

Это мы, глюки.
[User Picture]From: twilight_sun
2008-07-25 08:56 am (UTC)

(Link)

фигасе о_О
[User Picture]From: algebraic_brain
2008-11-29 11:37 am (UTC)

(Link)

Возможно, Вам будет интересен мой последний пост (я делаю свой proof assistant):
[User Picture]From: algebraic_brain
2008-12-22 12:42 pm (UTC)

(Link)

Возможно, Вам будет интересен этот пост от ghbdtn. Правда, он подзамочный, поэтому добавить его в Вашу ленту, наверное, не выйдет.
From: x_ghbdtn
2013-11-09 01:00 pm (UTC)

(Link)

Какой ужос. Там действительно был подзамочный пост? Я в шоке =О Уже и не определить, что за пост, по какому поводу.