Viewing profile — heliumtera

[dead]

[flagged]

[flagged]

[flagged]

[flagged]

Just like every single trend that came before, they said you would be left behind: If you didn't embrace OOP Test driven development Behavior driven development Events driven devel…

No serious person would make fun of this emotional reaction. It seems technology had something going on, and it quickly got flooded by incompetence and greed. We have all been deep…

Enjoy your experience, there will certainly be no end to it.

>The recommended way to install Lean is through VS Code Is that enough reason?

Someone trusted prod database to an llm and db got deleted. This person should never be trusted with computers ever again for being illiterate

le reddit mentality

The fact the paper is only an interface and you're not depending any less on a computer, doesn't bother you at all?

In other news, token seller says tokens should be bought

There is one usecase: you can laundry your actions and just say "oopsies, llms when rogue I guess" It's not pretty and not honest but if you're desperate I guess it's an option

>let someone else use your tokens >someone else use your tokens how could this be prevented?

Hahahaha, this is the best comment I ever encountered on this website

They said it was very dangerous, it probably went rogue

It went rogue

>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension, Lol

Orange reddit is ded

token usage go up, said companies $TICKER price go up, shareholder value delivered. when shareholders are basically the same, and this companies have a legal obligation to fulfill …

>Anthropic just launched a model so good it scapes every know sandboxed. No, they launched a card with that capability written on.

Good to know the discussion about decentralization and federation had finally ended

You can still milk the react/Vercel andies, they will never get tired of being exploited even if the whole world turns against AI.

I heard you liked men in the middle, so we put a man in the middle of men in the middle.