jjaredsimpson

I feel like Alive should count even though its not new material. It's so good and different take on their own tracks.

Since the stars are near 1 solar mass and each has <10d orbital period, I think pairs should be nearer than Mercury to our sun which has 88d period.

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.

> does the first half really end at 30:00 or is it really 29:59:99...9?

those are the same number.

Is this argument by syntactic substitution?

This isn't an original thought. The president said this out loud. It certainly isn't brave to do life value accounting.

Why do you assume these same people are somehow "professional" when no one is looking.

The system operates as it is designed to.

I think the an easy way to think about it is by thinking about function types, instead of collection types.

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)

What if I'm too stupid to introspect?

Kinda absurd. You can setup a one time email, and one time facebook if you really want to segregate.

Sure you win on principle, but that's just the same as losing.

I only zone out in meetings with no focus. Provide an agenda which describes what you want to talk about. This helps me identify my value and not begin to immediately wonder how long this aimless meeting will last. Describe the problem this meeting wants to solve and why you can't solve it by yourself. People schedule meetings and expect attendees to do the work on making the meeting successful.

It's not my responsibility not to be bored, it's the organizers responsibility to be engaging.