Hacker News: brabel

New comment by brabel in "Lean proved this program correct; then I found a bug"

brabel — Tue, 14 Apr 2026 06:38:19 +0000

No. It would be like finding a memory unsafe caused bug in a Java application that is due to a bug in the JRE. That would absolutely warrant a title like “I found memory unsafe bug in my Java code” when everyone expects Java code to be memory safe, which is analogous to the article in question.

New comment by brabel in "Lean proved this program correct; then I found a bug"

brabel — Tue, 14 Apr 2026 06:33:24 +0000

When the Lean runtime has bugs, all Lean applications using the Lean runtime also have those bugs. I can’t understand people trying to make a distinction here. Is your intent to have a bug free application or to just show the Lean proof kernel is solid?? The latter is only useful to Lean developers, end users should only care about the former!

New comment by brabel in "The economics of software teams: Why most engineering orgs are flying blind"

brabel — Mon, 13 Apr 2026 11:09:24 +0000

I have been interested in this topic for a long time and to be honest, there is no better book on the topic than The Mythical Man Month. Yes from the 70s I think, but still the best I have read.

New comment by brabel in "The economics of software teams: Why most engineering orgs are flying blind"

brabel — Mon, 13 Apr 2026 11:05:19 +0000

And what is your theory? That it’s better to not save those 2 hours since they will just go to waste anyway? Or that there is diminishing returns to saving work as people will tend to just spend longer on other things they were already doing? How can you be sure those 2 hours will not actually be used by most to do very productive things that in the end look like +4 hours in return??

New comment by brabel in "How Complex is my Code?"

brabel — Sun, 12 Apr 2026 09:52:53 +0000

The actor model for concurrency.

New comment by brabel in "AI assistance when contributing to the Linux kernel"

brabel — Sat, 11 Apr 2026 13:58:11 +0000

Who has that end goal?? Who is going to direct the AI if only the CEO is left in the organization? The CEO will never actually do it , and will always need someone who can and will do it. I just can’t see a grand plan to take humans out of the equation entirely.

New comment by brabel in "Chimpanzees in Uganda locked in eight-year 'civil war', say researchers"

brabel — Sat, 11 Apr 2026 07:56:42 +0000

The US engages in preventive wars, generally. For example, the wars in Korea and Vietnam were ultimately fought to prevent the USSR from becoming more dominant than the USA and ultimately to prevent it from becoming so strong that in an eventual direct confrontation they would be able to cause a lot of destruction in the US. Iran is similar: they seem to want to prevent Iran from getting nukes which could then be used to destroy Israel, which the US considers its protectorate. But this is a super slippery slope. It’s essentially the same excuse Russia used in Georgia and now Ukraine: they are near neighbors geographically and culturally that must be stopped from joining the enemy alliance in order to prevent the enemy from attacking Russia in turn, which would be much easier should those countries be part of NATO. But where do you stop? Should Cuba be allowed to join Russia military alliance? Should Mexico be allowed to join BRICS? According to US foreign policy, the answer is always no, because of “national security”.

New comment by brabel in "I still prefer MCP over skills"

brabel — Fri, 10 Apr 2026 10:44:20 +0000

You haven’t actually done that have you. If you did, you would immediately understand the problems MCP solves on top of just trying to use an API directly:

- easy tool calling for the LLM rather than having to figure out how to call the API based on docs only. - authorization can be handled automatically by MCP clients. How are you going to give a token to your LLM otherwise?? And if you do, how do you ensure it does not leak the token? With MCP the token is only usable by the MCP client and the LLM does not need to see it. - lots more things MCP lets you do, like bundle resources and let the server request off band input from users which the LLM should not see.

New comment by brabel in "Git commands I run before reading any code"

brabel — Wed, 08 Apr 2026 17:29:52 +0000

Never seen that in any company I worked at either and I can’t believe professional developers seem to think that it would be ok to write meaningless commit messages. That’s just so sloppy.

