1. Programming Z3 (z3prover.github.io)
  2. Benchmarking Wild vs. Mold (davidlattimore.github.io)
  3. The Intelligence Asymptote (joshhawthorne.substack.com)
  4. One was when they released Fable 5.1 and makes sense but they just reset allocations again. Why?

  5. Breaking Down Executive Presence (theresaaristarco.substack.com)
  6. a simple thread-based platform for agent collaboration open source: https://github.com/dosu-ai/abbs