[Django ORM] SELECT user, SUM(time_spent) FROM stats GROUP BY user; — как???
Внимательно прочитал вот это: http://docs.djangoproject.com/en/dev/topics/db/aggregation, и у меня сложилось впечатление, что Django ORM не умеет сабжа. Это так?
Ядро 2.6.30, xorg-server-1.6.3, xorg-video-intel-2.8.1.
Вопрос: насколько сложно это сделать, не используя ТеХ, а используя только OCaml или что-то подобное? Пока что я почитал только сорцы tftopl, вроде tfm-ки читать несложно, а как сопоставить нужному символу нужный глиф, вернее, нужный файл tfm и номер символа в нём? Тут я слегка поковырял ТеХовскую систему шрифтов, и у меня ангст и ненависть, куча своих самодеятельных кодировок, виртуальные шрифты. Есть спецы? Расскажите по шагам, с чего начать рыть.
Ещё, что забавно: http://www.google.com/search?q="social+weighting"+"distributed+search" - 0 результатов. Власти скрывают?