You should look into Coq as it seems to have some good traction.

https://coq.inria.fr/

Not here. Vinyl is an upsell.

I’m in the sector, and there are legitimate time and effort savings when used correctly. Code refactoring gets a little smarter than a dumb script, boilerplate code is instantly generated, and real educational topics can be delved into and analyzed.

I don’t want to see it closed off, and I want the data used to train made public. These LLMs have capabilities older scripted systems can never match.

Eventually they will replace workers. Our society is too self-centered to make that a good thing.

If two moving balls hit each other and bounce apart, it’s the exact same thing as if you held the frame steady on one ball and viewed the other ball as moving faster. Just seems like the stationary ball gets heavier…

Perspective is everything.

Of course that’s how sanctions work… against nations. Linux isn’t a country, it’s not an American asset. They could have resisted. Linus chose not to.

Do they? They could have just isolated those commits as sanctioned and added a warning. Linux hates Russians as a Finn, so didn’t need much convincing to remove them.

I would be singing a different tune if our allies invading other countries at the moment were also sanctioned, but that’s not the case.

As it stands, let the individuals escape the nation state punishment. They didn’t start this war, and likely don’t support it.

The only issue is not having a simple backup interface and feature in general. Has this been addressed yet? How are snapshots with ZFS on Incus?

Bitcoin is hypercapitalist? A decentralized value store not controlled by any one country and immune to money printing inflation? What are you smoking?

Know what you want to buy before going into a store, stick to your guns. Unless you want to dilly dally, it saves time.

Organize your stuff, makes finding things much faster. Adam Savage had a good tip: Befor you put something away, pretend you’re looking for it and put it where your first thought was. Next time you look for it, it’s in a natural spot for you.