

You should look into Coq as it seems to have some good traction.
You should look into Coq as it seems to have some good traction.
The new Total Recall. It’s a fun ride.
Because we can’t agree on needs and trusted software due to liability reasons.
The brightest minds in the field can come together and give standard recommendation for use cases using free software, but they don’t. We have billionaires who could fix this problem with a snap of a finger, but they won’t.
Problems are profitable. You can’t sell a solution to a boring mature field.
Have you tried enacting change and getting third party elected? Are you seriously blaming the voters as if they ever had more than 2 choices?
deleted by creator
This is why I switched also. More and more reports of NPM just breaking out of the blue.
I’m going to go on a less extreme take. They’ve been told from childhood they live in the land of opportunity, yet they work in dead end jobs or working fields.
They see money flying away every paycheck they live week to week on while being pumped propaganda (that people in suburbs and urban areas don’t see) that shows people who look different from them getting gov’t housing and getting programs funded with their tax dollars.
The same party they now demonize supports ridiculous looking gay parades that show a mentality they don’t understand, so they begin to hate. They wake up morning after morning in the same place with no change, and they stew and stew and stew.
So now they basically give up and see a hyper-masculine wannabe saying all the things against those who are different, and the long encrusted anger starts spewing out.
Most of the comments here are ignorant and hate filled against the wrong people. It’s not the MAGA supporters that did this, it’s the system. We need to stop polarizing ourselves with hatred and point the finger at those truly responsible. Not the poor (literallly) voters who are so dejected and living in decay that they just don’t give a rats ass anymore.
The more you hate the other side, the less you see the truth. The goal is to make you hate them. The goal is to make them hate you. You can’t define an entire person in a paragraph.
To be fair, not all reasons are good.
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.
Hopefully the Egg is revealed.
Sometimes the regulators sit back and see how the market is pushing, then regulate it to reduce waste. EV chargers for example.
I think at the point AI can “replace” artists, the individual becomes the artist. A much less exclusionary field if you don’t have the drawing ability. It becomes just another advanced paint brush.
The true creatives will still find a way to stick out. The definition of “art” will change.
I recently commissioned a logo because AI is terrible at it. Once that becomes good enough, I don’t see myself paying another $100 when I can generate it for nearly free. I had submissions for the logo that were clearly AI generated. It’s the same problem with search, you won’t know what’s human unless you dig. It harms artists, but technology improvement always leaves a trail of industries obsoleted. The technology is here, it makes some work more efficient. If you cripple it now to save jobs, you’ll limit the investment and any future gains due to fear of repeat. I think the key is to look at it as a tool, not a replacement. It can certainly help you flush out your ideas and write a better book.
I need a cover for my novel. Hold on real quick while I get this 4 year degree and spend $80k to send an fu to the AI overlords and design it myself.
After that I’ll throw my shovels away and use spoons instead.
They refused to entertain offers. 1T dollars seems mighty, but TikTok is a multi-year if not multi-decade data collection hub. That data is on the youth of America and their trajectories.
That’s priceless to the power hungry. It’s not just money, it’s control.
If your antenna is strong enough, you can pick up a lot of lower power devices from a long ways off.
I think you mean parasitic relationships.
Right, in effect you break down the possible function states along with a more rigorous form of targeted unit testing.
I don’t believe they used coq, but the sel4 Linux kernel is one of the most famous formally verified applications/systems.
https://github.com/seL4/l4v
The way to beat vulnerabilities is to use formally verified building blocks in my opinion.