I've been working on a mini-book on RLVR for the past few weekends, sharing the v0 now, hope it is helpful, and open to feedback!

gg bird is closed-source now

agreed!

sorry for misleading, added an update stating that this is a simulacra of sqlite

yes, in the order of $50 let's say, although with api I believe it would be in the hundreds

Gemini is free, I don't even know if they have a paid plan?

the code has not been rigorously tested in all honesty, (this is mainly an experiment on agent orchestration as opposed to building a viable sqlite in rust)

- The choice of two workers per model is purely pragmatic: I can't afford more. - I chose heterogeneous agents because it has not been done yet. There is no performance justification for this choice.

That project is definitely of higher quality than this one. For instance, this project does not have concurrency.

Sorry for the ambiguity, it's not the test suite and I have updated the blog post to make that clear. I agree that building software where you do have this oracle is much easier than not having it and expecting the AI to build it.

not initially, but it's the genisis

I push back on loops being insufficient because algorithms such as alpha evolve have already proved very effective.