choeger

75 ms·

871.
by choeger 6y ago
First of all, I don't think you should program in CPS yourself but use proper language support if it's available. Otherwise just leave it at that. Code is read much more often than written. You also don't use Church-Encoding
872.
by choeger 6y ago
Then the economy will grow by providing more and better games, bread, and Netflix. You cannot stop economic growth (except violently) as long as you don't put a stop to humans learning stuff.
873.
by choeger 6y ago
Systemd does a lot of things right: Having one process for the init, declarative definition of common options, streamlined interface. Note that many distros used to provide shell libraries for the same effect, but ended up with incompatible
874.
by choeger 6y ago
Not that much. Nuclear energy alone wouldn't really make a huge difference. Even if we ignore the obvious problems with safety (big issue with older designs and their spent fuel storage) and security (huge issue with modern designs) wh
875.
by choeger 6y ago
It goes without saying that a pure free market is not something to strive for. But it has been proven time and time again that a free market delivers more supply than any centrally planned economy in existence. In fact, each centrally plann
876.
by choeger 6y ago
There is a simple way to fix this. 1. Introduce tight quotas and enforce them strictly. 2. Only allow imports from nations that follow the same, or a stricter, protocol. 2.a Alternatively, enforce an import quota or prevent imports complet
877.
by choeger 6y ago
You should ask yourself where the WIP comes from. Are there people in your org (job description ending with "nager") that get paid for creating new tasks?
878.
by choeger 6y ago
Maybe it's time to finally differentiate the tools for software as in functions, algorithms, classes, libraries, etc. and software as in e-shops, databases, sso services, streaming services, etc. We have good science and steady (albeit
879.
by choeger 6y ago
Except that planned economies invariably fail to deliver the needed goods and services. There is a reason why overproduction is the foundation of capitalism's success. I even recall a paper that demonstrates that the market problem (ba
880.
by choeger 6y ago
That absolute statement is absolutely false. Say, I have a chicken that can be feed from left-over bread or wheat. I can store the wheat basically indefinitely, so there is no spoilage. Also, I cannot use wheat directly, so it is unusable c
881.
by choeger 6y ago
Right. But wouldn't that system still count just one adult and assign them, e.g., 69kg of "standard weight"?
882.
by choeger 6y ago
So, if a flight has a high percentage of overweight passengers that causes an incident, too?
883.
by choeger 6y ago
The biggest problem with any CI system is that you need an execution environment . Changing this environment should be the same as changing the code. Docker (or rather podman) has given us the tools to do this. Now if CI systems would allo
884.
by choeger 6y ago
That law of diminishing returns might actually apply, I am not 100% sure. But more powerful type systems allow for the more complex composition of more complex interfaces in a safe manner. Think of higher-level modules and data structures.
885.
by choeger 6y ago
I wonder if this is going to be incredibly useful or totally over the top for research. Imagine a development like the BioNTech vaccine. With an atomic-resolution cell simulator, you could verify your mRNA code, including the delivery into
886.
by choeger 6y ago
Exactly right. The copyright, as it exists today, is a tool to protect money-making schemes (industry vs. "customers"). It once was meant as a tool to protect market access (industry vs. industry). If we can reform it back to that
887.
by choeger 6y ago
Most frameworks aren't, at least not in the literal sense. By definition a framework is mostly transparent . You can see through it, look at it and think "whoa, I am glad that it is already there" or you can conclude "h
888.
by choeger 6y ago
I would argue that mixing is a good idea. 300sqm per household is not a great upper limit for families nor affordable for people with smaller incomes. But houses with 4 apartments of various sizes on 600sqm lots can be quite nice. Add to th
889.
by choeger 6y ago
I just glanced over it but if this does what it seems to do it is really a great piece of work. One of the biggest problems with typical FFIs is that they not only use the C-ABI but also at some point invoke some C-API so that the type safe
890.
by choeger 6y ago
For such a small-scale project, I suggest you seek out the corporate users of your project and offer consulting / development contracts as a freelancer. This can be on a per-ticket basis on their side. If it turns out that they have re
891.
by choeger 6y ago
I mean, seriously. How many such labs, specialized in research of Coronavirii, are there in China? It certainly looks like a weird coincidence that the first know hotspot is actually close to such a lab. But of course there are many reports
892.
by choeger 6y ago
I did not even see this at first. But they did really write that the chance of "no new physics" is 1:1000, right? So they gave "there is new physics" interpretation a huge probability. Seriously, I completely glanced o
893.
by choeger 6y ago
To quote the late Terry Pratchett: > Like a busy government which only passes expensive laws prohibiting some new and interesting thing when people have actually found a way of doing it, the universe relied a great deal on things not be
894.
by choeger 6y ago
> Are there launchers that don't?? Naturally, everyone has delays. But a company that purpose-builds the rocket for you does not, for instance, have to deal with a RUD of the booster it wants to use for you. Selecting launch provide
895.
by choeger 6y ago
Herrenknecht, Liebherr, BioNTech. Google for "Hidden Champion".
896.
by choeger 6y ago
I don't think the latter part is correct. In fact, many European companies, especially from Germany, are quite agile market leaders. The fact that classical rocket companies are not that agile is probably caused by the comparatively sm
897.
by choeger 6y ago
"public service", my ass. The purpose of mass transit is to gather the cheap workforce from around the city so a banker can have their Starbucks coffee for about the same price as everywhere else, offices get cleaned properly, and
898.
by choeger 6y ago
There is no objectivity in this. RMS was attacked by a specific subgroup of the identity culture. He could well be defended by another. Sometimes identity politics just seems to be the continuation of european leftist splinter group infight
899.
by choeger 6y ago
Of course they need to be profitable. A working public mass transport system is the sine qua non of dense cities. Dense cities reap many economic benefits so naturally the cost of providing mass transportation must be weighed as well. It&#x
900.
by choeger 6y ago
First of all, uttering criticism is taking something serious, no? Second, I cannot judge the grammar part, and style is always debatable. But the rules for style were hardly inconsistent when I read the book. "Omit needless words.&quot

More ›