0815test

64 ms·

721.
by 0815test 8y ago
I don't think the "abolition of capital" is something that many anarchists would find desirable, outside of anarcho-primitivism. The computer or device you're using to post this comment is capital. And the thing abou
722.
by 0815test 8y ago
I mean, it's not like anarcho-capitalism is any less useless. The underlying issue is that both anarcho-capitalism and "anarchism" (whatever that might mean) have no satisfactory answer to the basic problem of "so, ho
723.
by 0815test 8y ago
Use the Pomodoro technique and limit your social media checks (if any) to the scheduled breaks that the technique provides for you. In general, it's also highly desirable to enter a flow state as quickly as possible (this is what &q
724.
by 0815test 8y ago
How is tech "politically homogenous"? If anything, tech folks are a bit more likely to skew away from the political center, but it's not like they consistently lean "left" as a group.
725.
by 0815test 8y ago
The top-paying subfields in finance, medicine, sci/tech, are all heavily affected by the "people vs. things" distinction that the article talks about, in being highly skewed towards "things". (Business management
726.
by 0815test 8y ago
Flip phones are "innovative" now? They've been around for ages. The one aspect of Samsung's design that's supposedly innovative is making a single display that extends across the hinge - that's also the part o
727.
by 0815test 8y ago
One comment in the article pointed out that you could create a 4GB lookup table, and convert 32 bits of input at once. This is actually less silly than might otherwise seem, because only 64KB of it would ever be read for correct input; the
728.
by 0815test 8y ago
"Time to market" is what supposedly drives most technical debt, but most people would probably argue that our problem is having too much technical debt, not too little of it. And buggy code is a sort of tech debt that's espe
729.
by 0815test 8y ago
If that's the semantics you want, why not just add a check at the beginning of the loop? Compilers could add a warning advising the developer to do this if she doesn't care about partial results, anytime that they can't fully
730.
by 0815test 8y ago
Not very likely so far. Adding dependent types to the sort of uniqueness- and 'lifetime'/region-based typing that's used in Rust is very much a matter of research.
731.
by 0815test 8y ago
> Powerpoint didn't stop NASA employees from asking "What are the chances of a catastrophic result?" How so? The whole practice of using Powerpoint, whether in business, other enterprises, education or elsewhere is literal
732.
by 0815test 8y ago
You may find that Debian with LXDE+Xfce installed (and the non-free repository enabled, for firmware components) will work quite a bit better than Lubuntu for the laptop you picked as your MacBook Air replacement. Recent versions of *buntu
733.
by 0815test 8y ago
In Rust, using smart pointers is not much of an "explicit choice" - it's simply the idiomatic thing to do when something might be kept around by more than one parent object. Rc<T> basically means that there are multiple
734.
by 0815test 8y ago
> Is there a validator to verify if an implementation of an algorithm respects the TLA+ specification? TLA+ has some tools to do this, if you write your implementation in some TLA+-specific language like PlusCal. But this would be the
735.
by 0815test 8y ago
It's quite similar to Rust... if Rust literally used Arc<Mutex<T>> everywhere. And Arc<Mutex<T>> everywhere might actually have lower throughput than tracing GC! (Though it's arguably preferable for low
736.
by 0815test 8y ago
> ...Only if you're trying to represent temporal logic in some functional language Well, since the user was specifically asking for a comparison of TLA+ with systems like Coq, Agda and Idris, I should think that the question "h
737.
by 0815test 8y ago
TLA+ uses model checking over what can be understood as a custom modal logic-- the latter means that TLA is basically adding a bunch of modalities (which could also be understood as (co-)monads) that allow for the modeling of state ("t
738.
by 0815test 8y ago
You may want to take a look at this issue https://github.com/ngortheone/org-rs/issues/1 and perhaps join in - it seems that there are in fact a number of projects at a similar stage of development (or lack th
739.
by 0815test 8y ago
> Compile-time code/type generation and verification Rust does have a procedural macro system which can be used to do these things. Surely actual procedural macros are better than hacking the template system to generate custom code
740.
by 0815test 8y ago
What about Ocaml/ReasonML?
741.
by 0815test 8y ago
"Coldness", formality and due process are actually the best defense when dealing with someone who is in an obvious position of power. I'm not sure why people are pretending that Joe Biden is just an average guy who has gott
742.
by 0815test 8y ago
It's actually a matter of personal freedom to have such rules. Joe Biden's-- or anyone else's-- freedom to swing his fist should end at my nose, and this should be made clear and unambiguous to everyone's benefit.
743.
by 0815test 8y ago
> Humans require social touch, but the rules that govern its deployment are not biologically determined... On the contrary; social touch, with the ensuing spectrum between "discomfort/aggression/dominance" and "
744.
by 0815test 8y ago
We're all just waiting for a formal Rust Reference Manual to be published, so that the official ANSI/ISO C and C++ standards can be replaced by a single-line reference to that. Since all practical C/C++ programs will neces
745.
by 0815test 8y ago
Manuscripts are very hard to transcribe, and only get harder the older they are. You can already split up transcription work for printed public domain texts at the "Distributed proofreaders" website, which feeds Project Gutenbe
746.
by 0815test 8y ago
FORTH and other concatenative languages are probably the closest to this. There's very little grammar to them or even need to define any custom identifiers, other than newly-defined "words"; you could probably speak out FORT
747.
by 0815test 8y ago
What stories - the one about PowerShell? Do you think it makes sense to compare the EHT (a literally worldwide effort) to PowerShell?
748.
by 0815test 8y ago
> Research should be public? > Wtf? So every company should share everything? > Wtf? How realistic is that??? That's not what "research should be public" means. It just means that the existing institutions which th
749.
by 0815test 8y ago
True, but this harm is handily offset by the benefit of an expanded use for the original tech, due to the very fact of its lower price. Critically, the more the thief is able to "undercut" e.g. Samsung on pricing, the higher thi
750.
by 0815test 8y ago
They still do that kind of thing in Japan. Indeed, the Japanese "era" is due to switch over when the reigning emperor's abdication becomes effective in May 2019.

More ›