Avijit_Thawani

Need this but in GitHub UI, with merged/unmerged PRs and comments (debates) and diffs.

"Irrelevant material is simply never surfaced by the semantic search." thats quite optimistic. there's lots of "memory" or past chats with agents that should be suppressed and forgotten because they were looking in the wrong place or were eventually proven wrong. yet semantically they'd look very relevant to a future search. thats why you shouldn't search both textbooks and scifi when trying to solve an examination.

Per provider is helpful distinction. Easier to enforce limit per provider (cursor/codex/claude) rather than a unified employee tracking. And it incentivizes power users to keep trying out all options rather than sticking to one out of habit.

Fascinating! I assume Mandarin is one of the other two languages your kids are learning, in which case you may be interested or have already seen Chineasy app and book, for a similar experience with Hanzi.

totally love it as an alternative to Anki, didn't mention it since it has already been praised by the original post