Late the bandwagon but have been experimenting with agent assisted lean/formalization for the first time; it's been surprisingly high ROI vs previous fuzz coverage and has forced me to think through some interactions of cases that I hadn't yet encountered in the wild. Very useful for flushing out null behavior in my typed SQL engine [1].

On another project to inventory street trees - making progress on training a vision model for aerial tree photo detection in urban environments (original goal was to fill in central park in NYC, which is missing from their public inventory). Haven't gotten NYC to the level of precision I want, but SF has good initial results! [2]

[1] https://trilogydata.dev/

[2] https://arborary.world/cities/ussfo.html