> 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.
Am I right that you have no problem finding donors, and just need a set of books to start off with?
Should those be IT-related books or some other (engineering/art/etc.)?
The target you specified (60 books a year) is rather high, only fiction books can be read at that rate (I also suppose the books would be not in your first language). If your friend is studying literature/communications that would be somehow connected to their study, otherwise it will definitely be a major distraction.
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?