azaras

When I was young, public universities in Spain only evaluated the final exam. That was not a problem; it helped people become responsible. Nowadays, they have changed it to evaluate continuous homework, and students end up worse prepared.

For keep the brain working and sci-fi I recommend you "EVO - Padres" by Ignacio Fernandez Moreno, spanish only but easy to read with B2 level or upper. It's a science fiction novel exploring politics based in evolution in a far away planet.

I am learning TLA+ but I do not know CSP, is CSP better?

The logo is like the Go one, it confuses me.

I am learning math logic and two languages to use it: TLA+ and Lean.

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