xelxebar

The really interesting aspect of this, IMHO, is discovering what theorem formulations combine together well as a whole. It's much akin to a software architecture problem.

Metamath has done quite a bit or primary research into this. Theorems often have a slightly non-standard, but more general form.

One can ask things like, "what is the equivalent of functional programming?" Or, "is there global state?" It's a perspective on reverse mathematics.

80年代SF傑作選.

Recently, I remembered a short SF story that I read back in high school and tracked it down, "Why I Left Harry's All-Night Hamburgers".

I find new wave SF to be really playful and enjoyable to read, not to mention that the experimentation with funky themes and formatting adds a lot of novelty. The above Japanese title is a nice collection of late era stories in this genre.

Happy path coding is certainly the most fun.

Authenticity as a notion is a robust Western cultural more that I find confusing. The best parse I can get on it is this: developing an awareness and possibly a narrative around ways you behave with a subconscious expectation of social affirmation. Developing that awareness can certainly feel like a liberation of self-determination.

That can, also, undoubtedly be a powerful tool in overcoming cultural brainwashing of sorts, but I think the knife cuts both ways. The "authentic self" term makes it sound ontologically real and suggests that there is merit in searching for "finding oneself" when no ther motivating need exists. That road leads to pathological definition writing, IMHO.

grok make good security? is lot of money and much time. grok not do? easy. maybe good PR too.

TIL my brain is an Olympic gymnast.

The incentive structures are clearly there. I think the case of intentional manufacture is definitely weaker, requiring the conjunction of more weakly-supported events.

The one that gets me is when people use "a" with initialisms, e.g. "She drives a RV," just sounds off to me. she can do her thing but I drive an RV.

That said, I think the former might be more common these days, so arguably the rules might just differ between written an spoken English in some dialects.

Thank you for the epistemic humility here. It's a breath of fresh air amongst the polarized declarations we seem to have upregulated amongst ourselves for whatever reason these days.

Shame is a feeling, "decent person" is a moral characterization. The former might be part of an insentive structure leading to the latter.

Your call for clarity has merit, but I think you have backed yourself into a corner, honestly.

In 1900, there was no evidence of the kind you seek that lighter-than-air flight was possible. Good thing some people were foolish enough to ignore you then. Why you would cordon yourself off from the kind of reasoning that predicts legitimately new things, rather than just scaled up versions of the present?

Not to put too fine a point on it, every example you give is based in concrete evidence, some try to think through the implications farther than others, resulting in larger or smaller error bars around the conclusions.

Let me back up though. Maybe in the collaborative human effort here, we are better off having very concrete thinkers, like you seem to be, along with abstract thinkers like the "divorced-from-reality" Rationalists. Personally, I wish we had a stronger culture of collaboration and assuming good-faith and competence in our peers. In my experience, blanket dismissals are very rarely grounded in reality and mostly grounded in fears.

There is also a large incentive for OpenAI to fold user conversations into the training process. Proving this happened is unduly hard, and given that professionals are using frontier LLMs for daily work, such training would make it easier for labs to scoop said professionals.

I have seen private correspondence between one mathematician working on Navier-Stokes and OpenAI that makes it sound like OpenAI deliberately scooped this Navier-Stokes result. The alleged correspondence also contained veiled threats if said mathematician went public.

What about oats and an assortment of nuts? These go pretty well with cold milk or hot water alike, and you can flavor any which way if desired. Or are oats in the US also "fortified" with sugar?