Exactly a year ago, in one of my previous posts, we proved Monoid laws with Idris. We’ll do the same with Groups.
Author: Boro Sitnikovski
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 . If you encode either of those using the formula we derived, you will get the same answer: 137.2.
In this post, we will change our strategy and slightly adjust our formula.