Viewing profile — 0815test

[ my public key: https://keybase.io/duonglatom1; my proof: https://keybase.io/duonglatom1/sigs/nUFRprJhjF7J3AFdhd9eS73wN8jejUyHd1MI_ejWn3E ]

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 mo…

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 …

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, whic…

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 a…

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 m…

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 b…

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 wa…

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-…

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 someti…

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 …

> 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 Notice…

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 lik…

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…

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 blurri…

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 …

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 inhe…

> 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…

> 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…

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 c…

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 b…

> 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 piecem…

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 f…

>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 int…