Dec. 26th, 2012

juan_gandhi: (Default)
Sure it demonstrates in our inability to do cross-tier refactorings; you change the db, then you do some kind of transaction changing the code, and vice versa.

But we have to understand that this is so for all kinds of distributed data. The language changes in one end of the world, and a tier in the other end has to adapt, changing its language accordingly. Or disconnect. Or start a war. Or introduce United Nations that would keep all the definitions.
juan_gandhi: (Default)
... что в конце 2012-го года буду, как бывалоча хз сколько лет назад сидеть долбить "Категории" МакЛейна.

Обнаружил там ещё теорему Фубини для концов и коконцов (это второе издание, в первом не было).

Помню, как сам открыл эту теорему Фубини (для концов и коконцов), и пытался, о боже, опубликовать эти интересные сведения где-то в СССР. Не скажу, что наука в СССР особо так уж отставала, просто никто никаких концов и коконцов тогда ещё не знал (да и сейчас, может, с дюжину знающих наберётся), а так как и меня никто не знал, то это всё было на уровне писем в "Спортлото".

Ну вот, а теперь монада коплотности, поразительная вещь - для вложения Setf ∈ &Set; это монада ультрафильтров (единица сопоставляет элементам главные ультрафильтры).

Похожа сразу на всё, и на представимые функторы, и на continuation-passing transform (а что, берём элемент и сопоставляем ему вычислитель функции на этом элементе, чем не ультрафильтр, если значения будут булевы?)
juan_gandhi: (Default)
Он у меня лет 10 был. Ничего с ним не делается, ходишь по нему, бегаешь, хоть бы хны.

Но вот пришла уии, с новыми прибамбасами, с камерой, с новыми играми.

Ну и чё, кроет как Тюменская область Голландию. Я включу уии, поставлю кикбоксинг, или растяжку, или что попрыгать, и через полчаса готов, мышцы болят натруженно; сахар в крови как миленький (ну, сахар ещё уходит на осознание естественного преобразования run в монаде коплотности в виде струнной диаграммы (люди! до чего наука дошла!) - мозг тоже жрёт глюкозу только так.

Короче, тредмил без надобности, похоже.

Так что если есть кто желающий, за разумную небольшую цену (по ценнику креглиста). Ну или вывесим на выходные на креглист, как раз к новому году, много желающих начать выполнять свои соцобязательства.
juan_gandhi: (VP)
Ну, судя по статистике, объективно-то Россию ещё грабить и грабить, так что расчитывать на демократию, самоуправление, совместную полезную деятельность, развитие технологий, повышение образования вряд ли имеет смысл в ближайшие лет 50, если не 200.

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 2345 6
78 9 10 111213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 13th, 2025 05:32 am
Powered by Dreamwidth Studios