wizzard: (Default)
Hewlett Packard Enterprise Demonstrates World's First Memory-Driven Computing Architecture

Proof-of-concept prototype represents major milestone for The Machine research project
 
LONDON, UNITED KINGDOM--(Marketwired - Nov 28, 2016) - Today, Hewlett Packard Enterprise (NYSE: HPE) announced it has successfully demonstrated Memory-Driven Computing, a concept that puts memory, not processing, at the center of the computing platform to realize performance and efficiency gains not possible today.

Developed as part of The Machine research program, HPE's proof-of-concept prototype represents a major milestone in the company's efforts to transform the fundamental architecture on which all computers have been built for the past 60 years.

(...)

HPE has demonstrated:

- Compute nodes accessing a shared pool of Fabric-Attached Memory;
- An optimized Linux-based operating system (OS) running on a customized System on a Chip (SOC);
- Photonics/Optical communication links, including the new X1 photonics module, are online and operational; and
- New software programming tools designed to take advantage of abundant persistent memory. 

During the design phase of the prototype, simulations predicted the speed of this architecture would improve current computing by multiple orders of magnitude. The company has run new software programming tools on existing products, illustrating improved execution speeds of up to 8,000 times on a variety of workloads. HPE expects to achieve similar results as it expands the capacity of the prototype with more nodes and memory.

In addition to bringing added capacity online, The Machine research project will increase focus on exascale computing. Exascale is a developing area of High Performance Computing (HPC) that aims to create computers several orders of magnitude more powerful than any system online today. HPE's Memory-Driven Computing architecture is incredibly scalable, from tiny IoT devices to the exascale, making it an ideal foundation for a wide range of emerging high-performance compute and data intensive workloads, including big data analytics.
wizzard: (Default)
Перечитал спеку Julia. Всё красиво-красиво. Некоторые вещи еще хорошо заходят, после K. Пошел читать ишшуи. "Пятачок, неси ружье!" Сколько corner cases, пиздец.

Вот интересно, можно ли вообще построить type lattice для сколько-нибудь нетривиального количества перпендикулярных свойств типов? (тип элемента матрицы, размерность матрицы, способ хранения матрицы например)

(Там обсуждают Кронекера, Иверсона и как уменьшить количество special кейсов для штук вроде Inf * Complex(0,0))

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

Патамушо design space у меня в голове ж теперь еще шире после того как в K я могу написать "ABCD"="A" и получить (1;0;0;0)
wizzard: (Default)
Тут в фейсбуке срачики про закрытие файлообменников и копирайт.

Я не буду разводить традиционную идеологическую риторику про то, что неправильно сравнивать копирование с воровством, это все и так сто раз читали.

Более интересна обычная житейская и бизнес-стороны вопроса.

1) "Там, где не платят, ничего и не производят."
Возьмем украинское кино. Во-первых, производят. На 10 трейлеров в кинотеатре 2 трейлера украинских фильмов - это абсолютно нормальная пропорция. На kinoafisha 3 фильма и 1 мультфильм этого года, тоже неплохо.

Украинские переводы. Тоже производят. И переводы на удивление качественные, не то что раньше. Только вот никто не продает, потому что правообладатели не хотят заходить на рынок и разбираться в откатах и взятках.

В итоге люди вынуждены писать в кино звук, миксовать с английским видео и выкладывать на торренты. И кому от этого легче?

2) Музыка, украинская и не украинская. Исполнитель с проданной копии получит 0.5-3% твоих денег. Остальное пойдет дистрибьюторам, в налоги и прочее. Деньги зарабатываются на концертах, там может и 30% получиться, в хорошую погоду.

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

3) Житейская сторона.
Я покупаю компьютерные игры в Steam, но качаю фильмы на торрентах, потому что это *удобно*, а не потому что я высокоморален когда дело касается игр и почему-то вдруг не люблю киношников.

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

Ну и кроме того... где эти фильмы? где эта музыка? тот же NashFormat продает фильмы 2013 года, спасибо, я очень рад, но все-таки пойду скачаю торрент.

Ждать доставку диска - камон, сейчас ни в одном ноутбуке нету DVD/Bluray, и да, торрент успел скачаться уже десятки раз.

4) Но у нас наследие СССР! И актеры! И киностудия Довженко!
Нет. Его нет. Хотите кассовое кино - учитесь снимать кино. Кассовое. Современное. И продюсировать, и рекламировать в том числе. Раньше этому не учили.

Вот сейчас волна патриотического всякого видеоматерьяла, новые люди, новые лица. Без опыта. Откуда тут взяться супер-актерской игре и супер-качеству? Ждем пять лет, будет кино. Чудес не бывает.
wizzard: (Default)
я вот люблю гнать на TDD. много лишней работы, false feeling of reliability, fragile tests, то-се.

но вот мне внезапно дошло, что гоню-то я далеко не на весь TDD.

