Simple Science

Cutting edge science explained simply

Cutting edge science explained simply

Tobias Kappé

Programming Languages CF-GKAT: Comparing Control Flow in Programming

A new tool to check program equivalence through control flow analysis.

2025-05-16T03:50:40+00:00 ― 6 min read

Programming Languages Understanding KAT and Its Limits in Programming

A look at Kleene Algebra with Tests and its challenges in deterministic tasks.

2025-05-14T15:06:40+00:00 ― 6 min read