trealira

57 ms·

901.
by trealira 3y ago
> That is a battle that will be tied up in the courts for 15+ years. What makes you say this? Is it already being fought in courts? Or is this just educated speculation?
902.
by trealira 3y ago
I got home. The book is Handbook of Algorithms and Data Structures in Pascal and C by G.H. Gonnet and R. Baeza Yates.
903.
by trealira 3y ago
I'm still in university, but I took discrete math at my university last semester and took data structures over the summer between semesters. My data structures course mainly was graded from Zybooks assignments. I think it's actual
904.
by trealira 3y ago
Actually, this isn't true. The loop ends as soon as i == INT_MAX. It would only be endless if the loop condition were "i <= end" and end were equal to INT_MAX.
905.
by trealira 3y ago
I don't think that's the only factor. I think it's also just culture. I grew up on a street (in the US) where many of my neighbors did have the same landlord as my family, but none of us spoke to each other; they were basic
906.
by trealira 3y ago
> What I mean by that is that generally they need to persuade distros to be anointed the "official" tool, i.e. Debian or Fedora would have to select Neovim as the new default text instead of Vim. You're probably right. How
907.
by trealira 3y ago
You're right. I didn't think it through enough. If pchEnd doesn't overflow, then pch always exits the loop equal to pchEnd (assuming no breaks or returns). If it does overflow, the loop never starts. There is no case in which
908.
by trealira 3y ago
And that "older Java" example itself is an alternative (added in Java 16, from looking it up) to what existed before. if (obj instanceof Point) { Point p = (Point) obj; int x = p.x(); int y = p.y(); Sy
909.
by trealira 3y ago
"Damning with faint praise" is more like when you try to think of some good quality in someone but fail. Something like this: "What were your parents like when you were a child?" "They were fine; they even let us ma
910.
by trealira 3y ago
> Do you mean unsigned branches? JB/JBE/JA/JAE instead of JL/JLE/JG/JGE? Yeah, that's what I meant. Thanks for speaking more clearly. > Are there actually code patterns where it's preferable to
911.
by trealira 3y ago
The closest economic concept is rent-seeking, although I'm not sure whether casinos would be considered rent-seekers.
912.
by trealira 3y ago
> Needs to be unsigned to get this failure mode, any signed loop gets compiled assuming no overflow for a different (though similar!) failure mode. In C and C++, compilers will optimize assuming that signed integer overflow doesn't
913.
by trealira 3y ago
Wow, I didn't know humidifiers existed. All my life I've only ever used dehumidifiers, which take water from the air and into their tanks, which you have to replace every once in a while. Having to refill a humidifier with water e
914.
by trealira 3y ago
>Tried to put together an argument about the high bits of (common) address spaces being zero and therefore it's safe but I don't think that works. Yep; on AMD64, bits 48 through 63 must be identical to bit 47, which can be 1 or
915.
by trealira 3y ago
> The surprises are always the language's raw machinery showing through in unpleasant ways, and never a delightful bonus feature the designers added for you. I was reading "Writing Solid Code" by Steve Maguire (though it s
916.
by trealira 3y ago
To be honest, when I read e.g. Haskell code, I don't get the sense of a mathematical proof at all, not compared to proof assistants like Isabelle/HOL, Coq, or Lean. It looks more like abstract, high-level wizardry, casting that tr
917.
by trealira 3y ago
> When I read "int a = 1" in C#, I implicitly translate that to "take a 4 byte piece of memory on the stack, and set it equal to 1". I think that's overspecifying a bit. It could be kept in a register rather than
918.
by trealira 3y ago
Yes, you're right. It used to be more common to write it with the cedilla/cedille, but over time it's become more common to write it as a normal c. Similarly, for the phrase "deja vu", it used to be more common to w
919.
by trealira 3y ago
I have to admit I'm a bit tired and don't know where you're going with this. They're not saying that making the first move entitles one to sex; they're saying the standards are higher for men. I do think that there
920.
by trealira 3y ago
As with linked lists, pretty much the only reasons for which you might want them are: a) If your keys are really big, copying them around may be slower than using pointer manipulations; you'd have to benchmark this to be sure for par
921.
by trealira 3y ago
It's a common convention for words that end in a "short vowel" followed by a hard /k/ (IPA) sound to be spelled with ck, e.g., "back," "block," "stick," "truc." It's not
922.
by trealira 3y ago
Since we're on the topic of how people should learn to build web things: what do you think are the most important things to learn first to make web stuff? The "right" way? Just raw HTML, CSS, and some JavaScript (Typescript?)
923.
by trealira 3y ago
What's the original copypasta?
924.
by trealira 3y ago
Is it only a means to an end? You're implying the only use of a job is to collect money in order to pay for food and housing and maybe use extra money to engage in hobbies. But, assuming you're not in an alienating job, working to
925.
by trealira 3y ago
The process pretty much started with Windows 8, which was released in 2012. I don't think the flat style will go away anytime soon. At most, skeuomorphic elements will be slowly phased in. Material design at least adds shadows, and &qu
926.
by trealira 3y ago
I'm not OP, and my comment is 7 days late, but I'll answer. With formal verification, you make a specification, and then prove that your program adheres to the specification as written. This is usually done with a proof assistant
927.
by trealira 3y ago
Now I understand the concerns you brought up, and I see how it complicates things. Thanks for clarifying.
928.
by trealira 3y ago
I'm not who you asked, but I agree, and I do think that's a meaningful distinction. I'm curious: how would you characterize Tumblr? It's true that you generally follow people, but it's unlike other social media in t
929.
by trealira 3y ago
> To me the "formal" aspect of their spec starts after the output of the hs-to-coq compiler, which isn't a verified compiler. I already have to trust coq, in which about a paradox a year have been discovered(maybe less now
930.
by trealira 3y ago
Then it would just have a dependency on Clang, and you couldn't use Emacs at all (since you can't use Clang). AFAIK, the only alternative to the clangd language server is ccls: https://github.com/MaskRay/ccls

More ›