wizzard

Кажется, только что наблюдал, как работает GPS спуфер.

Preamble: еду по известному маршруту, с gps, но и сам помню, как ездить.
И тут навигатор реально сходит с ума, начинает говорить "вы ушли с маршрута", я на него смотрю и понимаю что там ВООБЩЕ не те улицы, ну то есть да, gps в городе дает погрешность, но не на целый квартал же! Достаю телефон, а там тот же бред! (у телефона A-GPS, а навигатор без инета, там просто GPS)

Ладно, приехал, постоял, поехал обратно. Вроде все пришло в норму. Потом я отзумил карту, посмотрел и, мягко говоря, удивился. Грубо говоря, в ~23:57 по Киеву кто-то внес погрешность на 190 (!) метров на запад, которая сохранялась около 2 минут, а потом плавно исчезла.



На картинке красным пунктиром выделен странный участок трека, желтым - то, как я по факту ехал, а тонкими красными линиями - параллели в момент проезда заметных waypoint'ов, которые наглядно показывают, что погрешность систематическая, а также дофига большая (линейка яндекса говорит 190 метров, ну и это почти ровно на запад, чуть севернее может быть)

Вопрос: что это было?

А почему от кофе (потом) голова болит и давление падает, а от энергетиков - нет?

Эффект репродюсится в любых дозах.

UPD: от 1 чашки американо болит.

от кофеина в таблетках не болит.

от энергетиков не болит (точнее, я не то чтобы много их пробовал, тот же бёрн в разных странах существенно разного состава)

почему для того, чтобы осознать, осмыслить и начать наконец-то ценить человека, надо чтобы его не было рядом?

избитая банальщина, да. но все же, почему оно по-другому не работает?

Товарищи!

А кто читал Geometry of Interaction V: logic in the hyperfinite factor (Jean-Yves Girard) и может обьяснить ход мысли?

TLDR: люди ищут формализм, дуальный к традиционной математической нотации: «The aim of GoI is therefore to find a space where truth, commuting diagrams, etc. are no longer primitive and where dynamical processes (proof-search, rewriting, a.k.a. normalisation) are primitive»

Но эээ как же тяжело оно читается!

Занятные заметки оттуда:

Subjectivity has nothing to do with subjectivism; it is indeed its antidote. Let
us start with a famous example: Ptolemaic astronomy was the most «objec-
tive» science ever, allowing no room for the subject; however, it produced the
subjectivistic delirium of epicycles. Later on, Kepler, Galileo, were able to dis-
antangle this mess by restoring some subjectivity: observations are realtive to
a viewpoint, Earth.
A similar problem occurs in logic, especially when dealing with cognitive
questions: here the subject — the cognitive process — is part of the data. Take
the interesting remark that an absent information is false: a bank has no record
of its non-clients; handled subjectively, this works swell, since one can easily
determine whether or not the bank considers Mr. Girard as part of its clients.
The same idea, handled objectively, would amount at deciding whether or not
Mr. Girard is a client under, say, an assumed name, i.e., independently of any
cognitive process. The replacement of «I don’t know» by «one cannot know»,
i.e., «one cannot prove» led to those modern epicycles — non-monotonic logics,
closed world assumption, etc. —, which were refuted long before their invention
by incompleteness, which, in fine, exposes the limitations of a blunt objectivity.
A constructive⁹ approach thus requires to rebuild the objectivity by tak-
ing into account the subjective aspects of logic: after all, logic is about about
reasoning, language, etc. In contrast with the objectivistic fantasy known as
semantics.
For instance, formulas do no proceed from the sky; they proceed from their
own operationality. What can be internalised by means of the negation, which
thus takes in charge logical normativity: before refuting, negation forbids. This
idea of «negation as norm» was first implemented in ludics [9]: although the
expression has a game-theoretic flavour, ludics is strongly antagonistic to «game
semantics» which, as the name suggests, relies on a ready-made normativity,
thus missing the point.
GoI is even more radical, since it introduces a doubt — absent from ludics —
as to the underlying combinatoric universe. The idea being that, like in the
quantum world, logical artifacts interact «wavelike», but that questions like
truth are rather base-dependent, i.e., «measurement-like».
This approach can hardly be considered as subjectivistic. Typically, the
choice of a viewpoint is implicit in the statement of a problem: through the
decomposition of a formula into its significant subformulas — a decomposition
which suits our own analyticity, thus subjective. In practice, there will be a
preferred viewpoint — like in astronomy, the geocentric viewpoint —, but the
existence of other viewpoints — «non standard» ones, if the term were not too
heavily connoted — introduces unexpected possibilities of interpretation.

*9 Forget the sectarian connotation taken nowadays by this expression, which basically means
that object and subject must be constructed, do not preexist.
[9] J.-Y. Girard. Locus Solum. Mathematical Structures in Computer Sci-
ence, 11:301 – 506, 2001.

В который раз я с удивлением переоткрываю, что для спокойствия души и вообще sanity мне жизненно необходимо хотя бы несколько дней в год сидеть ночью в ПУСТОЙ квартире. В тишине.

А потом снова забываю. Ну блииииин.

Совсем unrelated: а есть какие-нибудь очень-compressed lossy inverted index'ы для приблизительного полнотекстового поиска? ну типа чтобы занимали не 2х и не 8х от оригинального текста, а, например, 0.1х. А лучше 0.01х.

Можно чтоб давали false positives, хуже если false negatives, позиции в тексте не нужны, TF-IDF можно выбросить, но с ним лучше.

Хорошо, если их можно динамически апдейтить (добавлять и удалять документы). Если нельзя - нууу, будем делить документы в бины, отделять hot от cold, то-се.

Совсем хорошо, если можно части индекса отдельно строить и мержить.

Важно, чтобы RAM мало требовалось на построение и поиск (условно, датасет весит 1 гб, документы 1 кб..5 мб логнормально распределены, есть 50-200 мб диска, 20-50 мб оперативки). Пока думаю про какое-то trie толстых блумфильтров, где документы в листьях, а вверх они OR-ятся, группированы просто от фонаря (по старшим битам например)

Вотъ..

А есть где-то пейперы, где рассматривается (возможно, спекулятивный) рендеринг "тяжелых" вещей на сервере, и latency-sensitive (например, реакция на повороты камеры) - на клиенте?

Я даже не знаю, какие ключевые слова в поисковик вбивать :(

Кто-то из тех, кто игростроем/графикой занимается - подскажите?

По мотивам поста про срачиометр: вспомнилась замечательная формулировка поля "интересы" в профиле одной френдессы "визначити - значить обмежити" (определить означает ограничить)

И еще из этой же оперы: уже второй (третий?) человек мне говорит "ты же не программист? вернее, не только программист?"

наверное, это хорошо.

Хотя код я определенно пишу тоже.

Да, а вам нужен для счастья диод?

признавайтесь, кто репостнул пост про модерацию на ЛОР? %)

а вот какая есть нормальная CardDAV синкалка?

из фич нужен SSL Pinning и, гм, чтобы не делало как CardDav Sync который работал-работал а потом Contacts начали падать при заходе в его контакты :/

для WP8 тоже актуально.

А здесь кто-то сабжем увлекается? В частности киевляне ;)