New comment by brabel in "What Being Ripped Off Taught Me"

brabel — Mon, 06 Apr 2026 15:10:12 +0000

Where I live the phone companies do this: you can get a discount every year by calling them and saying you will change companies unless they give you a better price. They always do and the only people paying normal prices are the ones who can’t be bothered to call them every year to request the discount!

New comment by brabel in "Why Switzerland has 25 Gbit internet and America doesn't"

brabel — Mon, 06 Apr 2026 11:07:15 +0000

I live in Sweden, and I don’t see a fiber plan available from Telia, the biggest provider, faster than 1Gb!? https://www.telia.se/bredband/fiber

And I have the 600M plan since it’s less than half the cost of 1G but still plenty fast for my needs. Where do you even find 10G??

New comment by brabel in "Artemis II crew see first glimpse of far side of Moon [video]"

brabel — Sun, 05 Apr 2026 16:46:04 +0000

My guess is that this mission is not about imaging the far side of the Moon at all as that has been done already.

New comment by brabel in "Author of "Careless People" banned from saying anything negative about Meta"

brabel — Sat, 04 Apr 2026 18:46:36 +0000

Courage guided by righteousness or vengeance? I feel like the motivation is very important here.

New comment by brabel in "Author of "Careless People" banned from saying anything negative about Meta"

brabel — Sat, 04 Apr 2026 18:45:13 +0000

That can only be a sarcastic answer, don’t you think?? You really believe people would get a job at former Facebook, after lots of scandals have been exposed, and not even think about that?? Sorry no way.

New comment by brabel in "Sweden goes back to basics, swapping screens for books in the classroom"

brabel — Thu, 02 Apr 2026 12:56:15 +0000

Most university students still behave like kids. I don’t think you can expect under-20 students to behave as adults, honestly. I went to university again around 30 . And my wife teaches first year students. Maybe I am just old now but those students are just kids and behave like large children.

New comment by brabel in "Bringing Clojure programming to Enterprise (2021)"

brabel — Thu, 02 Apr 2026 12:11:37 +0000

Toyota has an open source game engine written in Flutter!

https://www.youtube.com/watch?v=98n32VstnpI

New comment by brabel in "Live: Artemis II Launch Day Updates"

brabel — Thu, 02 Apr 2026 06:24:35 +0000

You say later that you think gravity and acceleration look the same but cannot be the same , which is funny since that’s exactly what relativity says: if two things are indistinguishable from each other even in principle, then they must be the same. Which is what led Einstein to realize that gravity really is just a curvature in space time. Hard to wrap your head around that! But if you study relativity, you eventually understand what being relative actually means.

New comment by brabel in "Claude Code Unpacked : A visual guide"

brabel — Wed, 01 Apr 2026 07:14:02 +0000

It's on the front page because it looks really cool. You can complain about it being vibe coded, but it still looks good. If you ask Claude to allow the user to slow down the animation, it can do that quite easily, that's just not a problem caused by vibe coding. And I'm on FF and didn't notice anything glitching out.

New comment by brabel in "Claude Code Unpacked : A visual guide"

brabel — Wed, 01 Apr 2026 07:10:30 +0000

> is about a year old now, so it should be in prime shape

A 1yo project may be in good shape if written by just one dev, maybe a few. But if you have many devs, I can guarantee it will be messy and buggy. If anything, at 1yo it is probably still full of bugs because not enough time has elapsed for people to run into them.

New comment by brabel in "Axios compromised on NPM – Malicious versions drop remote access trojan"

brabel — Tue, 31 Mar 2026 16:33:50 +0000

Because everyone got updates immediately. If the default was 7 days, almost no one would get updates immediately but after 7 days, and now someone only finds about after 7 days. Unless there is a poor soul checking packages as they are published that can alert the registry before 7 days pass, though I imagine very few do that and hence a dedicated attacker could influence them to not look too hard.