Stories by tearflake

A different take on S-expressions

Lambda calculus - compiler, type inference, and evaluator in less than 100 LOC

Symbolverse – minimalistic symbolic term rewriting framework

Show HN: FlakeUI

P vs. NP Solution Proposition