Set[T], in short

Yes, it is contravariant. What makes it look like covariant, is "image" morphism. Will give more details in a blog entry on blogger, later on. What fascinates me is that topos theory is here to explain. And category theory is here now. Set theory is not good enough for programming anymore. Funny that in math they are still stuck with sets (mostly).

убить человека

Всем кажется если не оправданным, то довольно естественным убийство из-за крупного наследства или из-за крупного состояния, убийство с целью избежать потери больших денег, и т.п.

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

Но ведь то, что для нас роскошь, для них - обычная жизнь.

Откуда следует что? Что при определённом уровне дохода человек частенько готов убить за потерю, скажем, половины этого дохода.

Ну представьте, если бы вы, чтобы избежать foreclosure или чтобы не потерять автомобиль и лодку, или там квартиру в Питере, пойдёте убить кого-нибудь, кто бы покушался. Довольно странно глядится, да?

Или это всё иллюзии среднего класса, поддерживаемые голливудом? И все люди как люди на самом деле?

Мой недавний опыт где-то убеждает меня, что это не совсем так. Что, грубо говоря, работающий в Силиконовой выпускник Стэнфорда более склонен перегрызть горло ближнему, чем, скажем, его более скромный коллега из Охайо.

time to lift

So, our server side kind of sucks, so I, currently a mobile-client-side developer, have a lot of time on my hands. Choosing between writing neat unittests and writing a monitor that checks the server status, I'll probably take the monitor. Currently it's a .bat file; will write it in Scala, with Lift. WTF, it's my teeny-weeny pet project, ain't it!