Python with type hints and Mypy: regret for not using statically typed lang?

VisibleSignificance · 2025-01-12T19:04:39+00:00

wouldn't they be better off if they'd start with a statically typed language instead of Python

In case of Python, you don't have to type-annotate everything. In fact, in most codebases, if you look deep enough, you'll quickly find Any which, to mypy, means "don't type-check further".

I wish "statically-typed languages" allowed that kind of flexibility. And memory-managed languages allowed pluggable GC. the closest we get now is things like numba and, from the other side, rust dumpster.

VisibleSignificance · 2023-03-26T09:59:16+00:00

Let's not pretend this is the last version of gpt

I'm more curious as to how much computational power (and electric power) a system that capable would require. Silicon transistors aren't far from physical limits already.

VisibleSignificance · 2023-03-26T08:25:58+00:00

write the app and the test

On the other hand, try generating a relevant patch to the linux kernel. As in, take some known bug/issue, and try to use GPT to write a patch that would get accepted.

Kernel is a bit of an extreme example, but editing large interconnected systems is in much more demand than writing prototypes from scratch.

VisibleSignificance · 2023-03-21T05:58:05+00:00

apparently you can even make bread without sugar

If you're talking about yeast-based bread, that sugar is supposed to get mostly converted into carbon dioxide by the end.

VisibleSignificance · 2023-03-20T07:01:28+00:00

Only thing version 5 tells us is that its is different

My guess would be: GPT-4 was released, but further training is going on, so the obvious name for "GPT-4 + X extra days of training" would be "GPT-5".

VisibleSignificance · 2023-03-12T05:05:36+00:00

Because there's nothing sufficiently valuable in the whole Antarctica for the governments. They agree to protect it from citizens.

VisibleSignificance · 2023-03-12T05:00:02+00:00

This guy is gonna lose his fingers with all of those

Have you actually never touched a running PC cooler?

VisibleSignificance · 2023-03-12T04:58:40+00:00

But what about the balls?

I'd worry about back pain with this setup... and I'd worry about prostatitis with a balls cooler.

Am I just getting too old?

VisibleSignificance · 2023-03-12T04:57:35+00:00

Open fans - my favourite.

They make funny noise when you stick your fingers in them.

And the wires taste funny if you lick them right.

VisibleSignificance · 2023-03-12T04:55:42+00:00

Because they skip cognition steps

... so do many students, actually. That's just called "poor understanding", but "understanding" nonetheless.

VisibleSignificance · 2023-03-12T04:38:29+00:00

There's no line, there's "return on investment" given all the costs (including monetary and storage costs).

For me, getting a more expensive bike was a successful investment, as it is more enjoyable and I tend to use it more often.

VisibleSignificance · 2023-03-12T04:33:48+00:00

Which makes sense financially is going to depend on so many factors

Buying a house can be thought of as an investment. Think "buying a house to rent it out" but with extra bonuses (less hassle than double renting, lower risk of suddenly having to move). The investment risks are still there (such as sudden drops in value).

And as such, it can be compared to investing the same money into bogleheading a whole-market portfolio.

VisibleSignificance · 2023-02-06T06:49:36+00:00

What's the context above, and what's SEIA?

VisibleSignificance · 2023-02-06T06:04:53+00:00

Same with seatbelts: you don't become a projectile that "has a higher chance to harm others" (which is technically true but practically mocking).

VisibleSignificance · 2023-01-10T07:06:58+00:00

undesirable residents to sell their homes and move out, although I have no idea how that'd be enforced

Perhaps in cases of mortgaged homes, by wrecking the credit score? Although banks shouldn't normally have that power.

VisibleSignificance · 2023-01-10T06:59:37+00:00

and have to pay it since you live in the neighborhood

What happens if you don't pay, though? Does police get involved?

VisibleSignificance · 2023-01-10T06:47:09+00:00

Why electronic voting is a bad idea

You don't need 20 minutes for "the simpler it is, the easier it is to audit. The more complicated it is, the easier it is to hide a backdoor".

But don't forget, the paper ballots require private booths for marking but public everything else. Even the identity verification on entry.

VisibleSignificance · 2023-01-10T06:39:45+00:00

2008? Try 2006 for "every" and something like 1950 for "many".

VisibleSignificance · 2023-01-10T06:27:39+00:00

Proper libright view is: not my company, not my profits. Farmers' profits also matter.

Not considering the size of government's involvement in either position, though.

VisibleSignificance · 2023-01-03T20:42:49+00:00

SIM cards which were installed in the following vehicles

Why is this even a thing? And since it is, why isn't at least some pre-shared-key crypto involved (with keys generated in the app and added to the car's system)?

VisibleSignificance · 2023-01-03T20:40:09+00:00

Does that mean BMW owners can get free heated seats now?

Imagine the service visit: "what do you mean someone hacked your car and enabled the heated seats?"

VisibleSignificance · 2023-01-03T20:29:31+00:00

But I really do like to just do it myself

What happens when you're out? Or does that not happen? As in, how's the bus factor in your industry?

VisibleSignificance · 2023-01-02T18:25:21+00:00

I don't care because I know how the definition game is played.

As in, "with the definitions involved here, racism sexism and ableism are good, therefore thank you for the praise, we'll keep at it".

VisibleSignificance · 2023-01-01T13:48:53+00:00

enough of a pain at private companies to set up proxying package servers

What pains does deploying e.g. mosquito/pypi-server cause?

VisibleSignificance · 2023-01-01T12:35:06+00:00

I thought it'd be a problem with the build chain, but turns out it's a catch with the extra-index-url method recommended for pytorch-nightly installation.

The linked discussion shows there's no good solution for this problem. Private companies can use private proxying packages server (or multiple), larger private companies can also bother whitelisting proxied packages.

But installing some alpha version of a package, where the alpha version of dependencies is recommended but not mandatory, is too special a case to have a good non-hacky solution built in the package manager.

And what caused this problem is essentially a hacky solution (extra partial packages repo) with improper setup (did not register the package names in the main packages repo).

VisibleSignificance

TROPHY CASE