Mike Potanin

Жалобы на жизнь

potan — Mon, 24 Sep 2018 11:09:28 GMT

Хорошее место Красный Окрябрь, приятное. Но вот соседство с храмом Pussy Riot напрягает. Мало того, что звонят постоянно, так еще какую-то хрень туда привезли, все перегородили, до офиса через лабиринт с рамками приходится добераться. Лучше бы Pussy Riot в другом храме выступили, КМПВ, этот не жалко было бы снести и бассейн восстановить.

Есть ли жицнь за МКАДом?

potan — Mon, 19 Feb 2018 14:50:31 GMT

Вакансия в Екатиренбурге С++, Rust, blockchain и зарплата всего 40 000 рублей.
Там правда люди живут?

Паттерн Model-Update-View и зависимые типы

potan — Mon, 20 Nov 2017 10:56:32 GMT

Написал статью на Хабре о том, чего нет в Elm.
Кто не может комментировать там, могут комментировать здесь.

ROS и языки программирования.

potan — Fri, 03 Nov 2017 14:17:20 GMT

Дослушал курс до конца, и даже выполнил все задания.
Оказалось полезно: ROS - система с развитой инфраструктурой, богатой деталями и тонкостями, разбираться с которой по текстам не имея конкретной задачи я уже много раз ленился, а искать задачу не разобравшись не рисковал.
Основная фича ROS - возможность создавать и связывать в единую систему микросервисы, работающие по принципам "статически типизированная подписка на топик". Типы сообщений представляют из себя аналог C-шных структур, алгебраические типы (и даже union) не поддерживаются.
Мы проходили API для C++. На дворе 21 век, а это API реализованно на callback-ах. При этом авторы API уже забыли про старый добрый C и не реализовали передачу пользовательских данных дополнительным аргументом, а про C++11 еще не слышали, и лямбды не принимают. В курсе общение между callback-ами делалось через глобальные переменные, но API все таки позволяет так не делать - вместо лямбд поддерживается boost::function (у которого есть конструктор из лямбды, так что не все так плохо), а вместо явного дополнительного параметра можно передать ссылку произвольный объект и на его метод (ссылки на методы я всегда считал странной, не совсем консистентной фичей, использование которой видел только в qt, который крив сам по себе, но здесь это решение оказалось вполне рабочим).
Большую роль в ROS играет страшный cmake, которым мы пользовались на уровне заклинаний "поправить такую-то строчку в таком то файле". При сборке в сообщениях проскаивает геренация библиотек не только для плюсов и питона, но еще для nodejs, lisp и какого-то eus.
У меня сложилость впечатление, что прорыв в программировании роботов произойдет тогда, когда миры робототехники и функционального программировния пересекутся - уж больно хорошо все это ложиться на функциональную парадигму. Задачи похожи на разработку UI (только вместо пользователя реальный мир, можно сказать WI), только больше и сложнее, а в интерфейсах функциональщина сильно все упрощает.
В общем возникает сильное желание попробовать там Purescript, поверх nodejs, а потом прикрутить еще Rust/gluon и Julia.

Фронт с роботами.

potan — Fri, 20 Oct 2017 15:59:59 GMT

В порядке паралельного изучения ELM и ROS состыковал одно с другим.
Хотя в ELM не хватает тайпклассов и макросов, UI на нем пишется поразительно быстро и легко. Я уже просто не понимаю, зачем делать фронтенд на чем либо еще.

Забавная арифметика.

potan — Wed, 20 Sep 2017 16:47:53 GMT

Есть фунция на Julia

function pconcat(x,y,arc)
  xe = exp(x)
  xm = 1.0/xe
  ye = exp(y)
  ym = 1.0/ye
  c = cos(arc)

  xc = xe+xm
  xs = xe-xm
  yc = ye+ym
  ys = ye-ym

  l = (xc*yc + xs*ys*c)/4

  larc = (xc*l - yc)/(xs*(sqrt((l-1)*(l+1))))

  (acosh(l), acos(larc)*sign(arc))
end

Вольфрам альфа говорит, что pconcat(x,y,0) должен быть равен (x+y,0). Чаще всего так оно и есть, но если вдруг x и y окажутся близки к N*1.09054966350708617, иногда наступает военное время и косинус оказывается больше единицы. Там надо явную проверку вставить, или есть какой-то более правильный способ это починить?

Вакансия на Scala

potan — Tue, 29 Aug 2017 14:23:46 GMT

Тут внезапно освободилась вакансия Scala-разработчика (а лучше разработчицы, по инфраструктурным соображениям). Разрабатывать придется облачный (хостится на AWS) энтерпрайзный PLM. Зарплаты рыночные и раз в год индексируются. Компания (слишком) быстрорастущая. Оффис около метро Ясенево в Москве.
Есть желающие?

Перхлораты и жизнь.

potan — Thu, 13 Jul 2017 22:31:43 GMT

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

"Капитан Фантастик"

potan — Fri, 26 May 2017 10:17:20 GMT

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

Хочется странного.

potan — Fri, 05 May 2017 14:10:43 GMT

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

Вложенные транзакции

potan — Fri, 17 Mar 2017 11:11:01 GMT

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

Транзакционная память и backtracking

potan — Thu, 15 Dec 2016 10:09:16 GMT

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

И еще одна статья.

potan — Fri, 09 Dec 2016 17:14:31 GMT

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

Очередная статейка на хабре...

potan — Wed, 26 Oct 2016 09:51:46 GMT

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

Где нужны "зависимые типы"?

potan — Wed, 06 Jul 2016 12:04:15 GMT

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

Из командной строки за знаниями!

potan — Tue, 26 Apr 2016 14:30:00 GMT

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

Защита от бомб с жидким вакуумом.

potan — Fri, 23 Oct 2015 09:09:32 GMT

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

Постапокалиптическое

potan — Fri, 22 May 2015 09:18:31 GMT

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

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

Антисемитизм и русофобия

potan — Wed, 18 Mar 2015 18:36:38 GMT

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

Гиперигра

potan — Wed, 24 Dec 2014 08:58:48 GMT

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

Julia, комбинаторные парсеры и наследование в одном флаконе.

potan — Tue, 28 Oct 2014 19:48:04 GMT

Очередная статья на Хабре.

Числовые классы типов в Rust

potan — Wed, 08 Oct 2014 07:44:43 GMT

Написал статью на Хабре.
Теперь вот так...

МЭГ насекомых?

potan — Thu, 25 Sep 2014 12:55:14 GMT

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

Rust by example.

potan — Mon, 22 Sep 2014 11:48:28 GMT

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

Стих

potan — Thu, 04 Sep 2014 10:33:22 GMT

Оригинал взят у greenbat в post

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

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