Viewing profile — znkr

Timeline from the article sounds a lot like a logical clock, which is a well known primitive in distributed systems: https://en.wikipedia.org/wiki/Logical_clock

You mean like driving a car?

We put asterisks next to proofs that use the axiom of choice. If a machine comes up with proof that’s not verifiable by humans, you can very well be sure that there will be asteris…

+1 The worst code I had to maintain was code that tried to follow DRY (without the trying to understand what the original intention of that principle was). The only way out of that…

> It makes even less sense in an era of LLMs. I would argue that out makes even more sense in the era of LLMs. LLM shaped tasks are tasks that we would hand out to junior engineers…

Moving running computers around and maintaining connection would have required large trucks and very long cables at the time the internet was invented.

> If a project in an unsafe language has ever had a memory bug (I'm looking at you, Bun), the maintainers objectively have a track record of not being capable of manual memory mana…

LISP ;-)

I am sure they have this. What tends to happen is that the gradual rollout system becomes too slow for some rare, low latency rollout requirements, so a config system is introduced…

Maybe it helps to think of matrix multiplication as a special case of the composition of linear transformation. In the finite dimensional case they can be expressed as matrix multi…

The whole article starts with the implicit assumption that all bases are orthonormal and then throws linear algebra out of the window completely.

Bismarck was afraid of workers unionizing and transformed a working healthcare system owned by workers into a state owned one. That move significantly reduced the utility of worker…

I don’t think it’s a wordplay with the r-word, but rather a reference to the famous Shakespeare quote: “Hoist with his own petard”. It’s become an English proverb. (A petard is a s…

Search for memory wall. Moore’s law died a decade ago for DRAM

I actually used the examples from that paper for testing. The results that they are showing in the paper are different from mine and I think that git changed as well. I believe the…

Good point, thanks!

One use case where I never want to miss it is in tests: Understanding what the differences between the expectation and the actual result are is invaluable.

A minimal diff is one where the number of edits is minimal. The context around edited lines does not count as edits, because they are matching lines. That said, minimal is definite…

> Even if something does align better with real numbers, it's still just x+0i Beware, it’s not always useful to work in complex numbers, you sometimes want to do something differen…

> The equal sign should be reserved for comparisons, because that is what it means in mathematics. This is touching on a pet peeve of mine: Mathematics and programming are similar …

I agree, this is a real benefit of RAII compared to defer. That said, there are disadvantages of making the resource freeing part invisible. Not having to debug destructors that do…

When I switched from C++ to a bunch of other languages, I missed RAII initially. However, I quickly learned that other languages just do it differently and often even better (ever …

It’s mostly fine, until you run into memory leaks due to circles or because some part of your program holds onto the root of some large shared pointer graph and you have no idea wh…