HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azaras

192 karmajoined 13 лет назад

comments

azaras
·19 часов назад·discuss
It did not use Lean or other proof assistant?
azaras
·2 месяца назад·discuss
Mal, el inglés permite la comunicación entre informáticos a nivel internacional.
azaras
·2 месяца назад·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 месяца назад·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 месяцев назад·discuss
The Copilot-Cli is not so bad,

https://github.com/features/copilot/cli
azaras
·5 месяцев назад·discuss
Communism is the alternative ideology.
azaras
·6 месяцев назад·discuss
I follow using Emacs, but for debug and AI.

Using both is not so bad.
azaras
·7 месяцев назад·discuss
Reduce human working hours.
azaras
·7 месяцев назад·discuss
What are you developing in?
azaras
·9 месяцев назад·discuss
That is because of the neoliberal ideology. When the ideology changes, workers will be the primary beneficiaries.
azaras
·9 месяцев назад·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.