"Капитан Фантастик"
светлое будущее
potan
Посмотрел "Капитан Фантастик" - ожидал что то легкое, в стиле "Крокодила-денди", а оказалось совсем другое. Напомнило мне "Меганезию" Розова, с троцкистами-маоистами и праздновании дня Хомского со "спасенным" из магазина тортиком вместо рождества.
Но изучать квантовую механику по популярным книжкам о теории суперструн - идея несколько странная.

Хочется странного.
светлое будущее
potan
Хочу, что бы можно было в for использовать implicit (и import до кучи).
Может зря я про Idris лекции смотрел, писал бы на Scala как на обычном Haskell и не мучался...

Вложенные транзакции
светлое будущее
potan
Понял я как поддержать аппаратно вложенные транзакции.
Транзакции по вложенности образуют дерево. Есть такое кодирование деревьев (слегка избыточное) - узел кодируется отрезком, ребра дерева от наиболее облегающего отрезка в наибольшим подотрезкам.
Таким образом идентификатор транзакции, который добавляется к каждой строке кеш-памяти, состоит из трех чисел - начала, конца и длины (для оптимизации) отрезка. При поиске ячейки выбираются все с заданным адресом в основной памяти, началом отрезка меньше начала у текущей транзакции и с большим, чем у текущей, концом (тоже отрезка). Строки, попадающие под такое условие выставляют на шину специального компаратора свою длину (можно ее сразу вычислить, но не держать же сумматор на каждую ячейку), а он возвращает самую маленькую величину (устройство сложное, но не запредельно). А потом ячейка сравнивает минимальную длину с длиной своего идентификационного отрезка.
Осталось все это закодировать на Clash...

Транзакционная память и backtracking
светлое будущее
potan
Во многих задачах требуется модифицировать какую-то структуру, посмотреть что получилось, и, если не понравится, откатить все изменения.
Но транзакционная память делает почти то же самое. Ее можно слегка модифицировать, позволив при попытке завершения транзакции сравнить свою метрику с метриками других ожидающих завершения транзакций и выполнить только самую удачную.
Известны ли попытки так ее использовать?
По моему этот подход мог бы сделать более эффективными языки типа Prolog или LIFE.

И еще одна статья.
светлое будущее
potan
Функциональные языки в разработке аппаратуры с попыткой описать Clash.

Очередная статейка на хабре...
светлое будущее
potan
Julia с реактивным программированием и программированием в ограничениях моделирует механику роботов (из веревочек и пружинок).

Где нужны "зависимые типы"?
светлое будущее
potan
Все хотят применять "depended types" в разработке больших сложный систем, но мало кто в этом добился хоть каких-нибудь заметных успехов.
Оно и понятно - "зависимые типы" очень усложняют жизнь, а разработкой таких систем занимаются опытные программисты, располагающие развитыми средствами отладки и тестирования. То есть привносимый геморрой не оправдывает потенциальные не слишком радикальные преимущества.
А вот во всяких DSL для конфигурирования, воркфлоу, всяких политик, "умных контрактов" в блокчейнах, скриптов для "интернета вещей", да и просто скриптов для автоматизации рутинной работы чего-то типа "зависимых типов" для обеспечения надежности остро не хватает.
Во первых все эти программы относительно простые, и даже усложнение их разработки в 3-4 раза не так уж и страшно, да и время компиляции от дополнительных проверок сильно не вырастет.
Во вторых средства разработки у них не развиты и врядли для столь узких ниш кто-то этим будет заморачиваться.
В третьих пишут их не профессиональные программисты, а специалисты в своих предметных областях.
Tags:

Из командной строки за знаниями!
светлое будущее
potan
Написал как из PowerShell выполнять SPARQL-запросы на Dbpedia и прочих серверах.
Может кому пригодится.

Защита от бомб с жидким вакуумом.
КМПкВ
potan
Боеприпасы объемного взрыва делают бабах не сразу, а через более чем 0.15 секунд после распыления горючего вещества. Задержка нужна что бы образовалась смесь с воздухом в правильной пропорции - если кислорода будет мало, смесь будет плохо гореть и может даже не сдетонировать (вместо бабах получится пшик).
Получается, что если поджечь смесь сразу, последствия взрыва можно сильно уменьшить. Высокотехнологичные армии могли бы использовать робототизированные пулеметы с зажигательными пулями или УФ лазеры. Какие-нибудь повстанцы просто расставить везде искровые разрядники и газовые горелки.
Интересно, на сколько это будет эффективно?

Постапокалиптическое
светлое будущее
potan
Приснился мне страшный сон - случилась экологическая катастрофа. Птицы расплодились и Read more...Collapse )

