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.

Communism is the alternative ideology.

I follow using Emacs, but for debug and AI.

Using both is not so bad.