hoyo1s

3 ms·

1. 1.▲
   by hoyo1s 1y ago

   AI summaries are mostly shit.
2. 2.▲
   by hoyo1s 1y ago

   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 are not high at all. The key is to take advantage of economie
3. 3.▲
   by hoyo1s 1y ago

   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 generalizability, The large amount of code generated i
4. 4.▲
   by hoyo1s 1y ago

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