ruby-lean: A Ruby semantics with a type soundness proof

A significant leap forward in AI-accelerated formal verification

ruby-lean Technical Appendix

Appendix of technical notes from the ruby-lean project

Benediction

Education in a post-AI world

How we need to rethink the basic assumptions underlying our society

Personal reflection on "East of Eden"

My thoughts after recently finishing this book

Against transactional thinking (and a parable)

Life doesn't have to be zero-sum. Part one of many.

Quitting caffeine, limiting alcohol, and maintaining a single thread of consciousness

Quick reflections on self-deprivation of common psychoactive substances

AI won't come for your job yet, and that's bad

What macro risk, inference subsidies, and questionable ROI imply about future AI adoption patterns, and how we can change that

Hello, World!

An introductory post on why I'm starting a blog and what to expect