wizzard

Чем спокойствие отличается от тленоты?

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

Нервозность, паника, испуг, страх - не туда.

Это я раздумываю, почему при расслаблении после очередной суеты/беготни/перформанса иногда наступает одно, а иногда - другое, ну и как увеличить пропорцию именно спокойствия, собственно :)

Продолжаю эксперименты. Имбирь пахнет морем, вишня пахнет удушливо-приторно-невыразительно, банан пахнет ириской.

Апельсиновая цедра первая, кто пахнет как и было, т.е. апельсином :) И репчатый лук отчетливо пахнет как было.

Чизбургер (т.е. соленый огурец/сыр/хлеб/бургер...) пахнет травой и дождем, кофе в банке (соломой пахло капучино) пахнет песком.

Все еще вообще никак не пахнут чай и подсолнечное масло :(

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

Кстати. Чем пахнет кровь? Ну, то есть, на что похожа? Я тут выяснил, что она, оказывается, должна пахнуть, а мне (например, при порезах) никогда ничем не пахло и я воспринимал это как сугубо фигуральное выражение, вроде "запах беды".

Про здоровье. Восстановление после операции на носу проходит смешно. например, пока что нету вообще никакого обоняния, во-об-ще, даже на ядерный хрен и нашатырь - ноль реакции %)

Про computer science. Везде утверждают об одинаковой (с точностью до константы) стоимости lazy/eager evaluation, т.е. что построить дерево санков и потом его схлопнуть стоит столько же, сколько и посчитать это всё жадно - но ведь нет! что в теории, что в иерархиях стореджа (регистры-кэш-...) аллокация и даже просто pointer dereference стоят log N, где N - обьем используемой приложением RAM, следовательно, best-case для lazy evaluation будет C1 * N log N, супротив C2 * N для eager!

это уж не говоря о том, что куча софта в рамках оптимизаций закладывает максимальные размеры хипа как "N чего-то там хватит всем", что потом вызывает изрядный батхерт когда файлик, например, в 200 мбайт обрабатывается прекрасно, а в 210 мбайт падает (а если авторы еще и не подумали, то там случаются разные креативные heap corruption вместо "просто out of memory")

Про жизнь. Абсолютное большинство раз, когда я раздумываю над тем, чтобы что-то купить - это воскресенье или праздники. Ну, потому что не надо никуда бежать и можно полезть на сайт посмотреть, то-се.
Почему, при том что в наших широтах уже немало магазинов научились даже доставлять "за 2-3 часа" - в воскресенье никто не работает? Как раз в воскресенье удобно и встретить курьера же.

Реальный вопрос, конечно, не в магазине, а в том, чтобы склад работал в воскресенье, но... это же тоже не такая уж сложность, ну камон. Посадите туда одного человека, сделайте доставку +100 грн в воскресенье, в конце концов...

(Это я видеокарточку хотел заказать, а то HD 7870 уже всякое современное не тянет).

Кстати, про игры. вот последние несколько лет я в них почти не играю, и у меня уплыли фактические вкусы, а память о вкусах осталась старая. В итоге я что-то покупаю на стиме, ревьюшки там Overwhelmingly Positive - а оно не вставляет. Упс. Как бы так узнать, что мне теперь на самом деле нравится?

Значит, есть такой новомодный язык Rust. смотрел я на него, смотрел, и решил наконец подчитать.

Подчитал, возникли, эммм, вопросы. Где какие-то пейперы по теории, лежащей под borrow checking'ом?

Все декларируют что это, вроде как, LTL, но по ощущениям фактическая реализация не укладывается ни в linear logic, ни в bitemporal logic.

Есть еще такая шикарная инициатива RustBelt ( http://plv.mpi-sws.org/rustbelt/ ), в которой написано, ни много ни мало, что

> Unfortunately, none of Rust's safety claims have been formally investigated, and it is not at all clear that they hold.

Есть wadler et al, но нету вообще никаких ссылок на то, что оно с фактическим растом имеет хоть что-то общего. Даже майкрософтовский пейпер "uniqueness, immutability and safe parallelism" кажется ближе к вадлеру, чем раст.

При этом не то чтобы я имел что-то против unsound type systems... тот же тайпскрипт unsound от слова "совсем"; но под тайпскриптом хотя бы рантайм семантика ES5 есть, а тут нету. Напротив, есть soundness claims, но wtf, на чем они основаны?

Кто что знает еще?

практикующим математикам вопрос: а где в народном хозяйстве применяются аффинные многообразия? %) я вот только применение барицентрических координат в 3д графике вспомнить смог

(да, это отличный конечно вопрос для 9 утра воскресенья, но тем не менее)

хозяйке на заметку: для работы с Backblaze B2 из-под винды лучше использовать не их официальный скрипт, и не cyberduck/другие гуёвины (хотя cyberduck хороший), а rclone.

Right now, with no humans in the loop, the correct name for the DAO is a self-distributing bug bounty piñata.

Прекрасный новый мир %)

> Infecting Systems by Typosquatting Programming Language Libraries

https://www.schneier.com/blog/archives/2016/06/infecting_syste.html

At DEF CON 24, on Thursday night at 5pm, the Paris ballroom will host the world's first all-machine hacking tournament. Seven high performance computers will play an all-machine Capture the Flag contest, reverse engineering unknown binary software, authoring new IDS signatures, probing the security of opponent software, and re-mixing defended services with machine-generated patches and defenses.

https://defcon.org/html/defcon-24/dc-24-cgc.html

http://arstechnica.com/tech-policy/2016/06/tor-developer-jacob-appelbaum-quits-after-sexual-mistreatment-allegations/

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