October 18th, 2017

Gen.Turgidson

Будущее феминизма

Как кому-то параллельно пришла мысль в комментах - сексуальные недомогательства ведь еще более вопиющее попрание женских прав - "он на меня даже как на сексуальную игрушку смотреть не хочет, а смотрит как на бревно".

Тут-то как раз самая-самая объективации мякотка же :)

Кстати совершенно не удивлюсь, если следующим этапом эволюции феминизма действительно будет борьба за "право быть оттраханой"
Gen.Turgidson

Кстати - грамотная мысль:

Учитывая, КАКИЕ фильмы Вайнштейн продюсировал, вот его точно нужно приглашать в РФ и давать гражданство, при условии работы в РФ, но с самыми широкими, почти диктаторскими полномочиями. И пусть любую российскую актрисульку сношает, лишь бы выпускал качественные фильмы.

Причем ведь чего не хватает российскому кино - так именно нормальных продюссеров - раньше их функцию выполняло госкомкино посредством кровавой цензуры в том числе - а сейчас некому - вполне вероятно что главная причина того, что фильмы такое говно: нет человека с палкой, который бы душил наиболее творческие порывы
Gen.Turgidson

Первый раз наткнулся на ошибку в ocaml

Причем свежевставленную: в 4.05.0:

В Why3 в core/term.mli:

val t_const : Number.constant -> term

в core/term.ml:

let t_const c ty = mk_term (Tconst c) (Some ty)
...
let t_const c = match c with
| Number.ConstInt _ -> t_const c ty_int
| Number.ConstReal _ -> t_const c ty_real

В результате экспортится первое из определений t_const, причем с типом:

Number.constant -> Ty.ty -> term

Что интересно - на простом примере не воспроизводится