HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azaras

192 karmajoined 13 anni fa

comments

azaras
·16 ore fa·discuss
It did not use Lean or other proof assistant?
azaras
·2 mesi fa·discuss
Mal, el inglés permite la comunicación entre informáticos a nivel internacional.
azaras
·2 mesi fa·discuss
The majority of humans are not slop-free.

We compare AI to high-performance humans, but the average human is not better at many tasks than AI is.
azaras
·4 mesi fa·discuss
My dad was an old-school architect. When AutoCAD replaced the drafting table—the ink, the ruler, the set square, the protractor—he thought it was crap, because now any total hack at drawing could do it.

For me, on the other hand, AutoCAD was amazing, because with AutoLISP you could draw with words. And now, with the LLM boom, I finally get him.
azaras
·5 mesi fa·discuss
The Copilot-Cli is not so bad,

https://github.com/features/copilot/cli
azaras
·5 mesi fa·discuss
Communism is the alternative ideology.
azaras
·6 mesi fa·discuss
I follow using Emacs, but for debug and AI.

Using both is not so bad.
azaras
·7 mesi fa·discuss
Reduce human working hours.
azaras
·7 mesi fa·discuss
What are you developing in?
azaras
·9 mesi fa·discuss
That is because of the neoliberal ideology. When the ideology changes, workers will be the primary beneficiaries.
azaras
·9 mesi fa·discuss
What is the difference between Kuberesolver and using a Headless Service?

In the README.md file, they compare it with a ClusterIP service, but not with a Headless on "ClusterIP: None".

The advantages of using Kuberesolver are that you do not need to change DNS refresh and cache settings. However, I think this is preferable to the application calling the Kubernetes API.