> LLMs are trained on wrong autogenerated documentation: a downward spiral for hallucinations! (Maybe this one could then force users go look for the official docs? But not sure at this point…)
Probably try changing company, not the role?
It depends, per my experience being TL is not harder than being a dev, probably CTO is more loaded, just try a smaller company then, so you have less people/tasks under your management.
Is the source legit?
I found only Ukrainian sources claiming Uralvagonzavod ceasing production, no Russian sources. It also has military and civil branches, even if some civil production stopped it does not mean military branch is affected.
Not exactly so, dot in address is just ignored by gmail, so “myemail.youtube“ is equivalent to “myemailyoutube“, not to “myemail“. Plus sign works as you described.
Those 600 pages are not so well-formalised to be processed by the computer. If they were, that could be 6000 or more pages.
Even a simple statement is a lot more verbose in formal form.
Also, this is hard algorithmically, even SAT problem https://en.wikipedia.org/wiki/Boolean_satisfiability_problem is NP-complete, verifying a generic proof is a lot harder.
Which languages do you use?
There's a wide variety of options: Doxygen for C, PHPDocumentor for PHP, literate tools for Ruby and Coffee, etc.
If you describe your software using email, why can't you write the same docs on github using Markdown?