Hacker News: bayesnet

New comment by bayesnet in "Sperm whales in 19th century shared ship attack information – Whales"

bayesnet — Mon, 17 Aug 2026 00:18:29 +0000

The “– Whales” part of the HN title (not in the original headline sadly) makes it seem like the whales are the source of the story. Sadly not so.

New comment by bayesnet in "MathCode, Mathematical Coding Agent"

bayesnet — Sun, 16 Aug 2026 23:55:01 +0000

I’ve written a lot of Lean for economic modeling (so take this with the caveat that it’s not frontier-level mathematics research) but I think this problem is overstated. If you follow good engineering standards—keep primitives composable and design abstraction well—it’s not so hard to understand enough Lean to ensure the formalized statement is correct.

In part this is possible because mathlib is very well-designed and has a very good API (in no small part because they’re willing to make breaking changes all the time), so building on top of it makes life much easier.

New comment by bayesnet in "Writergate: Zig I/O Interface Overhaul"

bayesnet — Sat, 15 Aug 2026 15:23:34 +0000

As someone who doesn’t write Zig, I wish the code examples gave type annotations for the writers so I could see the difference between the old generic API and the new `std.Io` interface.

New comment by bayesnet in "Official: Ford's $29,945 Small EV Truck Is Called Fathom"

bayesnet — Sat, 08 Aug 2026 14:26:09 +0000

Yes, totally agree—I love the car and for nearly all of my driving it’s great. It’s just that the residual of long drives is more of an issue than some say because of how inconsistent the experience is. For someone my parents age, for whom things not working as expected is more befuddling and aggravating than for me, I just don’t think it’s tolerable (and they do many more road trips in retirement anyway).

New comment by bayesnet in "Official: Ford's $29,945 Small EV Truck Is Called Fathom"

bayesnet — Fri, 07 Aug 2026 14:32:42 +0000

I’d be happy to get the advertised charge speeds on my Equinox. The number of times I use a charging station that delivers ~120kW at most is maddening.

And it’s this kind of thing that stops mass adoption. When you fuel an ICE car, the pump just delivers fuel and that’s that. The price of fuel is prominently advertised and the experience is the same no matter the station.

Charging on the other hand is an exercise in frustration. Charging stations have different advertised power delivery rates; often they can’t meet those rates (is it the charging station? Is it your car? No way to know!); pricing is opaque; charging can stop seemingly at random .. and then you get levied the penalty congestion rate for using a charging station.

My parents asked me if they should get an EV. I advised a conventional hybrid. They are too old to have the patience to deal with all this.

New comment by bayesnet in "I built a f.lux alternative because the M5 Max firmware broke existing solutions"

bayesnet — Sat, 01 Aug 2026 00:03:00 +0000

I think that’s uncharitable. The study has a very specific goal of assessing whether blue light can keep seniors with problems staying awake from falling asleep early. It’s neither obvious nor intended by the authors that conclusions about this population generalize further.

Especially in the context of the flux and night shift, which are intended to help people with the opposite problem (who want to sleep sooner rather than stay awake later), it’s an important distinction.

New comment by bayesnet in "I built a f.lux alternative because the M5 Max firmware broke existing solutions"

bayesnet — Fri, 31 Jul 2026 16:51:57 +0000

Well, we know that conclusively in the study population of 65+ year olds who suffer from insomnia and suffer from excessive daytime sleepiness

New comment by bayesnet in "How old is Ann?"

bayesnet — Thu, 30 Jul 2026 23:59:13 +0000

I think it’s easier to see if you drop the time indices and just introduce a variable for the elapsed time. So:

Mary := 24 = 2(A - Δ)

A = Mary - Δ

And then it’s just substitution. But of course what appeals to one’s intuition is very personal

New comment by bayesnet in "Agent Skill to Force Docs in ASD-STE100 Simplified Technical English"

bayesnet — Thu, 30 Jul 2026 21:33:57 +0000

It’s ironic that the README has all the tells of being LLM-written: > 53 numbered rules, 9 sections, written in 1983 by people whose readers die when a sentence is ambiguous. The ones doing the heavy lifting: …

Not really a promising tell for a writing skill, IMO.

New comment by bayesnet in "When Internal Memory Fails: A No-Solder Wii U Recovery"

bayesnet — Tue, 28 Jul 2026 21:08:38 +0000

Very nice! But I was struck by this:

> The last time I had seriously dabbled with exploits and low-level recovery was when I spent months trying to revive a bricked M1 Max MacBook Pro. Several companies and repair shops had told me that getting through the problem was impossible, but after months of working at it, I finally got the machine running again on New Year’s Day 2024.

