isolay

In ancient times, war was a chance for the poor to become wealthy. Now it has been capitalistically optimized. Now it only makes the rich richer.

> after wasting a day on this, I am now just going to go through the (single file) of code and just fix it myself.

Seriously, you wasted a whole day just so you wouldn't have to look at a single file of code?

> Update: some 20 minutes later, I have fixed the bug. Despite not knowing this particular programming language or framework.

Be really careful there, you might have accidentally learned something.

A contradiction in terms is not called a tautology.

End up? It already is.

That guy is a snake, not just while at YC.

As for the titular question, Betteridge's law of headlines applies. The answer is: No, we can't trust Sam Altman.

Almost as good as the cat aquarium!

https://customcataquarium.com/

Makes sense. Cat probably thought you were grooming and warming up the keyboard just for her.

Seeing people work tirelessly to make The Matrix a reality is great. I can't wait!

Did somebody not believe what I said? Here it is:

https://github.com/corrosion-rs/corrosion

But bots do not spend money (yet?), people do.

This is interesting, but techniques like CDCL seem to only ever find any one valuation that makes a proposition true. My homegrown solver finds all valuations that make a proposition true and then can eliminate redundancies, such that `X or not X and Y` gets simplified to `X or Y`, just to mention one example (proof: truth tables are identical). Are there any other SAT solvers out there that do something like that? My own one suffers from combinatorial explosion in the simplification stage when expressions get "complex" enough. But then, the simplification is NP-complete, AFAICT.

> [Apple] promised apps with no viruses and no risks; a place where everything was curated and safe.

Apart from the viruses, nothing of the above is true any more. Apple doesn't care if you're getting screwed over by an app, and neither does Google. If they can increase their profits by taking away our freedom and/or control over "our" devices, then it WILL happen, as sure as death and taxes.

Oh, not the library that makes Rust code usable from C++. It's time we also had namespaces for names of software.

All of this only goes to show how far we've come on our journey to profit optimization. We could optimize away those pesky humans completely if it weren't for the annoying fact that they are the source of all those profits.

That's the one interesting thing about cesspools like OpenAI. They could be treasure troves for sociologists and others if commercial interests didn't bar them from access.

And it is sad to see how commenters here are in denial about it.

You're overlooking that in this case "the definition of X" is outdated. One example for this would be asymmetrical warfare.

> It’s literally a virtue to lie if it advances his X agenda

Replace "X" with "marketing" and you're back in the mainstream. Religions are all the same ultimately, no matter the idol they worship.

The "without meta utf-8" part of course depends on your browser's default encoding.

They can open up all day long, I still don't want them forcing "AI" down my throat.

This looks so strange from a mathematical perspective. A Boolean type has exactly `true` and `false` as valid instances, but this one allows every 32-bit value. Par for the course of PLs that were arbitrarily invented instead of derived from maths.

> I feel like even 10 years ago, online marketplaces would have taken measures to prevent stuff like this.

By now the market has "matured" to pure profit orientation. Health or even survival are irrelevant. /s

Not to forget they can use the performative bullshit to lay grounds for a paramilitary GeStaPo. ICE as it is already attracts all the wrong character types.

I wonder what's the missing link between this manual setup and something like gitea. Is gitea just automation of this?