Vemana's Blog

Math Proofs: Insight vs Tricks. An example using Borel Cantelli Lemma.

Learning math should be about insights. But textbooks often fall short.

Hardware Memory Models: 10 Minute Mental Model

The Web-scale Software Engineer Skillset

Many skillsets required. Some only learnable from practice.

How to think about programs & programming? ABIYZ: inspired by age old tools like arithmetic.

A deep introspection of how we use arithmetic reveals a powerful pattern for programming.

Can software testing be objective? Hello from Homomorphisms.

How many tests to write? What tests to write? Can there be objective answers? Surprisingly, the answer is yes for a certain class of programs.

What is Money and where does it come from? An answer from symmetry.

Demanding a symmetric explanation offers insight.