HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azaras

192 karmajoined 13 jaar geleden

comments

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

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

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