Осторожно.
Над идиотами здесь потешаются.

И Спасское-Лутовиново для спасских-лутовиновцев.
Луна для лунян.

On Wed, Jun 19, 2013 at 8:52 PM, Vlad Patryshev <***@gmail.com> wrote:
>trait PartialOrdering[T] extends Equiv[T] {...
>
>I believe it is just not fair. Even if currently it does not have any impact.
>
>Equivalence relationship is supposed to be symmetric; PartialOrdering is supposed to be antisymmetric.

These types are not relationships, but relationship testers. Equiv can test for equivalence. PartialOrdering can test for equivalence and order. Makes sense that PartialOrdering is subclass of Equiv.

Take care
Oliver

=========

Now I'm again wondering, how come people are so fast coming up with excuses for the things they even did not do?

Кроме страшных зоофилов и педофилов (и некрофилов) есть ещё библиофилы и дрозофилы.

Абба Ковнер (в центре). Родился в 1918 году в Севастополе. В 1926 году семья переехала в Польшу. Изучал пластические искусства. В 1942 году был одним из основателей «Объединённой партизанской организации» в вильнюсском гетто. В сентябре 1943 года при ликвидации гетто Ковнер с несколькими бойцами ушёл в Рудникские леса, где создал еврейский партизанский отряд.

После окончания войны организовал группу мстителей Некама (Месть), которая уничтожала нацистов в Европе. В нее входило 60 бывших партизан. За несколько лет этой группой было убито около 400 человек. Планировал отравить водопровод в Мюнхене, Берлине, Веймаре, Нюрнберге и Гамбурге, чтобы уничтожить шесть миллионов немцев – по одному за каждого убитого еврея. По пути из Палестину в Европу с ядом был арестован британскими властями и посажен в тюрьму в Каире.

Сегодня (19 июня 2013г.) в TechInvestLab прошёл семинар "Моделирование деятельности: практики, проекты, процессы, дела", участники собрались из Москвы, Санкт-Петербурга, Самары, Киева. Начали в 10 утра, закончили (с кратким перерывом на обед) в 19 часов. Материалы семинара:

1. Анатолий Левенчук: "Установочный доклад по моделированию деятельности"
Демонстрировавшийся текст: http://ailev.livejournal.com/1077291.html

2. Виктор Агроскин, "Моделирование activity в ISO 15926".
Слайды (http://www.slideshare.net/ailev/ss-23205812):


Видео докладов 1, 2 (http://vimeo.com/68708415):


3. Александр Болдачёв, "Иерархия темпоральных систем (процесс/действие/деятельность)".
Слайды (http://www.slideshare.net/ailev/ss-23205677):


Видео доклада 3 (http://vimeo.com/68708416):


4. Максим Мишрошниченко, "Подход к моделированию потоков, функций, процессов предприятия".
Слайды (http://www.slideshare.net/ailev/miroshnichenko):


5. Александр Шаманин, "Предпринятие в предпринятии и описание деятельности предпринятия".
Слайды (http://www.slideshare.net/ailev/ss-23206299):


6. Анатолий Левенчук, "Моделирование activity spaces и activity в OMG Essence".
Демонстрировался слайд 26 из http://www.slideshare.net/ailev/syseng-23-15jan13

Видео докладов 4, 5, 6 (https://vimeo.com/68708417):

- это человек, дающий деньги детям.

Слежу за всеми новостями касаемыми этого гаджета. Но вижу, что это не совсем то, что бы я хотел получить. Как я вижу идеальные очки:

1. Проекция изображения на один глаз
2. Изображение должно по высоте занимать 2/3 обзора
3. Разрешение должно быть аналогичное планшетному
4. Логики в очках может не быть никакой: изображение просто должно ретранслироваться со смартфона или планшета, лежащего в кармане.
5. В комплекте должно идти устройство типа трекбола или тачпада для управления мышью. Как вариант - тачпад типа как сделан в гугловских очках: на внешней стороне дужки очков.

Все, больше ничего не нужно.

Парадигма использования: идешь и на ходу читаешь книжку. Либо смотришь сайт. Либо смотришь видео на очках, стоя в автобусе. Как мне кажется, гугл придумал несколько не то, что нужно.

" “fuck-it mode,” whereby you simultaneously update all keys without any concurrency control and hope readers observe transactional atomicity. This final option is remarkably common: it scales well and is applicable to any system, but it doesn’t provide any atomicity guarantees until the system stabilizes (i.e., converges, or is eventually consistent)." (src, 10x polycode)