webkike

41 ms·

451.
by webkike 9y ago
That's just a problem with ordering. If a condition implies a non null pointer then a non null pointer can imply the condition as well. This is true unless the condition being false does not guarantee a null pointer, in which case the
452.
by webkike 9y ago
Option types for references need be no more expensive than a null pointer check, and I believe this is how they are implemented in Rust. If a dynamic check is not necessary, then you simply do not use an Option type.
453.
by webkike 9y ago
Who's we? Not everyone in the western world is ignorant of their actions externalities
454.
by webkike 9y ago
True, and the functions in which inlining is most effective are small non recursive functions that don't lose any debug info from omitting the frame pointer.
455.
by webkike 9y ago
It's a trade-off. Sometimes simply calling a function will flush the I cache
456.
by webkike 9y ago
Instead of flippantly dismissing the grand parent, elaborate on why you disagree.
457.
by webkike 9y ago
The number one YouTube channel in size by subscribers, PewDiePie, said the N word live on stream and his fan base essentially attacked people who came out as offended. I love the part of YouTube that gives you an incredibly personal insight
458.
by webkike 9y ago
Here's one fool proof way of countering facial recognition: a paper bag
459.
by webkike 9y ago
You can never however guarantee that a program will run free of errors. Hardware is faulty and not always in ways that are human caused: en.m.wikipedia.org/wiki/ECC_memory
460.
by webkike 9y ago
Sure Dom (always nice to see you come up in Nim discussions :) if you want I can send you an email getting into specifics but: A lot of the syntax seems like a "special case." For example, being able to specify what value an enum
461.
by webkike 9y ago
I'm not arguing that Rust should be used for everything but that Rust is a reasonable choice of language for pretty much everything. It may not be _preferred_, but just like C or C++ can be used pretty much anywhere to great effect.
462.
by webkike 9y ago
The interoperability is entirely connected to the choices a programming language makes in order to execute a program. A programming language that has a GC will immediately have somewhat of a challenge in calling native C code. And then ther
463.
by webkike 9y ago
On a personal note I'm not a huge fan of the syntax. The type system looks nice but frankly not as simple and expressive as Rust's as well.
464.
by webkike 9y ago
So you're saying that for almost everything Rust is not a reasonable choice. You then state that a reason for this is because people don't have to worry about lifetimes because it has a GC. There are applications where a garbage
465.
by webkike 9y ago
What are some program that Rust is not always a reasonable choice to write in? Frankly, there may be some areas where another language is slightly easier to program in than Rust, but I see the value in trying to promote a lingua franca for
466.
by webkike 9y ago
It may be true that Go is easier to use than Rust but over time I have learned to essentially love Rust and hate Go. Rust isn't perfect by any means, but when I program in Go a lot of times I wish I could avoid costly abstractions that
467.
by webkike 9y ago
I actually did some research in this area for my thesis. Obviously algorithm equivalence is largely undecidable, but it turns out that determining if two SSA representations of some function (maybe one is pre optimization and the other is p
468.
by webkike 9y ago
In C you couldn't follow cases and labels with just a semicolon, it was an invalid statement. That's because a statement couldn't be just a semicolon. But yes, I agree.
469.
by webkike 9y ago
Lisp is the best language for any task that does not require types.
470.
by webkike 9y ago
I am in fact referring to the Empire from Star Wars (thus the capitalization)
471.
by webkike 9y ago
Well, that last part can be explained by the Empire being a generic metaphor for oppressive regimes. The Empire wasn't exactly a morally ambiguous character.
472.
by webkike 9y ago
Would you? Would you like them to detain you unjustly for your entire life for example? Personally, I'd prefer the state to act within the bounds of Justice.
473.
by webkike 9y ago
The grandparent is making a good point. It is entirely possible that the researcher is being prosecuted for something related to his past. It's not likely that he's being prosecuted for smuggling a small amount of drugs (for examp
474.
by webkike 9y ago
Liveness analysis is honestly pretty simple so I'm glad it's being introduced as a rule for determining lifetimes. I would be afraid of introducing rules that make for complicated specs, and this is almost one of these areas. Howe
475.
by webkike 9y ago
Yeah, but now with a roof rack and this thing you can haul twice as much! or perhaps just slightly more than you could otherwise
476.
by webkike 9y ago
That's absolutely fine. However, this isn't the place to ask questions regarding services. This is the place to contribute to a discussion.
477.
by webkike 9y ago
Anything. Selling drugs, for example. You are implicating yourself. Stop.
478.
by webkike 9y ago
You are not contributing to a discussion, you are asking for a service. Also I didn't imply you are trying to avoid taxes. You suggested that yourself.
479.
by webkike 9y ago
This comment isn't relevant. Also, dude, you're gonna get caught up by the feds so fast.
480.
by webkike 9y ago
Her passing and leaving behind a young daughter reminds me of the loss of my mother due to breast cancer when I was a child. I am saddened by the set back her passing will have on the field of mathematics, but more angry at the destructive

More ›