Now

Most of my time goes to avenance, a general symbolic solver. No neural nets anywhere in it. I'm writing the kernel now.

It grew out of light-search, which I've shown can't do what I wanted it to.

Day job: contracting on a database query compiler. Multi-target codegen, and a parser that treats parsing as navigation, not verification. Every byte-level state carries its full set of valid futures.

Also on the day job: reworking how data moves between a group of partner companies.