гоню я конкретно на initial test suite creation и maintenance.

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

Век живи, век учись, блин. К вопросу о том, зачем нужно разделение труда.
wizzard: (Default)
Чем спокойствие отличается от тленоты?

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

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

Это я раздумываю, почему при расслаблении после очередной суеты/беготни/перформанса иногда наступает одно, а иногда - другое, ну и как увеличить пропорцию именно спокойствия, собственно :)
wizzard: (Default)
Продолжаю эксперименты. Имбирь пахнет морем, вишня пахнет удушливо-приторно-невыразительно, банан пахнет ириской.

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

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

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

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

Кстати. Чем пахнет кровь? Ну, то есть, на что похожа? Я тут выяснил, что она, оказывается, должна пахнуть, а мне (например, при порезах) никогда ничем не пахло и я воспринимал это как сугубо фигуральное выражение, вроде "запах беды".
wizzard: (Default)
прошло пять дней. запахи начали появляться. it's funny. Фэйри пахнет как омлет, кофе как солома и хрен как лимон. Чай пока ничем не пахнет.

в связи с этим снова вспоминается мысль - а что если другие люди воспринимают цвета/звуки/запахи и прочие "плавно изменяющиеся" свойства совсем по-другому, просто все выучили что вон то что у светофора сверху - называется "красный"?

Туда же про тетрахроматов и разную цветовую слепоту. What is real? :)

дыбр

Oct. 23rd, 2016 03:51 pm
wizzard: (Default)
Про здоровье. Восстановление после операции на носу проходит смешно. например, пока что нету вообще никакого обоняния, во-об-ще, даже на ядерный хрен и нашатырь - ноль реакции %)

Про 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 - а оно не вставляет. Упс. Как бы так узнать, что мне теперь на самом деле нравится?
wizzard: (Default)
...точнее, почему у LISP и multistage programming в целом есть хорошие шансы полноценно войти на арену в недалеком будущем.

Все читали чудесное "How it feels to learn JS in 2016"? (на русском, на английском)

Так вот, если присмотреться, экосистема Javascript проходит во многом через те же проблемы, которые в свое время тормознули экосистему Lisp'a:

1) нужда поддерживать похожие, но разные платформы сделала transpiling, макросы и прочие AST трансформеры нормой жизни,

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

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

Единственный нюанс будет в том, что это вряд ли будет Common Lisp, R7RS или какой там еще у нас есть стабильный feature-complete LISP стандарт. Гораздо больше мне верится в бутстрап от лиспов, в которых fexpr-семантика не испорчена premature optimization (Kernel, PicoLisp и подобное) - они банально проще и единообразнее, а производительности, как показывает тот же TypeScript, сейчас вполне хватает на компиляторы-поверх-интерпретаторов.

про Rust

Oct. 7th, 2016 08:06 pm
wizzard: (Default)
Значит, есть такой новомодный язык 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, на чем они основаны?

Кто что знает еще?
wizzard: (Default)
http://pencil.evolus.vn/Next.html

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

(да, это отличный конечно вопрос для 9 утра воскресенья, но тем не менее)
wizzard: (Default)
В попытках избавиться от лишних вкладок в браузерах завел телеграм-канал с ссылками на всякий матан, погроммирование и тд

https://telegram.me/linkstream

rclone

Jul. 25th, 2016 10:52 am
wizzard: (Default)
хозяйке на заметку: для работы с Backblaze B2 из-под винды лучше использовать не их официальный скрипт, и не cyberduck/другие гуёвины (хотя cyberduck хороший), а rclone.
wizzard: (Default)
а есть что-то вроде goodreads, но для статей?

завел в канал в телеграме, и там достаточно хаотично, но хочется чего-то хоть чуть более структурированного
wizzard: (Default)
Right now, with no humans in the loop, the correct name for the DAO is a self-distributing bug bounty piñata.

Прекрасный новый мир %)
wizzard: (Default)
At the last match of the year for Manchester United, someone found a bomb in a toilet, and security evacuated all 75,000 people and canceled the match. Turns out it was a fake bomb left behind after a recent training exercise.
https://www.theguardian.com/football/2016/may/15/manchester-united-abandon-final-premier-league-game-after-security-alert-leads-to-old-trafford-evacuation

Gini WTF

Jun. 15th, 2016 02:32 pm
wizzard: (Default)
СЯУ что в Украине (с точки зрения World Bank) с 2010 года самый низкий в мире Gini index ("самое справедливое распределение дохода").

В первой тройке еще регулярно тусят Норвегия и Словения. Ладно, Норвегию я угадал. Но Украина?!

(я не знаю, как это интерпретировать, но теперь мне этот показатель кажется еще более бессмысленным)

Profile

wizzard: (Default)
wizzard

December 2016

S M T W T F S
     123
45678910
11121314151617
18192021222324
25262728293031

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Dec. 8th, 2016 01:59 am
Powered by Dreamwidth Studios