Applied Algorithms

A week with Satori, the experimental low-latency GC for .NET

A sub-millisecond GC for .NET?!

So what is Model Based Testing anyway?

8 levels of thinking about structs in C#

Getting started with Dafny: Your first formal proof

Risk as a reflection of values

It is just a Formality...

I built a serverless platform in 1 day (and so can you!) Part 2

I built a serverless platform in 1 day (and so can you!)

An Introduction to Testing the Impossible

The 5 best papers I read in 2021