znkr

5 ms·

1.
Infinite-Dimensional Vectors(flo.znkr.io)
1 points by znkr 5d ago|0 comments
2.
by znkr 7d ago
If you solve authentication separately from authorization, this is what happens
3.
by znkr 2mo ago
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
4.
by znkr 2mo ago
You mean like driving a car?
5.
by znkr 3mo ago
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 asterisks.
6.
by znkr 3mo ago
+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 mess was widespread code duplication.
7.
by znkr 3mo ago
> 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. Now, I can implement one of these tasks in 1hr instead
8.
by znkr 5mo ago
Moving running computers around and maintaining connection would have required large trucks and very long cables at the time the internet was invented.
9.
by znkr 7mo ago
> 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 management. You wouldn't put a person who has a tra
10.
by znkr 9mo ago
LISP ;-)
11.
by znkr 10mo ago
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 that fulfills the requirements. For example, let’s say you
12.
by znkr 10mo ago
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 multiplications.
13.
by znkr 10mo ago
The whole article starts with the implicit assumption that all bases are orthonormal and then throws linear algebra out of the window completely.
14.
by znkr 11mo ago
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 unions, which was the goal behind it.
15.
by znkr 11mo ago
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 smallish bomb)
16.
by znkr 11mo ago
Search for memory wall. Moore’s law died a decade ago for DRAM
17.
by znkr 1y ago
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 conclusions from that paper no longer hold.
18.
by znkr 1y ago
Good point, thanks!
19.
by znkr 1y ago
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.
20.
by znkr 1y ago
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 definitely only a proxy, that’s why is a good property to relax.
21.
Diff Algorithms(flo.znkr.io)
289 points by znkr 1y ago|62 comments
22.
by znkr 1y ago
> 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 different for reals and complex numbers. The prime example h
23.
by znkr 1y ago
> 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 in many aspects, but this is not one of them. In mathemat
24.
Show HN: A difference algorithm module for Go(github.com)
1 points by znkr 1y ago|0 comments
25.
by znkr 1y ago
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 network IO (e.g. closing a buffered writer that writes to t
26.
by znkr 1y ago
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 had to check an error when closing a resource?). Nowadays, I
27.
by znkr 1y ago
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 which part. If you take it very far, like some code bases I wo
28.
by znkr 1y ago
I used to program a lot in C++ but switched to a number of different programming languages since then. Everything in C++ is this way and it’s hard to understand that things don’t have to be this way when you’re in the trenches of C++.
29.
by znkr 2y ago
Not a guru, but my take is that the actor model is one method of architecting a system to separate synchronization from other concerns. There are other ways to do that, often specific to a particular problem and with more or less separation
30.
by znkr 2y ago
Go has a couple of SIMD uses. Copies is one of them.

More ›