Viewing profile — 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 yo…

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 pr…

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 i…

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 b…

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…

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 …

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 mode…

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…

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, …

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…

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…

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 a…

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 / cla…

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. I…

"- 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 target…

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 …

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,…