negation of a type

(from Miles Sabin's post)

// Encoding for "A is not a subtype of B"
trait <:!<[A, B]

// Uses ambiguity to rule out the cases we're trying to exclude
implicit def nsub[A, B] : A <:!< B = null
implicit def nsubAmbig1[A, B >: A] : A <:!< B = null
implicit def nsubAmbig2[A, B >: A] : A <:!< B = null

// Type alias for context bound
type |¬|[T] = {
 type λ[U] = U <:!< T
}

def foo[T, R : |¬|[Unit]#λ](t : T)(f : T => R) = f(t)

foo(23)(_ + 1)   // OK
foo(23)(println) // Doesn't compile

(src)

фигня а не субботa

сижу на data mining camp в ебее
бадж мне выдали с именем "Владимир Николаевич" - регистрация на meetup не доехала до организаторов
слушал лекцию как с помощью градиентного спуска можно находить регрессию не только в l2, но и в l1, слушал - не верил, но после доклада допрашивать не стал
сейчас идёт пропаганда ACM
наверное, долго не выдержу на самом деле
из знакомых лиц - только Г.С.Цейтин; но он меня чёт не узнал, а я навязываться не стал

работаю над своим прожектом на самом деле

job market, imho

Такое ощущение, что нынче на data mining полно работы; потому что если обычную простую народную веб-апликацию можно всегда аутсорснуть в Россию, а джава-ентерпрайз в Индию и Украину, а ембеддед в Китай, то данные никто никому не хочет показывать, да и нельзя. А образованных людей, способных повернуть ковариационную матрицу или замкнуть граф, катастрофически мало на этой планете.

Это после посещения data-mining camp, где, кстати, встретил Уолтера Ванини, который недавно ушел с гугла и стал шахтёром данных. Слава те господи что мои чучи его решили не брать (шибко типа умный для них).

С чучами отдельно разберёмся; слишком внимательно они читают мой жж; буду их разоблачать под замком, особенно соседа по парте.

про птичек и рыбок

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

Купил сначала косилку с проводом (от сети, как товарищ Андропов). Дохлая оказалась как товарищ Андропов, да ещё и норовит вскопать газон, как коллеги товарища Андропова.

Сдал, купил с батарейкой, как товарищ Брежнев.

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

Так что приходится стричь.

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

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

Ну чё?

p.s. а в бекграунде трахался как проклятый с задачей 31 из Эйлера... тока что решил, ура, блин