Viewing profile — hoyo1s

AI summaries are mostly shit.

Yes, and I think this is often a problem on the power generation side. The damn cost of energy storage and photovoltaics has been falling rapidly, hydropower and wind power costs a…

Sometimes one just need [language or tech stack] to do something, especially for some performance/security considerations. For now LLMs still suffers from hallucination and lack of…

Strict type-checking and at least with some dependent type and inductive type