cvoss

17 ms·

211.
by cvoss 2y ago
Aside to your aside: When A can be proven from B, and A can also be proven from !B, it is really tempting to conclude that A is proven. But many people will argue this is incorrect in general, that is, they deny the excluded middle axiom. W
212.
by cvoss 2y ago
I am sympathetic to the author's thesis. I favor the idea that gravity is a different thing from the other fundamental forces, and possibly an emergent phenomenon rather than a fundamental thing in its own right. But, I don't buy
213.
by cvoss 2y ago
I've played many Chopin waltzes in my time, and have heard the full collection of 19 (18?) known waltzes many times. As everyone is saying, it sounds very much like Chopin. However, the article notes that it's unusually short, whi
214.
by cvoss 2y ago
> It takes a long, long time for agriculture methods to change My relatives, corn farmers in Iowa, have been preaching no-till for three generations now. I asked my uncle why it's not been universally adopted after all this time. He
215.
by cvoss 2y ago
> What’s a more realistic scenario here? Your manager stands up to their entire chain of command... She should try, at the very least. Otherwise you have a bad manager. Your manager's job is to look out for what's best for the
216.
by cvoss 2y ago
Really? I wouldn't think the sun is nearly massive enough to do what would be required here. Stars visible near the edge of the Sun appear in slightly different spots from their actual locations. If there was a distant planet directly
217.
by cvoss 2y ago
> The action of a comet rather than straightforward miracle was an attempt by the materialists and deists to reduce God’s direct influence over the world and attribute everything to the secondary causes of natural law. There is a lot to
218.
by cvoss 2y ago
Exactly. And especially when the feature makes up only a tiny fraction of the whole feature set and production cost of the product, consumers are entirely at the mercy of the manufacturers. I'm not going to buy a different make over th
219.
by cvoss 2y ago
The chord progression is i^o II iii iv V VI vii, which are the successive triads of a locrian scale, which is like a major scale but you start from the 7th note of the scale (ti). In this case, use A flat major, but start on G.
220.
by cvoss 2y ago
In some contexts, the inverse of a function f : A -> B is defined as a function g : B -> A such that g(f(x)) = x and f(g(y)) = y for all x,y. In other contexts, what is meant is g : B -> 2^A such that x is in g(f(x)) for all x and
221.
by cvoss 2y ago
Consider that lots of people regularly and voluntarily give a certain percentage of their income to their religious institution, without any kind of enforcement structure. There is a belief that such practices are good, right, and required.
222.
by cvoss 2y ago
It is important to understand the difference between moral laws, which are immutable, and other laws in the Bible, often categorized as civil or ceremonial. In modern legal theory, we have a similar distinction, which you may know from Lega
223.
by cvoss 2y ago
> a source that explains both rationale and variations This is the key right here. Not all recipes are created equal. The terse ones are for people who already know what they're doing and just need a sketch to jog their memory. If t
224.
by cvoss 2y ago
Because the fraction represents a rewrite rule, which is the fundamental unit of computation in this language. Instances of the denominator factors are replaced with instances of the numerator factors. Some people read x/y as a rewrite
225.
by cvoss 2y ago
This is basically how my team does it. I love it. My manager spends much of her time figuring out how to help remove our roadblocks and planning the 6 month to 1 year horizon (with our input). I lead the weekly meeting where we do the showi
226.
by cvoss 2y ago
Notwithstanding the limitation of assuming the graph is embedded in a coordinate space where you can try to measure angles, I think this algorithm still doesn't work. I may be missing a detail, but it seems to fail on a graph consistin
227.
by cvoss 2y ago
Seems like this arrangement of columns can't properly support dividends, as 1) there is no change to the held quantity when a dividend is issued, 2) the unit price of the symbol is irrelevant, and 3) there is no column to record the ac
228.
by cvoss 2y ago
Positrons don't merely look like time-reversed electrons, and it's not limited to Feynman diagrams. Everything we know about those particles, experimentally and in our best theory, says that they literally are identical but for a
229.
by cvoss 2y ago
> For more than 40 years, IEEE has been a great place to build my personal brand and to create a valuable professional network. I know it can do the same for the next generation of engineers. If they have to make this case, it suggests s
230.
by cvoss 2y ago
I don't know if you meant it, but being in someone's pocket implies a financial relationship. I've never heard the claim before that organizations affiliated with the police are paying court members for friendly decisions. He
231.
by cvoss 2y ago
Greene and Woit are colleagues in the same department (Greene is in two departments) of the same university. This kind of public airing of grievances (at one point Woit calls something Greene writes "highly offensive") seems like
232.
by cvoss 2y ago
What is the connection you are drawing between those two things? A census was used to assess a nation's fitness for battle and to set a taxing expectation. Revelation is discussing the state of affairs under the rule of Nero (the man w
233.
by cvoss 2y ago
Each person samples a private random variable to decide if they have drawn the short straw. To use a shared sample would violate the no-communication assumption.
234.
by cvoss 2y ago
It depends on which way you're going on the escalator! Since we started with treadmills, and then switched to escalators, I just assumed the author had in mind a person walking up the down escalator.
235.
by cvoss 2y ago
There's a lot of unfounded speculation here. But I'll just address the one set of claims that have cited documentation, which turn out to be unfounded upon examination of the citations. > In a famous Supreme Court case (Connick
236.
by cvoss 2y ago
Not ready to do that yet. But I hope so one day!
237.
by cvoss 2y ago
I've dreamed about making my own language for about 10 years or so. Started out just messing around. My vision for what it would be and its purpose has changed over time. About 2 years ago, I "got serious" about designing and
238.
by cvoss 2y ago
The bulk of the article is devoted to explaining that g = pi^2 in m/s^2 units (under an old definition of meter) because (that definition of) the meter was not selected arbitrarily, but selected in a way that makes the equation hold on
239.
by cvoss 2y ago
> The creator is a current computer science student in China who is using the skills he's learning to make a pretty penny on the side. There's a strong argument right here for teaching technology ethics as part of a typical CS
240.
by cvoss 2y ago
The definition of reals given in this programming language amounts to Real := Nat -> Rat, with the interpretation being that the real number is represented as the limit of this function as the argument increases to infinity. Snazzy, but

More ›