One problem with exceptions is composability.

You have to rely on good and up-to-date documentation or you have to dig into the source code to figure out what exceptions are possible. For a lot of third party dependencies (which constitute a huge part of modern software), both can be missing.

Error type is a mitigation, but you are free to e.g. panic in Rust if you think the error is unrecoverable.

A third option is to have effect types like Koka, so that all possible exceptions (or effects) can be checked at type level. A similar approach can be observed in practical (read: non-academic) languages like Zig. It remains to be seen whether this style can be adopted by the mainstream.

Such a shame on the activists to spread disinformation. It was Lizzy who crushed the economy, #NOT THE LETTUCE!

deleted by creator

Maybe I’m missing something, but shouldn’t the benchmark be a good approximation to the real workload? I don’t see how the measurements reflect the performance difference in real life usages.

Why would I need 100MiB/s processing as opposed to 20MiB/s processing, when I can only read maybe several lines per second?

Have you heard of 996.icu? I don’t know where you get your statistics, but have a walk around 五道口 and you’ll understand.

Also, I don’t know where you see that I’m a fan of CCP. The government is largely responsible for the phenomenon by not prosecuting the companies lol.

I’m not saying that this isn’t a protest, but merely providing the context for the protest. They took the relaxed dress code to an extreme and deliberately interpreted it as “anything you like”. It’s more of a malicious compliance protest. That’s why they were scolded by the leader, instead of being fired.

I’m not saying everything about China is evil, but 996 is an actual thing, actively resented by Chinese young people. I’ve got friends working such schedules. I’m presenting their views. I had also visited their offices and saw the folding beds.

For those who don’t know, it’s not quite new (except for the word that describes it, Ban Wei 班味). Because of the long working time, a lot of Chinese companies (especially in the tech sector) allow very casual dressing, plushies, even folding beds in the office. Sounds good but is actually horrifying.

The sentence meant to be sarcastic. The dry humor was lost in translation.

It’s a one-piece pajama in the video. She has a coat over it during the work.

In general, given a Turing machine which outputs the result of a procedure to its memory tape, you can equivalently construct a recognizer of valid input/output pairs. Say P is the procedure, then the recognizer R is let (i, o) = input in P(i) = o

The reverse is also possible. Give a recognizer R, you can construct a procedure P that given part of the input (can be empty), computes the rest of the input that makes R accept the whole. It can be defined as for o in all-strings, if R(i, o) then output o and halt, else continue.

It might feel contrived at first, but both views can be useful depending on the situation. You’ll get used to it soon with some exercises.

For all possible input, only recognize the one input that’s (under certain encoding scheme) equal to the sum of the given list. That’s for a given list.

Another more general approach is that, only recognize the input if (under certain encoding), it’s a pair of a list and a number, where the number is the sum of the list.

Time for London’t.

Look, there’s a thing called safety-catch and that’s why my son can play with semi-auto rifles.

Because these two industries are both labor intensive.

IMHO the reality is more complicated than what’s described here.

1. Open source is sustainable (in the sense that people will continue to do it), even without the maintainers getting paid, for better or worse. This is evidenced by the history and the majority of open source projects now.

2. The bait-and-switch problem, which gets the maintainers paid, hurts the ecosystem in the long run, which relies heavily on the good faith.

Static websites can be beautiful and easy to use without being complex.

PG’s blog and HN can definitely use some CSS tweaks. I can’t remember how many times I clicked the wrong thing in HN.

On the other hand, it’s easy to get reader mode/custom CSS/alt frontend working for such websites, so maybe it’s alright after all.

The original “agile” is a reaction to the overly rigid planning and emphasizes worker self-management. It makes sense since the people who are closest to the work (the workers) know best how to plan and implement the work.

It immediately breaks down when a specialized management tier emerges and tries to push their own agenda, i.e. to sell themselves rather than do something meaningful.

At this point, whichever form is used doesn’t matter. The management, endowed with the power from above, will exploit the weakness of any agile-shmagile methodology to push their own agenda.

Meh, it’s bold of them to assume the government will still stand by 2044 at this rate.

I don’t think people have thought through what would happen in an all-out war between two nuclear powers.