Личные заметки о жизни и науке

С момента публикации предыдущего поста, описывающего мои первые изыскания с Flipper Zero прошло полгода. Как ни странно, он продолжает быть актуальным и популярным в сообществе, однако за это время тулинг для разработки под Flipper шагнул вперед.

Пошаговая раскладка этапов развития кода из этого поста доступна на GitHub.

Несколько мыслей о событии, расколовшем мир вычислительных биологов на непримиримые лагеря.

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

Мы решили открыть магистратуру "Вычислительная биология и биоинформатика" в Питерской Вышке. Для того, чтобы прорекламировать направление решили откровенно хайпануть на теме COVID-19.

Пытаюсь разобраться с проектом на JavaScript. Так как до этого я веб-разработкой никогда не занимался, меня сильно смутил весь окружающий её тулинг. Этой заметкой я хочу зафиксировать свой путь создания простейшего проекта.

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

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

С 30 апреля по 4 мая проходила моя любимая ежегодная конференция PEGS Boston. На протяжении 14 лет в дизайне логотипа и всех сопутствующих материалов этой конференции используется изображение одного и того же белка, и вот уже 13 лет подряд организаторы конференции задают вопрос: что это за белок?

Выступил на зимней школе Future Biotech про методы работы с малыми молекулами. Так как велась прямая трансляция, можно сразу выложить видео.