Hacker News: CorrectHorseBat

New comment by CorrectHorseBat in "Adafruit Receives Demand Letter from Fenwick Legal Counsel on Behalf of Flux.ai"

CorrectHorseBat — Tue, 02 Jun 2026 14:08:20 +0000

It is far from solved in IC, synthesis tools sometimes still do really stupid things and there's still quite a lot of hand-holding required to get to a working chip.

New comment by CorrectHorseBat in "I believe there are entire companies right now under AI psychosis"

CorrectHorseBat — Sat, 16 May 2026 18:17:26 +0000

I can't imagine humanity, let alone any company or the stock market survive runaway AI.

New comment by CorrectHorseBat in "If America's so rich, how'd it get so sad?"

CorrectHorseBat — Thu, 23 Apr 2026 16:27:00 +0000

Median doesn't say anything about the extremes and income isn't wealth.

New comment by CorrectHorseBat in "Škoda DuoBell: A bicycle bell that penetrates noise-cancelling headphones"

CorrectHorseBat — Thu, 09 Apr 2026 10:50:37 +0000

Bicycle bells can be used to warn other cyclists

New comment by CorrectHorseBat in "VHDL's Crown Jewel"

CorrectHorseBat — Mon, 30 Mar 2026 19:34:04 +0000

Real hardware has clock trees. Wouldn't all (most?) problems with delta cycles go away if the HDL understood the concept of clocks and clock balancing?

New comment by CorrectHorseBat in "VHDL's Crown Jewel"

CorrectHorseBat — Mon, 30 Mar 2026 19:28:44 +0000

In a way is further away, but in another way it's actually closer to how real hardware works: Clock (and reset) trees are real physical things which exist on all digital chips.

New comment by CorrectHorseBat in "VHDL's Crown Jewel"

CorrectHorseBat — Mon, 30 Mar 2026 18:56:53 +0000

Is it really if you restrict yourself to sensible design practices? You generally want to simulate simple clocked Logic with a predefined clock, most of the time anything else is a mistake or bad design. So just if rising edge clk next_state <= fn(previous_state, input) . It seems to me VHDL and verilog are simply at the wrong abstraction level and by that they make simulation needlessly complicated and design easy to do wrong. To me it seems that if they had the concept of clocks instead none of this would be necessary and many bugs avoided (but I'm no expert on simulator design, so I might be missing something...)

New comment by CorrectHorseBat in "VHDL's Crown Jewel"

CorrectHorseBat — Mon, 30 Mar 2026 17:16:49 +0000

I'm not sure if you are trolling. 99.999% of digital design is "if rising edge clk new_state <= fn(old_state, input)", with an (a)sync reset. The language should make that the default and simple to do, and anything else out of the ordinary hard. Now it's more the other way around.

New comment by CorrectHorseBat in "VHDL's Crown Jewel"

CorrectHorseBat — Mon, 30 Mar 2026 09:08:02 +0000

Those are analog circuits, if you put them in your digital design you are doing something wrong.

New comment by CorrectHorseBat in "VHDL's Crown Jewel"

CorrectHorseBat — Mon, 30 Mar 2026 06:57:06 +0000

The real question is, why do we even need this? Why don't VHDL and Verilog just simulate what hardware does? Real hardware doesn't have any delta cycles or determinism issues due to scheduling. Same thing with sensitivity lists (yes we have */all now so that's basically solved), but why design it so that it's easy to shoot in your own foot?

New comment by CorrectHorseBat in "Why I forked httpx"

CorrectHorseBat — Wed, 25 Mar 2026 09:49:47 +0000

Don't you need to register and actively defend you trademark for it to apply?

New comment by CorrectHorseBat in "PC Gamer recommends RSS readers in a 37mb article that just keeps downloading"

CorrectHorseBat — Mon, 23 Mar 2026 08:23:52 +0000

I think we'll be soon at the point where articles are written by asking AI to extend a three point bullet list to 30 pages, and read by asking AI to summarize articles into a three point bullet list.

New comment by CorrectHorseBat in "Swiss e-voting pilot can't count 2,048 ballots after decryption failure"

CorrectHorseBat — Wed, 11 Mar 2026 21:55:02 +0000

Another possible benefit I've heard of is it can stop some kinds of voter intimidation:

Someone gets hand of an empty ballot, they fill in the ballot and give it to you and tell you to come back with another empty ballot. Rinse and repeat. Of course, with today's smartphones there are simpler ways to do this. Also moot if you can vote by mail, which is why voting by mail is a really bad idea.

New comment by CorrectHorseBat in "Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy"

CorrectHorseBat — Tue, 10 Mar 2026 13:46:36 +0000

If the maintainers are already bandwidth limited, how is first asking annoying questions not also a drain on that bandwidth?

New comment by CorrectHorseBat in "Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy"

CorrectHorseBat — Tue, 10 Mar 2026 10:49:42 +0000

I can understand drive-by features can be a net burden, but what is wrong with a drive-by bugfix?

New comment by CorrectHorseBat in "Helix: A post-modern text editor"

CorrectHorseBat — Sat, 07 Mar 2026 19:17:58 +0000

I configure it in the firmware of my keyboard with QMK

New comment by CorrectHorseBat in "US asked Ukraine for help fighting Iranian drones, Zelensky says"

CorrectHorseBat — Thu, 05 Mar 2026 19:37:12 +0000

>Search is currently unavailable when logged out

Do you have any specific links?

New comment by CorrectHorseBat in "The next era of social media: built and run in Europe, ruled by our laws"

CorrectHorseBat — Wed, 04 Mar 2026 10:52:36 +0000

In the USA

New comment by CorrectHorseBat in "China's 450kmph bullet train is the fastest ever built"

CorrectHorseBat — Tue, 03 Mar 2026 12:40:55 +0000

We wanted to buy train tickets the other day, but it was just a lottery and no way to actually buy tickets in advance, do you know what's up with that? Buying flights was just normal so sadly we just did that.

New comment by CorrectHorseBat in "China's 450kmph bullet train is the fastest ever built"

CorrectHorseBat — Tue, 03 Mar 2026 12:37:14 +0000

I remember there were different speeds at different times last time I went, but it seems they reduced it in 2021 permanently.

https://en.wikipedia.org/wiki/Shanghai_maglev_train