numpy-thagoras

I love this idea. Thank you for the examples!

I've been thinking of this as well:

Something like old school Facebook in UI, but functions more like MSN Messenger. You connect to your contacts via P2P, and download/upload updates to your social media network.

Yep, if you were to watch what happens at a 996 shop, it's people literally living their at-home life with their fellow employees for most of the time.

This is great for skywatching but at 32GB it only takes brief photos, and rarely video.

A real setup needs multiple 4K cameras, some kind of LWIR, MWIR, etc. as well as SDR with proper antennae for each of their respective performance envelopes.

I think it's good, but it will not be good at picking up the "targets of opportunity".

I accept any and all downvotes, but...

It's not flying saucers, it's weird orbs / spheres. There is volume of footage, and sufficient quality. I think we're past the point of "is it real" and more at "okay so what is this really and what is it doing".

If we could take Tier 1 reports from NUFORC, have tons of metrics available with sensor data, we can make a better guess.

That describes more than just one POS (Point of Sale) company I know of.

You don't need to load the entire world model in order to be effective at a task. LLM providers already do something similarly described with model routing.

The brute force got reduced down to fast heuristics, like Arthur Benjamin's Mathemagics.

There's a whole lot of undecidable (or effectively undecidable) edge cases that can be adequately covered. As a matter of fact, Decidability Logic is compatible with Prolog.

We would begin by having a Prolog server of some kind (I have no idea if Prolog is parallelized but it should very well be if we're dealing with Horn Clauses).

There would be MCP bindings to said server, which would be accessible upon request. The LLM would provide a message, it could even formulate Prolog statements per a structured prompt, and then await the result, and then continue.

A world model is a persistent representation of the world (however compressed) that is available to an AI for accessing and compute. For example, a weather world model would likely include things like wind speed, surface temperature, various atmospheric layers, total precipitable water, etc. Now suppose we provide a real time live feed to an AI like an LLM, allowing the LLM to have constant, up to date weather knowledge that it loads into context for every new query. This LLM should have a leg up in predictive power.

Some world models can also be updated by their respective AI agents, e.g. "I, Mr. Bot, have moved the ice cream into the freezer from the car" (thereby updating the state of freezer and car, by transferring ice cream from one to the other, and making that the context for future interactions).

I don't think he actually understands direct realism, idealism, or representational realism as distinctions whatsoever.

The default philosophical position for human biology and psychology is known as Representational Realism. That is, reality as we know it is mediated by changes and transformations made to sensory (and other) input data in a complex process, and is changed sufficiently to be something "different enough" from what we know to be actually real.

Direct Realism is the idea that reality is directly available to us and any intermediate transformations made by our brains is not enough to change the dial.

Direct Realism has long been refuted. There are a number of examples, e.g. the hot and cold bucket; the straw in a glass; rainbows and other epiphenomena, etc.

Good. The world model is absolutely the right play in my opinion.

AI Agents like LLMs make great use of pre-computed information. Providing a comprehensive but efficient world model (one where more detail is available wherever one is paying more attention given a specific task) will definitely eke out new autonomous agents.

Swarms of these, acting in concert or with some hive mind, could be how we get to AGI.

I wish I could help, world models are something I am very passionate about.

Most code is throwaway, even to you.

Most code will quickly be obsolete anyways, even for you.

Most code you write will be torn apart by often the harshest critic: yourself.

People who chase others' code just to copy it and not to understand it will not get anywhere, especially today.

Share for your benefit first, and share often. That's how I have found my gems, even for code I've written.

Yes, I believe that.

> If your statement was even remotely true then why is this not used in conflicts to devastating effect?

It has been, it continues to be.

Where have you been?