Hacker News: azaras

New comment by azaras in "Show HN: I left VSCode to build an IDE to handle many projects/agents workflow"

azaras — Tue, 28 Jul 2026 14:53:49 +0000

I understood that you was in the VSCode dev team.

"I left using VSCode to build an IDE ..." is a most honest claim.

New comment by azaras in "GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]"

azaras — Fri, 10 Jul 2026 19:20:39 +0000

It did not use Lean or other proof assistant?

New comment by azaras in "Ask HN: Pregunta para los devs hispanohablantes"

azaras — Tue, 26 May 2026 06:03:04 +0000

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

New comment by azaras in "Generative AI Vegetarianism"

azaras — Tue, 28 Apr 2026 06:28:20 +0000

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.

New comment by azaras in "Do architects still need to draw? (2020)"

azaras — Thu, 26 Mar 2026 07:20:10 +0000

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.

New comment by azaras in "Claude Code is suddenly everywhere inside Microsoft"

azaras — Mon, 02 Feb 2026 12:33:50 +0000

The Copilot-Cli is not so bad,

https://github.com/features/copilot/cli

New comment by azaras in "How the new era of CEO supervillains are trapped in their own ideology"

azaras — Wed, 28 Jan 2026 09:07:52 +0000

Communism is the alternative ideology.

New comment by azaras in "You Need to Ditch VS Code"

azaras — Tue, 30 Dec 2025 13:06:12 +0000

I follow using Emacs, but for debug and AI.

Using both is not so bad.

New comment by azaras in "If AI replaces workers, should it also pay taxes?"

azaras — Mon, 15 Dec 2025 10:26:59 +0000

Reduce human working hours.

New comment by azaras in "Why we built Lightpanda in Zig"

azaras — Fri, 05 Dec 2025 20:01:22 +0000

What are you developing in?

New comment by azaras in "AI is an attack from above on wages": cognitive scientist Hagen Blix"

azaras — Fri, 10 Oct 2025 16:25:24 +0000

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

New comment by azaras in "Intelligent Kubernetes Load Balancing at Databricks"

azaras — Wed, 01 Oct 2025 06:25:46 +0000

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.

New comment by azaras in "Nova: A New Web Framework for Erlang"

azaras — Thu, 31 Jul 2025 14:02:36 +0000

Why do you use Erlang instead of Elixir?

New comment by azaras in "Show HN: A 'Choose Your Own Adventure' written in Emacs Org Mode"

azaras — Thu, 17 Jul 2025 06:24:35 +0000

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.

New comment by azaras in "Reverse proxy deep dive"

azaras — Sat, 12 Jul 2025 07:43:32 +0000

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

New comment by azaras in "Show HN: A rain Pomodoro with brown noise, ASMR, and Middle Eastern music"

azaras — Wed, 09 Jul 2025 02:02:06 +0000

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.

New comment by azaras in "Context Engineering for Agents"

azaras — Fri, 04 Jul 2025 05:32:03 +0000

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

New comment by azaras in "LLMs as Compilers"

azaras — Thu, 03 Jul 2025 06:19:46 +0000

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

New comment by azaras in "Caffeine Keeps Your Brain "Awake" Even While You Sleep, Study Finds"

azaras — Sat, 07 Jun 2025 13:57:14 +0000

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

New comment by azaras in "Intelligence on Earth Evolved Independently at Least Twice"

azaras — Thu, 15 May 2025 09:05:55 +0000

And AI.