Ответ на вопрос о фальсификациях на выборах в России

Несколько дней назад Максим Пшеничников (oude_rus) задал вопрос о том, как быть с фальсифицированными результатами российских выборов "аж с 2004-го года".

Сегодня российский суд дал ответ: ликвидировать ассоциацию избирателей "Голос", которая была одной из наиболее активных гражданских организаций, раскрывавших фальсификации.

Пресненский суд Москвы удовлетворил иск столичного управления Минюста России о ликвидации некоммерческой ассоциации «Голос». Как передал корреспондент «Интерфакса», такое решение приняла судья Ирина Зубова в среду.
В исковом заявлении Минюста говорится, что организация не привела устав в соответствие с гражданским законодательством на момент изменения закона в 2014 г. Кроме того, ассоциации вменяют осуществление политической деятельности под видом движения «Голос».

Такие дела.

Трамп и малайский Боинг рейса MH17

В связи с сегодняшними высказываниями Трампа по поводу Путина, Крыма и соблюдения Америкой обязательств НАТО, у меня создается впечатление, что поиском и наказанием виновных в уничтожении MH17 он заниматься особо не будет. Логика простая: американских граждан на борту не было, поэтому это не американская проблема. Зато на бизнесе с Россией можно заработать деньги, например, провести очередной конкурс красоты в Москве или построить отель Трампа в Крыму.

American jobs matter!

A good paper on OLOGs (a visual framework for Category Theory)

http://journals.plos.org/plosone/article?id=10.1371/journal.pone.0024274

Abstract
In this paper we introduce the olog, or ontology log, a category-theoretic model for knowledge representation (KR). Grounded in formal mathematics, ologs can be rigorously formulated and cross-compared in ways that other KR models (such as semantic networks) cannot. An olog is similar to a relational database schema; in fact an olog can serve as a data repository if desired. Unlike database schemas, which are generally difficult to create or modify, ologs are designed to be user-friendly enough that authoring or reconfiguring an olog is a matter of course rather than a difficult chore.

≠≠≠≠≠≠≠
So far, it's been the best paper/book/video that let me wrap my mind around major CT concepts. I particularly like their graphical separation between "data" and "type" levels (2.2.3). It's a good way to represent convergent paths at different levels of abstraction.

(no subject)

I've noticed that the younger generation is dumping Facebook for Snapchat. The company's latest valuation numbers hover around $15-16B. Business analysts write that Snapchat's biz model and revenue trajectory look like Facebook's in its early days. Fair enough; although when Facebook was growing there were neither Facebook, nor Twitter.

(no subject)