Agree with most of these. One thing I don’t love about codex/sol is I find it tends to overengineer and be overly cautious. I was using it to do create some scraping + data processing. It went kind of crazy on the provenance, need at least 3 sources of consensus before promoting facts type bullshit. defined a bunch of enums and gates. I just wanted scrape some site data and put it into a SQLite dB. Like chill codex.…
I feel like codex/sol is better at well scoped hard technical problem.
Where it can sort of run this brute force analytical loop.
Like doing performance optimization or other search type problems. I think the math proofs are good examples of this.