А потом подумалось, а почему бы так не сделать?Collapse )

Антисемитизм и русофобия
КМПкВ
potan
Есть такая теория - "ревизионизм", которая утверждает что холокоста не было. То есть был бытовой антисемитизм, в том числе и в высшем руководстве фашисткой Германии, но не было целенеправленной государственной программы по уничтожению евреев и официальное количество жертв среди еврейского населения Германии и оккупированных территорий завышено в несколько раз.
Основные аргументы - кустарные инструменты уничтожения (плохо обустроенные газовые камеры и тп) и неэффективность (типа, при возможностях государства ни кого бы не осталось).
Не буду копать эту тему - подробностями не владею, да и не интересна мне она.
Но что интересно, среди русскоязычных сторонников ревизионизма (иностранные источники по этому вопросу я не изучал) многие считают что против России и русских есть международный заговор. Мне такой мнение кажется удивительным именно по тем же аргументам, что и приводят отрицатели холокоста.
Антирусские/антироссийские действия какие-то кустарные и неэффективные. А ведь благодаря деятельности правительства, сейчас почитаемого многими сторонниками этой теории заговора, уничтожить Россию можно с небольшим для мировой закулисы бюджетом - не более десятка миллиардов. Почему этого не делают? Если предположить, что российское руководство в этом заговоре участвует, то разваливать Россию можно было бы эффективнее, чем оно это делает.
Ну и какой тут может быть заговор?

Гиперигра
светлое будущее
potan
Для тех, кто не боится заблудиться на больших картах - hyperrogue.
Немного нумерологии: в исходниках есть магические числа - 42 и 96. Смысл чиста 42 я понимаю, а что означает 96?

Julia, комбинаторные парсеры и наследование в одном флаконе.
светлое будущее
potan
Очередная статья на Хабре.
Tags: ,

Числовые классы типов в Rust
светлое будущее
potan
Написал статью на Хабре.
Теперь вот так...

МЭГ насекомых?
светлое будущее
potan
Сходил на лекцию Строение мельчайших насекомых и пределы миниатюризации животных.
Особенно заинтересовали безядерные нейроны.
В числе прочего в обсуждении жаловались на сложность измерения токов в столь маленьких нейронных сетях. А сейчас подумалось, МагнитоЭнцафалоГрафия у людей дает неплохое разрешение, при том, что датчики расположены относительно далеко от исследуемого объекта и источников сигнала очень много. А исследовать мозг насекомых по этой технологии кто-нибудь пытался? Можно было бы даже в полете попробовать.

Rust by example.
светлое будущее
potan
Отличный способ учить язык программирования.
Правда примеры написаны для старой версии компилятора, но сообщения об ошибках удивительно качественные и исправить обычно не сложно?
Интересно, когда на этом языке начнут проекты делать? Rust позволяет писать почти столь же эффективно и обобщенно, как C++ и при этом более надежно, чем на Java. Идеально для программирования Гигантских Боевых Ржавых Роботов!

Стих
светлое будущее
potan
Оригинал взят у greenbat в post
Полезла зачем-то в новости. "Не гляди!" - шепнул внутренний голос философу. Не вытерпела и глянула. Результат прекрасно описан неизвестным гением:

как хорошо сегодня в морге
прохладен чист его уют
все портят только практиканты
блюют


Иммунтология.
светлое будущее
potan
Начал создавать онтологию иммунной системы.
В RDF в человекочитаемом формате.
Сейчас туда занесена только таблица интерлекинов из Википедии. Сначала скриптом, потом руками - в надежности того и другого я не уверен, надо проверять.

Работает с этим protégé, а так же базы данных Virtuoso и Jena/Fuseki.
Стандартный язык запросов - SPARQL.

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

Конфетка из...
светлое будущее
potan
Angular - это просто конфетка. Но конфетка из такого дерьмя, что от использования все равно тошнит.
Tags:

Траффик едет в Ростов - отчего, почему?
светлое будущее
potan
Оригинал взят у _adept_ в Траффик едет в Ростов - отчего, почему?
Смотрите, какой интересный документ. В нем много технических терминов без объяснения и канцелярита, поэтому попробую рассказать своими словами.

Если коротко, то написано, что российский оператор Rostov Cellular Communications (он же Tele2) сделал что-то такое эдакое, после чего звонки ряда украинских абонентов (МТС Украина) маршрутизировались ... через узлы сети Tele2. Это - как минимум - дает Tele2 полные метаданные о звонках (кто, кому, когда, как долго, ...), а как максимум - позволяет слушать исходящие звонки.

Как же это стало возможно?Read more...Collapse )

?

Log in