HackerTrans
TopNewTrendsCommentsPastAskShowJobs

azaras

192 karmajoined 13 năm trước

comments

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

https://github.com/features/copilot/cli
azaras
·5 tháng trước·discuss
Communism is the alternative ideology.
azaras
·6 tháng trước·discuss
I follow using Emacs, but for debug and AI.

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