vissi

Getting error 403

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…)

On this, I think, we should have some kind of AI-generated meta-tag, like this: https://github.com/whatwg/html/issues/9479

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.

Does it make sense to think about money if you cannot have more income? Follow the steps of Robinson Crusoe, he has lived without money for years.

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.

fourdllc-S4DCA-CA This certificate is not trusted, please fix (if you own the site).

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.

Wow, VR Commander Keen!

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.

Well, search may have bugs (or undocumented features) too, I have googled content from other pages on this site (related to Metallica). Page 6 for example: https://www.google.com/search?q=%22Listen+up+you+fags+metall...

Wow, you are ACM ICPC finalist, that's a wonderful achievement. It's strange you didn't get into interview.

GPA : 0.86 out of 0.7 (A+) What does that mean?

So if it's not commercial, why don't you discuss your idea here, in public? You may also ask a question on Quora.

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?