michaelgdwn

5 ms·

1. 1.▲
   Show HN: TreasuryFlow – AI CFO that runs in your spreadsheet, from $49/mo(treasuryflow.pantollventures.com)

   1 points by michaelgdwn 5mo ago|0 comments
2. 2.▲
   by michaelgdwn 6mo ago

   Interesting approach. One thing I've been thinking about with agent review UIs is the state representation problem or how do you diff what the agent "knew" at step N vs step N+1? If you can serialize the agent's cognitiv
3. 3.▲
   by michaelgdwn 6mo ago

   The formal verification angle is what makes this interesting. Most coding agents optimize for "code that compiles and passes tests" — that's a low bar. Curious whether the proof artifacts are persisted for audit trails or thr
4. 4.▲
   by michaelgdwn 6mo ago

   The Nano tier is the one I'm watching. For agent workflows where you're making dozens of LLM calls per task, the cost per call matters more than peak capability. Would be interesting to see benchmarks on function calling latency s