Viewing profile — azaras

I understood that you was in the VSCode dev team. "I left using VSCode to build an IDE ..." is a most honest claim.

It did not use Lean or other proof assistant?

Mal, el inglés permite la comunicación entre informáticos a nivel internacional.

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.

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 a…

The Copilot-Cli is not so bad, https://github.com/features/copilot/cli

Communism is the alternative ideology.

I follow using Emacs, but for debug and AI. Using both is not so bad.

Reduce human working hours.

What are you developing in?

That is because of the neoliberal ideology. When the ideology changes, workers will be the primary beneficiaries.

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: No…

Why do you use Erlang instead of Elixir?

Regarding AI, I don't have a replacement, but for code/text navigation, eglot is a good option. I think that the AI CLI agents are the response for AI, but for now, I am opening VS…

Nowadays, "reverse" is suppressed in most ways. I have heard that Nginx is a proxy more often than a reverse proxy.

Is it not 25 min too short for a focus period? I listen to Andrew Haberman that 90 min is the time you maintain focus.

To provide context, I utilize the memory-bank pattern with GitHub Copilot Agent, but I believe I'm wasting a significant number of tokens.

But this is a waste of resources. LLM should be generated in a higher-level language and then compiled.

But, old people, who have taken coffee have good mental health, contrary to alcohol drinkers.

And AI.

"No one owes anyone a job" A job no, but an income. The humanity does not need to be more productive, we have enough of all, products and services. What we need is reduce the worki…

Org-mode is the way for Emacs users.

But GoG saids to use composition over inheritance