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…
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…
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…
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…
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,…
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…
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…
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…
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?
The source code had a very elegant and systematic use of intents (including prefetched intents) and a dependency injection container. The pattern itself is a little bit different, has some conceptual overhead, but it's…
Most of the time, I don't personally look at it as cheap labour because I am just ordering, e.g. 60,000 of something or 100,000 of something else. It's cheap, yes. I can indeed buy 1,000 of something more locally or…
Yeah I currently daily drive a 43" monitor and it has been a life changer since I got it in 2022. I'm still happy with it, would kill for an 8K 43" 120hz monitor but that's still a ways away.
Is it the noise cancellation making a feedback sound, or is it the pressure differential in the ear canal pulling the ear drum back to produce a white noise? He said that it goes away when he yawns, so I'm thinking it…
You write the requirements, you write the spec, etc. before you write the code. You then determine what are the inputs / outputs that you're taking for each function / method / class / etc. You also determine what these…
Yeah, we really need LLMs to work swimmingly with Lean 4. It is currently hot garbage and it does not understand proof composition, exploring proof extensions, lemma search, etc. It does not explore an open-ended node…
"- moderation - spam, which now includes scrapers bringing your site to a crawl - good faith verification - posting transparency" And we have to think about how to hit these targets while: - respecting individual…
That reaaally does look like the Stonks guy. Man we haven't change much, have we? :D
"...one where founders don't have to be particularly talented to hit the jackpot." That's where we're at right now anyways. "If tech companies are this stupid, it ought to be very easy to disrupt and usurp them by…
It's cool and all, and I like it. I have TidalCycles installed and have played around with it. My only criticism is it makes music feel like CSS. In some ways it helps with theory, yes, but the DX is more like Tailwind.
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…
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…
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…
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…
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,…
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…
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…
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…
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?
The source code had a very elegant and systematic use of intents (including prefetched intents) and a dependency injection container. The pattern itself is a little bit different, has some conceptual overhead, but it's…
Most of the time, I don't personally look at it as cheap labour because I am just ordering, e.g. 60,000 of something or 100,000 of something else. It's cheap, yes. I can indeed buy 1,000 of something more locally or…
Yeah I currently daily drive a 43" monitor and it has been a life changer since I got it in 2022. I'm still happy with it, would kill for an 8K 43" 120hz monitor but that's still a ways away.
Is it the noise cancellation making a feedback sound, or is it the pressure differential in the ear canal pulling the ear drum back to produce a white noise? He said that it goes away when he yawns, so I'm thinking it…
You write the requirements, you write the spec, etc. before you write the code. You then determine what are the inputs / outputs that you're taking for each function / method / class / etc. You also determine what these…
Yeah, we really need LLMs to work swimmingly with Lean 4. It is currently hot garbage and it does not understand proof composition, exploring proof extensions, lemma search, etc. It does not explore an open-ended node…
"- moderation - spam, which now includes scrapers bringing your site to a crawl - good faith verification - posting transparency" And we have to think about how to hit these targets while: - respecting individual…
That reaaally does look like the Stonks guy. Man we haven't change much, have we? :D
"...one where founders don't have to be particularly talented to hit the jackpot." That's where we're at right now anyways. "If tech companies are this stupid, it ought to be very easy to disrupt and usurp them by…
It's cool and all, and I like it. I have TidalCycles installed and have played around with it. My only criticism is it makes music feel like CSS. In some ways it helps with theory, yes, but the DX is more like Tailwind.