Author here, hello! Happy to expand on how we're thinking about this if any of it is unclear.
We wrote this post as part of a launch, which you can check out here: <a href="https://x.com/danlovesproofs/status/2095182189499711759" rel="nofollow">https://x.com/danlovesproofs/status/2095182189499711759
drob · · focus · HN ↗
We wrote this post as part of a launch, which you can check out here: <a href="https://x.com/danlovesproofs/status/2095182189499711759" rel="nofollow">https://x.com/danlovesproofs/status/2095182189499711759