Verifiability is the Limit

Puzzles as Algorithmic Problems

Introducing Devy, written using Devy!

Solving Algorithmic Problems: Painting a Grid

A Cryptic Visual Language as a Puzzle