bss03

Eh, one of the founders is a friend of a friend, I don't think it's "slimy". Though I have complained about some aspects both publicly and privately to him.

It was easier to get into than to actually buy my own property, but there's been a lot of changes to it since I bought my first shares of a local (to me) property.

We need to bring back the 92% (marginal) tax bracket.

There's a cap on how much you (and your employer) pay per SSN / year. So, for particularly high wages or salaries, the percentage goes down, for every dollar made above the cap.

Also, things like stock( option)s often made up a significant portion of compensation for high earners and those aren't subject to SSI tax at all, IIRC.

I'm all for calling the US/CA "football" as "gridiron football". I think it makes it seem more "alpha" anyway. (And, "football" alone matched the game play of "association football" better.)

Bah, what I really need to know is: What are the difference between this and Miley Cryus Linux?

^someone^ ^had^ ^to^ ^say^ ^it^ /s

Sony rootkit or before.

You can troll with facts, yes. Trolling is more about intent and tone than accuracy or objectivity.

Reality has long had a liberal bias.

Sphinx of the black quartz judge my vow.

Yeah, GRTT wasn't really invented until 2021. Of course it borrows from many other theories, but it is not easy to fit under existing calculi (tho it can be "lowered" to MLTT).

I want a language with an internal/core calculus of GRTT with a specific grading that I believe will provide both optimal evaluation and prompt resource release. You aren't going to get that by building on top of another language.

Of course you could do it as a library for another language, but the few values you could lift/lower and the necessary analysis do to bidirectional type inference/checking mean that you are writing a compile phase whether you call it that or not. In theory, you might save on the tokenizer/parser, but those are trivial to write. You might be able to reuse parts of the API/ABI, which could be an advantage if the underlying language has a good, stable one that can reflect your linking/calling/passing restrictions; but that's not likely.

👎 : Ranch instead of Soy Sauce

👍 : Ranch instead of spicy mayo

NGL, I will be trying the ranch+sushi combination myself.