Exactly a year ago, in one of my previous posts, we proved Monoid laws with Idris. We’ll do the same with Groups.
A8c team meetup Athens, 2019
During the first week of October, we had our team meetup in Athens, Greece.
We had a lot of projects going on, and one of them (which I was involved in) was working on the architecture of WooCommerce Services. It has wp-calypso as a dependency, and we wanted to move out of that and just rely on @wordpress/components. We have a PoC PR and wrote an internal P2 post about it.
Fun stuff, right? Now for the actual fun stuff. We did a lot of escape rooms. And I mean a lot.
Metapost: Tuply singleton – Freedom of creativity
I like puzzles. If it’s a non-trivial one, in order to come up with a solution I usually spend a few days (on and off) thinking about it. But it also has to be interesting to get my attention.
As an example, consider one of my earlier blog posts series: Tuply singleton, Tuply singleton v2, Tuply singleton v3. This is what I do in general, and blog posts are usually just the result of my thinking. Blogging (or pen & paper) is one of the best tools we have as humans – given the reliability of our memory.
But then another thought came. What if someone had asked me that same question on a job interview? Most job interviews usually have a time constraint, so there’s a high chance I would come up with the first (erroneous) version.
To me, this is freedom of creativity – to keep thinking about something that seems interesting and come up with a solution, without being pressured or constrained by time.
Tuply singleton v3 (with proof)
In my previous post, I had a different approach to Tuply singleton.
This is the third and last post in the Tuply singleton series. We will provide mathematical proof for correctness, and also show a generalized formula.
Tuply singleton v2
In my previous post I showed how we can encode a pair into a single number.
I found out that encoding is wrong for some numbers. For example, consider the pairs 
In this post, we will change our strategy and slightly adjust our formula.
bor0's reflective blog 