HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azaras

192 karmajoined il y a 13 ans

comments

azaras
·il y a 18 heures·discuss
It did not use Lean or other proof assistant?
azaras
·il y a 2 mois·discuss
Mal, el inglés permite la comunicación entre informáticos a nivel internacional.
azaras
·il y a 2 mois·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
·il y a 4 mois·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
·il y a 5 mois·discuss
The Copilot-Cli is not so bad,

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

Using both is not so bad.
azaras
·il y a 7 mois·discuss
Reduce human working hours.
azaras
·il y a 7 mois·discuss
What are you developing in?
azaras
·il y a 9 mois·discuss
That is because of the neoliberal ideology. When the ideology changes, workers will be the primary beneficiaries.
azaras
·il y a 9 mois·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.