Find some of these writings and more on my Substack
Blog
Format:
What's happening to software engineers?
The timeline to automation
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
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