You are viewing ivan_gandhi

Из-Под Глыб

May. 22nd, 2015

08:45 am - логическая матрешка

Говорил вам Рейнольдс, типизированной лямбды в множествах не бывает, потому что у континуейшена нет неподвижной точки... (Это была преамбула.)

Вот что пишет какой-то неизвестный мне ватник:

"да их сто процентов инструктировали, говорили что в случае попадания в плен они уволены и ополченцы. это они сейчас из себя кинутых лошков разыгрывают потому что пошли на сотрудничество с укропом. а может и по указке укропа."

Это про пойманных российских террористов из ГРУ.

Автор, ну и также родственники террориста, вполне серьезно сообщают нам, что
- если российский военный, занимающийся террором в Украине, признает свой статус - это предательство;
- всех российских военных, участвующих в оккупации Украины, инструктировали, чтобы не сознавались;
- эти военные уволились из ГРУ и поехали наемниками на заработки ("много платят");
- таких военных не существует.

Можно было бы опровергать один или два из этих тезисов, но на самом деле смысла никакого нет, потому что все, включая и авторов этих заявлений, прекрасно понимают, что они а) врут, б) врут по заданию.

Ну и поэтому для такой проблемы вполне логичным является решение Прибора: "вата? нахуй!".

May. 21st, 2015

12:08 pm - total idiocy

no time to investigate right now

      val meta = conn.createStatement().executeQuery(s"select * from $table limit 1").getMetaData
      val allNames = 1 to meta.getColumnCount map (i => meta.getColumnName(i) ->(meta.getColumnType(i), meta.getColumnDisplaySize(i))) toMap
      val filteredContent: TraversableOnce[String Map String] = content map (_.filterKeys(allNames.keySet.contains))
      def dataHasColumn(name: String) = {
        filteredContent.forall(_.contains(name))
      }
      val goodNames = allNames.filterKeys(dataHasColumn)
      val gnset = goodNames.toSet
      val nt2 = goodNames.toList // TODO(vlad): investigate this horrible bug (patient_sec is the table)
      val namesAndTypes: List[(String, (Int, Int))] = gnset.toList

      if (nt2.length > namesAndTypes.length) nt2 else namesAndTypes


In short, a map has 7 entries, but at some moment it returns a list of just 6 entries; results depends god knows from what.

Tags:

07:55 am - прогнозы

А вот мне что-то кажется, что если Путина свергнуть, то наступит такой Айсис, ака ИГИЛ, что о нем будут вспоминать с ностальгиею.

07:40 am - Сан Хосе, статистика

12 копов было убито в Сан Хосе. С 1858-го года (Карл).

May. 20th, 2015

03:18 pm - phishing

Just got a call from an idiot with a heavy Indian accent. He wanted to help me with my Windows computer.
He said he was calling from Tulsa, Illinois.

Tags:

02:25 pm - climate change

Am I the only one left that is both skeptic and open to changing my mind? That's about

- climate change aka global warming
- causes of climate change

Every week I read about how Antarctic ice a) melts, b) increases; both kinds of statements are explained by global warming or climate change. Did Antarctic ice ever change before? Or was it intact for thousands or millions of years until very recently?

Arctic ice is now what? Diminishing? North Pole is just water? Did not it happen a bunch of times before, from time to time?

I mean, it's okay either way; I'm just looking for sources, and somehow all I see is biased (both ways).

Tags: , ,

12:41 pm - Румяна - Две очи разплакани (1995)

May. 19th, 2015

03:43 pm - борьба с травой

Нам тут местные новости все уши прожужжали, ойойой, поймали мафию в Оклендском аэропорту, они транспортировали мариванну самолетами, ну в смысле, с самолетами; соучастники - работники аэропорта, и т.д., отправляли траву братишкам в Луизиану и Теннеси.

Это что, преступление? Ее, может, через пару лет Обама, в гроб сходя, легализует - и вопрос закрыт. Ну только что тюремщики не допустят, чтобы 10 миллионов человек внезапно вышли на свободу, и им бы пришлось пойти работать, а не угнетать негров.

И вот они там рассусоливают. Мол ойойой, угроза безопасности транспортировок - а если бы они пересылали патроны? А если бы они пересылали макароны? А если бы они пересылали из Колорадо в Вашингтон, тоже нельзя? Ну в смысле, по законам-то, конечно, нельзя, федералы как бы не дремлют.

Может, мы уже и на дорогах блокпосты поставим, проверять, шо там у вас, граждане, в карманах, уж не незаконные ли предметы перевозите из Западной Вирджинии в Восточную?

Все это служит одной цели, по-моему - усилению местной гебни.

А где, где все наши поправки? Ау, поправки!

03:38 pm - AAPL, never bought their stocks...

All I wanted was to run headless firefox, that is, install firefox-x11; but well, it's not available on these lions that are currently controlling my computer.

Of course I can do stuff on a linux... maybe that's what I should be doing, have an instance?
Hmm...

Tags:

03:27 pm - студенты зажигают

Дал им "дополнительную домашку" - выразить next succ в лямбде через комбинаторы.

Вот их ответ:

S(K (S ( S(KS) ( S(KK)I ) ) )) ( S ( S (KS) ( S(K(S(KS))) ( S ( KS)( S(KK)( S(KS)( S(KK)I) ))) (K (S(KK)I )))) ) (K (KI) ) )

Tags:

Navigate: (Previous 10 Entries)