Published a post on functional patterns in TypeScript

Exploring Effect-TS as a replacement for raw Promise chains in agent pipelines

Picked up SICP again — third attempt, this time it's clicking

Functional patterns that actually matter in TypeScript

Reading about Lean 4 and dependent types. Formal verification feels increasingly practical