bayesnet

I was literally just griping about how I couldn't do this. I had no idea it was possible with kitty. Now to decide whether to switch back for it...

As an aside, I love ghostty and I think it's the most responsive terminal emulator around. But kitty was what got me off Terminal.app and I think it's not given enough love around here.

The piracy thing is a bit backwards I think. Piracy is a consequence of subscription price so higher prices induce more piracy. The only way piracy doesn’t exist is if all content is free to begin with

> … for technical users it's a pretty noticeable step down in terms of how you may use and configure your own system

It’s such a frustrating experience on both ends—I use macOS for most of my work because I like the hardware it ships on, but it is so annoying to not be able to, like, use a different window manager (hacky accessibility API systems notwithstanding).

On the other hand I’ve probably burnt weeks troubleshooting and configuring different compositors/window managers on Arch (and STILL don’t have the setup of my dreams), so it’s frustrating on that end too.

I don’t understand how this was intended to work (not technically but as a “free” service). They want ISPs that don’t support v6 to pay them. Their free trial (for ISP) says

> Your free trial starts when the frontend receives the first connection from your IPv4 range.

> Registering on this page means that we can send you an email to inform you, that your free trial period is about to end. If you do not register and we are unable to find usable contact information for you, then your customers will experience service disruption trying to access sites through this frontend.

But as a website owner using this service I would just want it to work regardless of whether the users ISP is playing ball with Netiter. And there’s the coordination problem with the IPv6 transition in a nutshell I guess.

Also, “Netiter have allocated bandwidth for free trials until the end of 2014,” so I suppose this doesn’t work anymore anyway.

It’s a bit of an ominous quote given that Hilbert’s program was dismantled shortly thereafter by Gödel…

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.

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.

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.

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).

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.

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.

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

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

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.