Deleted Comment
Basically I want to know if this would make a cool Kerbal Space Program setting.
Then the paper gives the separations of the systems as 18AU for the inner quadruple and 250AU for the whole system. That would put the inner system within the orbit of Uranus and the whole system larger than our solar system which has Kuiper belt at 50AU.
You can use the same mechanism (minutes:seconds) to explain the half-open ranges: does a range(0,30) mean from 0:00 to 30:00 or from 0:00 to 30:59? If the second half of the match starts at 30:00, does the first half really end at 30:00 or is it really 29:59:99...9?
For most basic concepts, there's always real-world examples to use so that the teaching doesn't have to be abstract.
those are the same number.
Deleted Comment
Lockdown protests - super spreader events or valid exercises of freedom of speech?
George Floyd protests - super spreader events or valid exercises of free speech?
Riots attacking federal court house in Portland - treason or valid exercise of free speech?
Riots attacking capitol building in washington, d.c. - fortunately, everyone seems to agree it's bad. Oh, but it's apparently a super spreader event...
Remind me which side is participating in bad faith?
Deleted Comment
The economic destruction will impact us and our ability to solve bigger world problems for many years.
The lives lost through suicides, drug overdoses, and other problems won’t be fully understood for years.
The damage to a young generation’s education and mental health might not ever be fully understood, but it could be massive.
I agree with you.
They need to get the cameras out of congress. Everyone involved in these hearings is mining them for clips for their campaign ads and it's sickening.
The system operates as it is designed to.
Func Arg Val represents a function type from Args to Vals
consider foo(func : Func a b)
The argument to the function foo must be assignable to (a subtype of) Func a b
What are those subtypes? We can find out by considering expressions involving the argument
bidentifer = func(avalue)
so func must be an object whose type is compatible with assignments from the avalue, so its argument type must be a supertype of a
while the assignment to bidentifier implies the return value must be assignable to the return type so it must be a subtype
therefore the subtypes of Func a b are the set of types Func (super a) (sub b)
this is the origin of the phrase be generous in what you accept and specific about what you return
thinking about whether bikes are vehicles and such doesn't really clarify anything. you have to actually think about the expressions you are trying to construct
Moving down the Func type hierarchy moves you up the Argument type hierarchy (contra) but moves you down the Return type hierarchy (co)