orlp

48 ms·

571.
by orlp 4y ago
Commercial mass-produced tomatoes, bananas and other climacteric fruit are picked heavily unripe, shipped in this more durable state, and in the destination country are rapidly artificially ripened in ethylene gas chambers. The same commerc
572.
by orlp 4y ago
I wish there was something as polished and easy to use as excalidraw that wasn't as minimalistic in its features.
573.
by orlp 4y ago
...what?
574.
by orlp 4y ago
I have seen some of Wildberger's work, yes. My stance isn't as strong as him on some points - I certainly don't reject the reals outright or take issue with them. I think they're fascinating mathematical objects, I just
575.
by orlp 4y ago
I should say computable basis to be precise. Our fundamental object of computation - the number - generally does not have a computable basis in modern mainstream mathematics (where we generally assume the real numbers by default). The stand
576.
by orlp 4y ago
I disagree that you have done arithmetic here. You have constructed an expression that describes arithmetic. Would you be satisfied if you entered 3 + 8 into a calculator it would simply give you back 3 + 8? Would you say this calculator
577.
by orlp 4y ago
No, they are absolutely constructive and have well-defined computable addition and multiplication rules.
578.
by orlp 4y ago
I would just like to note that this is a moot point, as the computable reals are a subset of the reals, thus by extension equality of the reals is also undecidable. This fact is always given as an argument against computable analysis, whi
579.
by orlp 4y ago
You'll like https://b612-font.com then.
580.
by orlp 4y ago
I also would like to note that this could provide a chilling effect for programming language design in the future. If LSP's become ultra-mainstream it might carve out a path of least resistance that prevent future innovation and adopti
581.
by orlp 4y ago
I miss two things: inline `typewriter font` and - bulleted/ordered - lists without making each entry its own paragraph.
582.
by orlp 4y ago
What could possibly go wrong?
583.
by orlp 5y ago
> Do you make extensive use of `unsafe` Rust? Yes. Glidesort moves data back and forth between partially initialized buffers a lot, so unsafe code is unavoidable. I also need to concatenate slices that are adjacent in memory, which is im
584.
by orlp 5y ago
Computer Science is neither a science, nor is it about computers. It is an awful name. Computational mathematics would be significantly better. The worst part is that most people pursuing a computer science degree actually want to learn abo
585.
by orlp 5y ago
Sorry but this is just your example being horribly misgenerated/some gamma being applied twice, maybe even thrice. Here is what I generated: sRGB: https://i.imgur.com/dbn3TM6.png Lab (linear): https://i.imgu
586.
by orlp 5y ago
In what way is linear black-white interpolation ugly?
587.
by orlp 5y ago
I think I will copy/paste my comment from a thread from yesterday ( https://news.ycombinator.com/item?id=31098822 ), which incidentally was also referring to pdqsort, as it is just as relevant here: Hi all, I'm the
588.
by orlp 5y ago
Glidesort also - from an academic standpoint - always uses O(log N) memory, log2(N)*4 words to be precise. But on 64-bit machines log2(N) is always <= 64, so I just allocate a 64-element array of 4 word structs on the stack. I think it&#
589.
by orlp 5y ago
> Is the buffer here extra memory in addition to the input? Yes. > What about just an O(log N) size buffer? That would effectively just be a constant sized buffer. Honestly O(log N) factors where N is the size of the input are overrat
590.
by orlp 5y ago
> and for the other two points you are referring to particular extensions of quicksort Maybe for the third point, but once again, every implementation does this. For the first point, absolutely not. Just because in-place partitioning is
591.
by orlp 5y ago
Exactly, which is why I call it bidirectional partitioning: one forward, one backward. It's a very strange case where you can use parallelism (in this case instruction-level parallelism), but only get two independent instances without
592.
by orlp 5y ago
Yes, I had a nasty bug in an initial version of glidesort where I (naively) assumed that I could create a temporary copy of an element by doing a memcpy and call the comparison function on this temporary copy a bunch of times before throwin
593.
by orlp 5y ago
> but I don't get the purpose of the bidirectional partition. It doesn't use less memory, does it? So is there something to do with fitting in with mergesort better Nope, it does the same amount of comparisons, same number of o
594.
by orlp 5y ago
> For starters, it's a stable sort, which excludes quicksort right out the gates. Negative, it excludes in-place quicksort but out-of-place quicksort can be stable just fine. > Third, for very short sequences (also a common situa
595.
by orlp 5y ago
I'm not sure if you're asking me personally or about the original post, but to be clear: I'm not (currently) associated with Google, nor is my work on pdqsort or glidesort. I'm also not associated with the original post,
596.
by orlp 5y ago
I have stolen a lot of ideas from scandum and extended his ideas in new ways. He is definitely a mad genius. Glidesort (on my M1 machine at least) matches fluxsort within a couple % for random data, but glidesort is robust in that it will a
597.
by orlp 5y ago
Hi all, I'm the author of pdqsort that's credited in the post (to be clear: the authors acknowledged pdqsort at the bottom, I am not associated with the posted work directly). I recently held a talk at my institute on efficient
598.
by orlp 5y ago
> Quite bluntly, this all sounds like an attempt to reinvent euclidean geometry following a convoluted way. I mean, what does all this buy you that applying a subset of affine transformations (scaling, translation, rotation) to an orthog
599.
by orlp 5y ago
https://doc.rust-lang.org/cargo/commands/cargo-vendor.html
600.
by orlp 5y ago
So to make this familiar, you're probably used to traditional coordinate vectors in geometry. For example a 3D vector [x, y, z]. This seems sane enough, but is actually somewhat ambiguous. Which cardinal direction map to x, y, z respec

More ›