andoando

I mean it would be ridiculously easy to make up any number of incorrect proofs.

It would have to show something new and interesting.

I do what the person you're replying to and for me its just one voice or a faint imagination of them speaking. Its me roleplaying as the other person, not like there is a different entity in my brain.

How is it going to get access to gmail or github? In any case, whats the probability of it going to so completely off the rails that it does something horrendous with gmail/github? Whats it going to do? Email my coworkers nudes on my computer? Make my github profile public?

I mean what's the big deal? I use --dangeorusly-skip-permissions on every single interaction in the last 6 months. Worst case it deletes my files that are all on git? It fucks up my local DB? Cool.

I save way more time not babying it than the occasional fuck up I have to salvage.

Why do people argue so hard on semantics? Its social media in some ways and its not in others

And then when almost every person says that, it turns out to be good advice. But we have statistics on this!

I am very risk averse person and I won't ride a bike in LA. In a city with proper infrastructure I would love to.

Yup, you could definitely take it offline (sleep) every night, update it and turn it back on.

Im pretty sure thats all legal

Youd just whitelist the list of cli calls equivalent to what your mcp offers

You could just rent a bare metal server with those specs

The promoted links have gotten insane, the first 5-6 links often appear to be ads

I didnt say that I solved the problem, merely that I, myself, know that I am concious.

If we go falsifiability, again, I can equally say how do I know your concious, or even that how do I know youre alive and breathing beyond the moments that I myself am observing you?

Yet the mere fact that I am conscious is a greater truth than any of my perception of the "physical" world.

Neither does pure materialism rest on falsifiable beliefs, in that I could claim nothing exists outside my conscious experience.

Tell it to use the existing libraries. https://openscad.org/libraries.html, in particular BOSL2

I've one shotted a light saber hilt with threaded parts and it worked flawlessly.

Eh writing software for healthcare, or aircraft or self driving cars is more rigorous than an EE working on industrial lighting or toys.

Im sure for the most part, engineers in physical space deal with the same kind of tradeoffs software engineers make, where you try your best based on industry standards, personal past experiences without some way to prove what youve done is right

Imagine you went back 100 years and someone was like "Come up with a mathematical system that can express any sequences of logical steps" do you imagine what you would deliver is a few primitives and a few simple rules and said "here you go!, this is fully complete". Its actually quite remarkable that Church/Turing didn't start off from primitives like if statements, loops, etc.

Lambda calculus is from the 1930s and predates computers, its point is that it is bare bones model of computation. It doesn't make much sense to compare it to modern languages in efficacy, as that seems to imagine someone came up with lambda calculus in 2010 along Java, C, Python, etc.

The super cool thing about it is that it is capable of expressing ALL the computation you know today, from the few primitives. An "If" statement for example is λb.λx.λy. b x y

No I just misremembered and mixed up the global and local.

At the beginning there was only one query, it got expanded over time with new features. It wasnt well thought out, no.

If you need high scale globally distributed persistent data, uniform distribution of hash reads/writes, dont care for schema, and know your query will remain simple yeah its a fine choice.

I just wouldn't consider it outside of enterprise level

You spin up a second host and load balance

With AI now writing queries is a joke. But you can just create a two column table: key, JSONB and call it a day and you get your easy document store + indexes, json search, relationsl goodness, and atomicity, consistency for free

We used DynamoDB pretty much exclusively at Tinder, cause it was the founders choice early on. Horrible horrible choice and after 4 years working on it I dont see why you would.

1. you have a limited number of global supported indexes, 5 iirc, which means your queries are very limited. If your use case ever expands beyond that you're pretty screwed. 2. You will have race conditions. Strong consistency is 2x the cost, and not supported on global indexes. 3. Data is split into 10GB partitions and all the read/write quotas are split evenly by the number of partitions. 100 reads you're paying for is actually 10 reads per partition if you have 10 partition. Hot sharding becomes a real problem.

Take your document data, stick it in a JSONB and you get the same performance way cheaper + query able/indexable columns. The only time Dynamo wins I think is it scales well globally, but you probably dont need it

Uhh what, I speak to llms in broken english with minimal details and they figure it out better than I would have if you told me the same garbage

Yeah it is, I am just not sure if its worth doing so. I haven't got much feedback/interest.

Yes, with a lot of reviewing what its doing/asking questions, 100%

There is a million things in between a C compiler and a non-trivial product. They do make a ton of horrible architectural decisions, but I only need to review the output/ask questions to guide that, not review every diff.

Because its SO much faster not to have to do all that. I think 10x is no joke, and if you're doing MVP, its just not worth the mental effort.

I don't either, but I really think Im just burnt out. The simplest things piss me off.

Totally agree, AI interfaces will become the norm.

Even all the websites, desktop/mobile apps will become obsolete.

I want it yes. I already feel like Im the one doing the dumb work for the AI of manually clicking windows and typing in a command here or there it cant do.

Ive also been getting increasingly annoyed with how tedious it is to do the same repetitive actions for simple tasks.