azaras

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 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.

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: 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.

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 VSCode with an Emacs extension and some keybinding changes.

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 working time and dedicate the time to flourish, read, write, music, sports, maths, philosophy... Less consuming and more creating.

Org-mode is the way for Emacs users.

But GoG saids to use composition over inheritance

It is interesting for an old and classic software developer to see how the LLMs are taught/programmed. They use markdown files:

- https://github.com/SimonAytes/SoT/blob/main/sketch_of_though...

- https://github.com/SimonAytes/SoT/blob/main/sketch_of_though...

- https://github.com/SimonAytes/SoT/blob/main/sketch_of_though...

I use byobu, a Tmux wrapper, as my primary terminal.

I changed the Keybindings for splitting and moving around terminals to be as in Emacs, and I am very happy.

I think he speaks of the people with enough money to cover their needs well. Elons Musks, Warrens Buffets and so on...

He is not a moron to think that a boy in a slum has not to worry about money.

There are operators written in Java and Rust.

I love him and their spiritual son, Leslie Lamport.

Spain too.

You are right; it is about interest; women like social sciences, and men like STEMs.

Is this a product of nurture or culture? I don't know.

A solar punk utopia is near.