balodja
math мёд ode Не, я читал в книжках, что человеки демонстрируют свои успехи в теории управления, создавая инвертированные маятники. Но не знал, насколько это круто.
youtube.com
youtube.com
balodja
math мёд Прорешал первый параграф задачек из задачника по функциональному анализу Треногина. В итоге: 95 задач, 14 листов А4 добротного матана и целая неделя кайфа. Поскольку пока задачи несложные, получается больше 10 задач в среднем за день решать.

Вступайте и компилируйте!

balodja
PulseAudio ? У меня одна пульса через сеть в другую передаёт звук по нативному протоколу. Хочу выставить руками буферизацию длиной в одну секунду, чтобы гарантировано не было проблем со звуком (пульса сама не справляется с выставлением грамотной задержки). Поскольку там в основном идти будет музыка, то задержка в одну секунду — это очень даже ОК. Но я никак не могу найти возможности такую простую вещь подкрутить (размер буфера при передаче/приёме). Может кто подскажет, куда копать?
balodja
? Haskell Хочется странного, но не получается сделать. Хочу класс Zippable, как по ссылке далее, а так же гетерогенную пару и простой сингл в качестве инстансов. lpaste.net
balodja
пидарасы МКБ капитализм Был у МКБ удобный "пакет услуг", где за 1200р в год можно было беспроцентно переводить деньги на счёт в другой банк. Успел лишь три месяца им попользоваться, теперь его взяли и тихо заменили на "50% скидка". Без каких-либо предварительных уведомлений, наверняка при этом нарушив какие-нибудь правила предоставления услуг. Незадолго до этого, кстати, ввели нормальный такой ежемесячный платёж за СМС-уведомления (50 рублей). Желаю всему руководящему составу наискорейшей и мучительной смерти.

Есть ли какие-нибудь нормальные банки с онлайн-доступом? Чтобы вот без перетасовываний правил.
balodja
FRP Haskell ode Поскольку астрологи в #2731494 объявили неделю FRP, количество постов об FRP удваивается. github.com

По ссылке пример того, как можно реализовать методами стрелочного FRP интегрирование ODE методами а-ля Рунге-Кутта (весь код в одном файле). В качестве основы используется подход в стиле Yampa или Netwire. Хорошо описано в заезженной статье: staff.science.uu.nl

От описанного в статье сделаны следующие важные отступления. Во-первых, избегается использование init'ов или delay'ев, которые обычно в таком подходе используются для описания интегралов. Вместо этого используется примитив integrator. Во-вторых, стрелки оперируют не сырыми данными, а отдельной абстракцией под названием Signal. На которую и выкладывается бремя обеспечения интегрирования. Для примера традиционно реализовано два метода интегрирования: Эйлер первого порядка (строка 133) и Рунге-Кутта четвёртого порядка (строка 153). Собственно, строчки 153-158 наибольший интерес и представляют, остальное всё шелуха.

В качестве примера интегрируемого уравнения обычный гармонический осциллятор (строка 170). Пруф работоспособности: tau.rghost.ru

Привет.
balodja
литература ? мёд Как вы организуете литературу? Складывание ссылок/книжек/статей в классическую иерархию типа "/Maths/Linear algebra/Gantmacher — Matrix theory.pdf" плохо подходит, поскольку обычно редко изложение целиком укладывается в один раздел. Например, какие-нибудь книжки по идентификации характеристик летательного аппарата я хотел бы занести, как в авиационные разделы, так и в некоторые математические разделы.

Более продвинутый способ — навешивать теги. Но это тоже жуть та ещё, поскольку теги лежат в огромном числе рядом и своим количеством не лезут ни в какие ворота. Поэтому возникает резонное предложение — организовывать теги в иерархию. То есть есть определённый корневой тег /, а все остальные — его потомки. У каждого тега есть родитель (можно два родителя и больше). Прикрепление одного тега подразумевает прикрепление в том числе всех родителей и прародителей этого тега. Можно грабить корованы.

Пусть, например, есть книга про применение аналоговых фильтров в народном хозяйстве. Навесим на неё два тега: "/Math/Probability/Stochastic processes" и "/Engineering/Electronics/Circuits". Это будет подразумевать, что мы так же навесили теги "/Math", "/Math/Probability", "/Engineering" и др. Некоторым тегам(например, какой-нибудь кристаллографии) могут понадобиться несколько родителей (например, оптика, группы, электродинамика), поэтому нет смысла ограничивать теги только одним родителем, пусть будет их много.

Так вот. Чего хорошего придумало для этого (для правильной организации литературы) чел-о-вечество? Интересуют готовые решения.

P.S. Если объяснять аналогиями, то. Для фанатов ООП: теги — это трейты/миксины/интерфейсы, а книги — это объекты. Для хаскеллистов: теги — это классы типов, книги — это типы. Для плюсофагов: теги — это классы, книги — это объекты.
balodja
печаль mtp Android Посылаю кучу лучей добра разработчикам то ли андроида, то ли либмтп, то ли мтпфс. После попытки со смартфона перетащить книги себе на хард, ни одной целой книжки не осталось. Ни одной.
balodja
? капитализм Жуйк, в каких банках более-менее божеские тарифы на перевод бабла в другие банки? Я пользуюсь МКБ сейчас, услуга "беспроцентные переводы во все банки" ещё вчера стоила меньше 1 тыра в год, сегодня уже 1.2 тыра. Боюсь, что могут поднять ещё, рассматриваю другие варианты.
balodja
math ? Можно ли построить теорию интегрирования Лебега, исходя из пополнения метрического пространства, где метрикой выступает интеграл от модуля разницы функций?
balodja
math мёд Вот это правильное определение интеграла Лебега, без всяких мер и без почтивсюдости. Просто и элегантно.

balodja
Git Emacs ? weather В magit-status можно удобно добавлять hunk'и (и их выделенные фрагменты) в stage. Можно как-нибудь при этом отредактировать руками конкретный текст, который в stage отправляется? Вот git add -p так умеет, там команда "e" есть.
balodja
math ? Что хорошего можно сказать про дробно-линейные преобразования, если их обобщить на n-мерный случай? Как-то примерно так: A(x) / a(x), где A: R^n -> R^n; a: R^n -> R (обе функции линейные). Будут ли эти преобразования хотя бы полугруппу какую-нибудь давать; а может и даже группу?