If the author is here would you please write up that story? I would also have thought it an impossible task so I’m fascinated by how you did it.

New comment by bayesnet in "DConf 2026 in London"

bayesnet — Tue, 28 Jul 2026 03:03:56 +0000

What’s the status of the OpenD fork?[0] I see Adam is still active there but I’m not sure if it’s had any impact beyond losing him as an upstream contributor.

[0]: https://opendlang.org/

New comment by bayesnet in "Businesses with ugly AI menu redesigns"

bayesnet — Thu, 23 Jul 2026 01:28:09 +0000

I buy rice from an online store that carries speciality Japanese varieties. The rice is very good.

But this year they replaced their previously obviously-English-as-second-language-but-informative descriptions with just total slop that say absolutely nothing at all about the rice you’re buying. Every description is just platitudes about how good the rice is.

So as in TFA we get people who seemingly can’t resist “pressing the button” and getting nice shiny results even if they aren’t, like, good. It’s nuts. FWIW I emailed the rice shop and politely asked them to revert to the old descriptions but received no reply.

New comment by bayesnet in "Apple Private Cloud Compute SoC 3 audit reports"

bayesnet — Tue, 21 Jul 2026 21:00:24 +0000

That auditors are responsible for catching the lies of an audited company on penalty of being suspended is a position that the big audit firms would not agree with. They might agree that they are responsible for ensuring the material accuracy of accounts if fraud occurs, but even here EY has disclaimed responsibility if the fraud were sufficiently complex [0]. Indeed auditors lobbied very hard against being mandated with a broader anti-fraud role [1].

Admittedly this is on the "real" audit side and not the advisory/consulting side, which would be the ones to handle SOC I imagine, but nonetheless a position I find a bit absurd.

[0]: https://www.ft.com/content/a9deb987-df70-4a72-bd41-47ed8942e...? [1]: https://www.ft.com/content/c25de9fb-a808-4946-ade6-80d76a66a...

New comment by bayesnet in "My Homepage Has a Pulse"

bayesnet — Thu, 16 Jul 2026 17:58:01 +0000

Right now the HR is showing 48 bpm, so this has the fun side effect of demonstrating that the author is in pretty good shape.

New comment by bayesnet in "ZeroFS vs. Amazon S3 Files"

bayesnet — Sun, 12 Jul 2026 00:41:56 +0000

The page appears to be dark themed even without dark mode enabled; if I use Noir to force-add dark mode, then the diagrams indeed become difficult to read but this seems like a Noir issue more than a site issue

New comment by bayesnet in "It's not me, it's the compiler"

bayesnet — Sat, 04 Jul 2026 22:28:34 +0000

Especially interesting because (as one of the compiler team members noted on Zulip) this is a miscompilation relatively easy to stumble into in safe code (yikes). Looks like the cause was a late pass in MIR optimization pipeline — I would think these are carefully vetted for soundness so am surprised that this slipped in there.

New comment by bayesnet in "Show HN: Monolisa v3 – a typeface for developers and creatives"

bayesnet — Wed, 24 Jun 2026 23:35:59 +0000

Atkinson Hyperlegible is an incredible font family! I read much faster and strain much less when I use it. The Braille Institute licenses it under SIL and includes the Glyphs 3 source files used to build it with the download too which is very cool.

New comment by bayesnet in "Windows 11 users are tired of MS account requirements creeping into everything"

bayesnet — Mon, 15 Jun 2026 08:44:38 +0000

I do not think that it is as well-reasoned as that. Far more likely IMO that teams are being evaluated on upsell uptake and so push these requirements to make the number on the dashboard go up.

Anyway, I’d be more sympathetic to this way of thinking if windows wasn’t getting worse over time. But it seems like investment in the OS is being disfavored for investment in AI-in-things-no-one-wants-AI-in, which is inverse of the subsidy direction you propose

New comment by bayesnet in "There Is(Ǝ) – Such That (∋)"

bayesnet — Mon, 15 Jun 2026 08:16:00 +0000

I don’t think I have ever seen ∋ used to mean “such that” so I was very confused until I got to the explanation (as it were; why CONTAINS AS MEMBER is being used to mean “such that” is never explained).

New comment by bayesnet in "Elixir v1.20: Now a gradually typed language"

bayesnet — Wed, 03 Jun 2026 23:13:02 +0000

To be fair I think the success of JS is in spite of it not working super well