Six months have passed since I published the previous post about my first experiments with Flipper Zero. Surprisingly, it remains relevant and popular in the community, but the development tooling for Flipper has moved forward in the meantime.
Personal notes on life and science
I write rarely and at length — usually about things I had to figure out myself and found no decent write-up for.
2023
2022
A step-by-step history of the code developed in this post is available on GitHub.
2020
A few thoughts on the event that split the world of computational biology into irreconcilable camps.
In this series of posts, I want to put a few things in order in my own head, create a simple reference, and help people appreciate the system if, for some unfathomable reason, they cannot be bothered to read the book—even though they absolutely should.
We decided to launch the Computational Biology and Bioinformatics master's programme at HSE University in St. Petersburg. To promote it, we made a very deliberate attempt to ride the COVID-19 hype.
2019
I am trying to understand a JavaScript project. Having never done web development before, I found all the surrounding tooling deeply confusing. This note records my path towards creating the simplest possible project.
2018
The classic inductive definition of natural numbers is well known: zero is a natural number, and the successor of a natural number is a natural number. The simplest way to encode such numbers in the lambda calculus is Church encoding, which seems to have no direct connection to the intuitive inductive type.
An attempt to explain the lambda calculus while implementing it in Haskell.
My favourite annual conference, PEGS Boston, ran from April 30 to May 4. For 14 years its logo and all related materials had featured the same protein, and for 13 years the organisers had been asking the same question: what protein is it?
I gave a talk at the Future Biotech winter school about methods for working with small molecules. Since it was streamed live, I can post the video right away.