С момента публикации предыдущего поста, описывающего мои первые изыскания с Flipper Zero прошло полгода. Как ни странно, он продолжает быть актуальным и популярным в сообществе, однако за это время тулинг для разработки под Flipper шагнул вперед.…
Пошаговая раскладка этапов развития кода из этого поста доступна на GitHub. На прошедших выходных мне, наконец, пришел мой хакерский тамагочи Flipper Zero, поддержанный на Kickstarter еще в августе 2020 года. После копирования всех ключей, пропусков на работу, парковку, а также выключения пары телевизоров и кондиционеров, конечно, захотелось большего. Среди этого…
Несколько мыслей о событии, расколовшем мир вычислительных биологов на непримиримые лагеря.…
В текущей серии постов я хочу уложить некоторые вещи в собственной голове, получить простую шпаргалку на русском языке, а также помочь проникнуться системой тем, кому по какой-то неведомой причине влом читать книжку, что тем не менее сделать обязательно нужно.…
Мы решили открыть магистратуру "Вычислительная биология и биоинформатика" в Питерской Вышке. Для того, чтобы прорекламировать направление решили откровенно хайпануть на теме COVID-19.…
Пытаюсь разобраться с проектом на JavaScript. Так как до этого я веб-разработкой никогда не занимался, меня сильно смутил весь окружающий её тулинг. Этой заметкой я хочу зафиксировать свой путь создания простейшего проекта.…
Широко известно классическое индуктивное объявление натуральных чисел: ноль — натуральное число, и число следующее за натуральным — натуральное. Простейший способ кодирования таких чисел при помощи лямбда-исчисления — метод Чёрча, не имеющий, как кажется, прямого отношения к индуктивному типу.…
Попытка cделать описание лямбда-исчисления сразу с реализацией кода на языке программирования Haskell.…