Math Proofs: Insight vs Tricks. An example using Borel Cantelli Lemma.
Learning math should be about insights. But textbooks often fall short.
How to run JUnit tests in parallel with Virtual Threads.
Using Virtual Threads can deliver more utilization on I/O bound tasks.
10 Minute Mental Model Series
Learn or refresh mental models on important concepts in 10 minutes or less
Hardware Memory Models: 10 Minute Mental Model
An interesting series convergence using geometry. Putnam 2021 A3.
Solving a Functional Equation using Verbal reasoning. International Math Olympiad 2022, Problem 2.
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.
Are there changes that accelerate software aging? Yes, here's a small list.
Without effective mitigation, some patterns of change accelerate software aging.
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.