0815test

5 ms·

1.
by 0815test 7y ago
Power, perhaps. But I'm a bit skeptical about usability. Lean doesn't even use one of the most obvious things that make interactive proof systems far more usable - a declarative mode instead of the usual tactics-based scripts. (Ye
2.
by 0815test 7y ago
How so? Rust is much, much less complicated than C++, a language that's routinely taught to beginners. Python is far more complex than either of those, especially once you account for the incidental complexity in whatever "pac
3.
by 0815test 7y ago
Indeed, the "at a mere fraction of a UBI’s cost" claim is outright ignoring the economic cost associated with very high marginal tax rates. But Acemoglu also mentions the NIT, which would work a lot better than either. And, to b
4.
by 0815test 7y ago
A bit of a clickbait title. Acemoglu does say that a 'UBI' is a bad idea, but then advocates for the NIT (Negative Income Tax), which actually works in much the same way. What he actually seems to be saying is that way too much U
5.
by 0815test 7y ago
Debian's current, supported version is the stable version. The reason why it's only released every two years and why it feels so 'old', is because it takes Debian Developers many months to "further harden" it
6.
by 0815test 7y ago
I wouldn't be so sure. Linux still makes very good use of spinning rust media, and on a modern system with 2GB+ RAM (and a reasonably light distro like Debian) much of it ends up being used as disk cache so drive speeds aren't eve
7.
by 0815test 7y ago
This, so much. I for one find the vast majority of so-called "high art" and "high culture" to be frankly depressing and off-putting, rather than "grand" or "transcendent" in any way. In the best of
8.
by 0815test 7y ago
IME, touch screens are simply way too error-prone for any sort of serious work. You can make them work, but only by adding a "swipe to confirm this input" step for any potentially-destructive activity. (AOSP "recovery&q
9.
by 0815test 7y ago
There's nothing wrong with Go, in its proper domain! Heck, maybe the typical program written in a GC'd "scripting"-like language should be rewritten in Go. Rust is nice, but sometimes you really can't do without
10.
by 0815test 7y ago
Implementation inheritance does more than break encapsulation. It creates inherent fragility because of how it makes code defined in a base class dependent on behavior that may be overridden willy-nilly in a derived class; the possibility
11.
by 0815test 7y ago
> I am sure within 10 years every professional mathematician will use formal proofs. They said the exact same thing 10 years ago - see e.g. https://www.vdash.org and the AMS Notices special issue on formal proof from around t
12.
by 0815test 7y ago
I don't think we can know this for sure. He was definitely a sex predator, quite possibly a sociopath, but to call him a psychopath with a 'Reptilian' emotional structure seems like a step too far
13.
by 0815test 7y ago
Fubding may be a big deal for museums in the abstract, but how much funding do these museums raise from selling "licenses" to reproduction of these public domain works? It can't be that big of a deal, and museums can stil
14.
by 0815test 7y ago
Lanczos interpolation seems to beat a gauss filter for me. It has some overshooting/ringing effects of course, but the improved sharpness is a great tradeoff compared to the blurriness of gauss filtering. Of course, gauss filtering mig
15.
by 0815test 7y ago
A "new cause of cell aging" might cause trouble for the somewhat-speculative programme of SENS, the pursuit of long-term "negligible" senescence via regenerative medicine. In this case, if it turns out that telomerase i
16.
by 0815test 7y ago
The difference shows up as you lengthen the session. Aerobic exercise is efficient for long exercise sessions where the goal is to build up general endurance, because it's not inherently time-constrained like anaerobic exercise is.
17.
by 0815test 7y ago
> An in-shape, muscular person looks like they have dedicated a non-trivial amount of time to not software. Hitting the gym can actually be pretty complementary to writing software or doing other sorts of engineering in the best possible
18.
by 0815test 7y ago
> Drop the Ai, it's overkill. Well, if you do want to use AI, this project is totally open source, "real" AI and pretty damned easy to use,[0] and generates something that's pretty darn close to SOTA as far as actual
19.
by 0815test 7y ago
To the extent that "the what it's like to be conscious" is part of physics - that is, to the extent that it enters into causal relations with the rest of the universe , it can of course be described as such. However, the wa
20.
by 0815test 7y ago
Implementation inheritance may have its uses, but it's not for the faint of heart. Its defining feature is _open recursion_; that is, defining an object's external interface (its bundle of public and protected methods) in ter
21.
by 0815test 7y ago
> Much cheaper and more realistic than a rewrite. I really have to dispute this, these tools are not simple to use. You'll probably have a far easier time rewriting the code piecemeal, i.e. function-by-function (which will involve
22.
by 0815test 7y ago
I'm not going to defend the article's writing style, but Rust is effectively a functional language with controlled use of procedural-programming features. Not that much different from how Haskell places safeguards on the very
23.
by 0815test 7y ago
>are OOP, not procedural. They just lack the syntax sugar. ADT's/"Object-based" programming (which is what you show above) is not the issue. The biggest problems occur when you introduce non-trivial inheritance/p
24.
by 0815test 7y ago
This article is just not very good, the author keeps talking about a zillion different things without really focusing on the actual, underlying issues. But one thing it does say right away is that mutable state is not a problem as far as it
25.
by 0815test 7y ago
Not only that, but race conditions of this broad, "logic-related" sort are especially common in message-passing concurrency models, like the one that Go makes idiomatic. To make things worse, Go also has data races, when using
26.
by 0815test 7y ago
> Should the insurance just find a way to exclude massive, correlated events? Why exclude when reinsurance can deal with them fairly easily? The insurance company sells bonds that only pay when the massive, correlated event doesn't
27.
by 0815test 7y ago
RedoxOS might become interesting as it's written in a new, memory-safe language. Although it's not quite clear if that language and RedoxOS itself can handle the security challenges...
28.
by 0815test 7y ago
> Also, there might be a more interesting consideration at play in this particular case: if a work is never published, then AFAIK, it never enters copyright This isn't really true in the U.S. AFAICT - unpublished works do enter the
29.
by 0815test 7y ago
> but we can’t legally archive it without DRM They definitely can - they're an official archive. They can't have people looking at it online while the item is in copyright without putting some reasonable safeguards in, but th
30.
by 0815test 7y ago
The thing that amazes me is just how much more bloated Windows 10 has become, compared to e.g. Vista. Even modern Linux won't really run all that well (on a desktop workload) with less than 1GB of installed RAM, but if you have that

More ›