Humanity has reached a milestone.

He reminds me of Death from Discworld. He is the Dream Reaper.

The beginning of psychohistory?

There was a time when people thought SAT and formal logic is the way to building AI. Now you don't hear anything about it. I wonder what happened?

The "AI Winter" was largely caused by people realizing building better logic, chess, or similar analytical engines proves to be a poor model for human like intelligence. The current renaissance is due to Machine Learning / Deep Learning based essentially on statistical models.

In the specific context of language there was a famous debate between Chompsky and Norvig that touches on these themes: http://norvig.com/chomsky.html

I believe events of recent years have not been kind to Chompsky's side of this debate. I'm less bullish on large language models turning into AGI than many people here, but I think if we do develop AGI it's a certainty it will be a based on probabilistic models, not logically consistent formalisms alone.

But also not probabilistic models alone, that's the point.

It requires large amounts of formalised and human defined domain specific knowledge, for every domain that you work with.

The overheads are huge, and it's very bad at dealing with fuzzy situations.

I found that tracking my income & expenses makes me more thrifty.

That's Aristotle physics.

Friction doesn't exist I guess. Spherical cow and all that?

Wrong link.

I think this is the right link. It's the initial story from the point of view of the person whose work was plagiarized. The evidence of plagiarism provided there eventually led to the story that I submitted.

Campaigns are starting. I can feel the elections from a year away.

It seems like they never really end.

This is what happens when you judge a product without using it first.

Would negative mass make time contraction and length dilation possible?