choeger

26 ms·

301.
by choeger 4y ago
Ah, it's 1/580 MWh per square meter, I completely misread the unit there. Meter per MWh is somewhat unusual in these discusst.
302.
by choeger 4y ago
Correct me if I am wrong, but did the author make a calculation error? The number of required energy comes in at the order of 10^20 J or 90000TWh: https://www.wolframalpha.com/input?i=300+quadrillion+BTU+in+... but if I mul
303.
by choeger 4y ago
I would argue that stopping to publish these statements is equivalent to announcing that some warrant has been served. So if the latter is a criminal offense, why should the former be legal?
304.
by choeger 4y ago
This one: https://en.m.wikipedia.org/wiki/Parametric_polymorphism Note that it's called "parametric" because OO folks stole the word polymorphism for a completely different thing. The idea of a polymorph
305.
by choeger 4y ago
I wouldn't say that C++ templates use monomorphization, because there are no polymorphic functions to begin with. Monomorphization, as in "the standard FPL technique", comes after type checking. C++ template specialization
306.
by choeger 4y ago
Template specialization sometimes looks like monomorphization, but it is really a different thing. I would compare C++ templates more macros, as they tend to do way more (e.g., allow for overload resolution).
307.
by choeger 4y ago
"Beyond" in the sense of "after". Languages that support separate compilation usually have some sort of artifacts that do not need to be type-checked anymore. Say, you compile an Ocaml module. The result is a compiled (b
308.
by choeger 4y ago
I have a hunch that rusts global compilation model (as opposed to C++ separate compilation, as crippled as it is in practice due to header-only libs and link times) should always lead to C++ scaling better with the size of the project. Si
309.
by choeger 4y ago
Come to think of it, the tidally locked orbit kind of makes such a supply seem obvious, doesn't it? I mean it's like a big fat "send power here" sign.
310.
by choeger 4y ago
Interesting design. I agree 99% with the choices. My only disagreement would be about not being able to overload binary operators. I wonder how the type system handles the inherent overloading of * for floats and integers. Besides this mino
311.
by choeger 4y ago
It is the problem. Removing device support is akin to revoking the license. Google sold this license, demands some harsh conditions on devices and DRM but then doesn't care about keeping up its own part of the deal. Imagine buying
312.
by choeger 4y ago
I said it before, but I'll repeat myself: For digital possessions, we need a clearing house. Everyone offering music, videos, etc. for sale or long-term rent, needs to register a digital copy in a standardized format with said clearing
313.
by choeger 4y ago
Well, you did build your own rig, so some learning is expected, no?
314.
by choeger 4y ago
Pick a T-series thinkpad with an AMD CPU/GPU combo and the latest fedora. Done. Don't forget that MacOS ships with very Limited hardware, too.
315.
by choeger 4y ago
Well, I think salt and maybe some chive is also statthaft. Oh and I think it's fine to eat a soft-boiled egg alongside.
316.
by choeger 4y ago
I came to the conviction that digital artworks, any form of digital property, really, needs a public clearinghouse. You simply shouldn't be allowed to sell any digital license for a product you didn't register at that clearinghous
317.
by choeger 4y ago
Ain't it cultural appropriation to insist on the slavery-connotated meaning of "master"? In central Europe, "master" has the connotation of having successfully learned ("mastered") a craft, cue. German &qu
318.
by choeger 4y ago
The author seems to neglect that heat from the water like the water itself can and should be recycled. Ideally, taking a hot bath or a long shower should just be a different form of heating your apartment or house. The same way your refrige
319.
by choeger 4y ago
How long until we'll eat that gain with another level of abstraction?
320.
by choeger 4y ago
Kotlin is a prime example. You have to download the vendor implementation. There's no way to bootstrap. It's horrible from a tooling perspective. Any single-implementation language inevitably degrades to the point where the implem
321.
by choeger 4y ago
On top of that, there so many lisp implementations, it's not even funny anymore.
322.
by choeger 4y ago
If I am not mistaken, there is also no current technology to actually harvest that energy, right? So the lasers need at least 10x the energy they themselves put into the target. Conversion is still unclear. Are we even at 1% to a demo rea
323.
by choeger 4y ago
> You’d have to explain what should be done about that. Well, there should be something that follows from the assumption that there are huge amounts of particles that only interact via gravity. What's the prediction that this mode
324.
by choeger 4y ago
My intuitive objection against dark matter is that it's basically an infinite amount of additional parameters to be fitted to the observations. Galaxy behaves weirdly? Add dark matter! It behaves as expected? It obviously has lost its
325.
by choeger 4y ago
Breaking down features doesn't help if two features are simply incompatible with each other. I experienced this once, when feature A that was about 3 years old prevented feature B that was a out 1 year old from functioning correctly. T
326.
by choeger 4y ago
In principle, and if "no time" also implies "no rare resources/tools", then how much would you pay for it? If someone tried to sell you breathable air on the street, how much would you pay for it?
327.
by choeger 4y ago
Because they don't apply universally and managers want them to. Take scrum vs. for example. The focus on small changes, repetitive action, reflective insights, and short feedback cycles is absolutely awesome for software maintenance. U
328.
by choeger 4y ago
You use copper? These kids today...
329.
by choeger 4y ago
Did anyone try to connect it to a proof assistant?
330.
by choeger 4y ago
Instagram the software has no intrinsic value. The whole thing could be reproduced in no time. It's the network effect that matters and getting that effect is essentially a hack. Yes, the author's prime example is a hack of societ

More ›