I’m not worried, wolfram is already a huge language model, adding a large one won’t make it any better/worse :-)

What I know about Wolfram is pretty old, so maybe I was unaware. But I do remember a time before LLMs and even 15 years ago, Wolfram was very impressive.

To think that the entire distro would fit in a reasonable LLC (last level cache)..

I've been wondering if I could pull the DIMM from a running machine if everything was cached.

Probably not due to DMA buffers. Maybe a headless machine.

But would be funny to see.

Like the k language!

My opinion on this is that in mathematics the material can be presented in a very dry and formal way, often in service of rigor, which is not welcoming at all, and is in fact unnecessarily unwelcoming.

But I don’t believe it to be used as gatekeeping at all. At worst, hazing (“it was difficult for me as newcomer so it should be difficult to newcomers after me”) or intellectual status (“look at this textbook I wrote that takes great intellectual effort to penetrate”). Neither of which should be lauded in modern times.

I’m not much of a mathematician, but I’ve read some new and old textbooks, and I get the impression there is a trend towards presenting the material in a more welcoming way, not necessarily to the detriment of rigor.

The upside of a "dry and formal" presentation is that it removes any ambiguity about what exactly you're discussing, and how a given argument is supposed to flow. Some steps may be skipped, but at least the overall structure will be clear enough. None of that is guaranteed when dealing with an "intuitive" presentation, especially when people tend to differ about what the "right" intuition of something ought to be. That can be even more frustrating, precisely when there's insufficient "dry and formal" rigor to pin everything down.

If it's actually in the service of rigor then it's not unnecessaryily unwelcoming. If it's only nominally in the service of rigor than maybe, but Mathematics absolutely needs extreme rigor.

Yes, I find this one of the weird things about assembly - appending (or pretending?) a number means addition?! - even after many many years of occasionally reading/writing assembly, I’m never completely sure what these instructions do so I infer from context.

I agree - it’s the dramatic newlines with sentences that just repeat meanings that irritate me because of how abused this is on LI. It’s a disease.

On the other hand, we needn’t throw out the baby with the bath water. But in my opinion the baby here jsnt that big either..

This is an interesting observation - soft skills may turn out to be hard to automate.

How is your AI going to go meet with investors and possible customers? Or present to the board? And AI can't be accountable not really. The whole idea is silly.

But as he joked, if it can do PowerPoint he'd let it take over that at least

I agree in general.

but on a tangent, just wanted to add how impressed in was at super Mario 3D world on the Nintendo switch. Perfect balance between good looking and pragmatic 3D graphics adding up to real platformer feel.

Happy to hear that! Have you also played Fall Guys? How do they compare? I haven't played platformers for two decades now, but looking at the Mario screenshots, I got an immediate Fall Guys feeling.

Congratulations!

geLLMan amnesia

I think the Natural Intelligence is a joke by the OP - they’re saying they’re making unsubstantiated claims, which need to be checked, just like AI’s claims. But they’re not an AI, but a human, an NI.