|
What sets CompCert C apart from any other production compiler, is that it is formally verified, using machine-assisted mathematical proofs, to be exempt from miscompilation issues. "A proof is a proof. What kind of a proof? It's a proof. A proof is a proof. And when you have a good proof, it's because it's proven."
Bless you, Jean Chrétien. For your proven wisdom.
|
|
|
|
|
SpaceX’s Starship, the most powerful launch vehicle ever built launched Thursday and achieved key objectives laid out for its fourth test flight that demonstrated the vehicle’s reusability. Fourth try goes forth
|
|
|
|
|
Attackers are targeting GitHub repositories, wiping their contents, and asking the victims to reach out on Telegram for more information. git restore --conflict=got-hacked --dangit --need-more-security
|
|
|
|
|
I hope they get a good backup
M.D.V. 
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
The inquiries could lead to antitrust cases down the line. Those that succeed, get sued
|
|
|
|
|
And those who can't do, teach.
The difficult we do right away...
...the impossible takes slightly longer.
|
|
|
|
|
And those who can't teach, go into the government.
M.D.V.
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
Asked to explore the data privacy issues arising from Microsoft Recall, the Windows maker's poorly received self-surveillance tool, Jaime Teevan, chief scientist and technical fellow at Microsoft Research, brushed aside concerns. Let him install it then
|
|
|
|
|
A new and mandatory terms of service approval for Adobe Creative Cloud requires users agree to the company getting free access to users' projects, for whatever they want to do with it. That's unacceptable. All your art are belong to us
|
|
|
|
|
Microsoft has done the very same thing for any files you store on any of their systems.
The difficult we do right away...
...the impossible takes slightly longer.
|
|
|
|
|
And then people told we were wrong when we said that if it is in the cloud it doesn't belong to you anymore.
M.D.V.
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
|
This release brings many enhancements and bug fixes to MSTest.Analyzers, new features and improvements for MSTest.Sdk, and adds support for WinUI applications to MSTest.Runner. In case you test your software (unlike some companies that shan't be named here)
But the company name rhymes with Bicrosoft
|
|
|
|
|
Retrieval-augmented generation (RAG) is picking up traction because when applied to LLMs, it can help to reduce the occurrence of hallucinations, as well as offer some other additional benefits.
|
|
|
|
|
DDG offers LLMs from OpenAI, Anthropic, Meta, and Mistral for factually-iffy conversations. QuackGPT
|
|
|
|
|
The framework pulls in external sources to enhance accuracy. Does it live up to the hype? Tell the AI to "just Google it"
|
|
|
|
|
It's a fun coincidence that rag is somewhat synonymous with bandage.
|
|
|
|
|
Must. Not. Make. Joke. About. AI. Being. On. It.
That might get me in trouble anyway.
I’ve given up trying to be calm. However, I am open to feeling slightly less agitated.
I’m begging you for the benefit of everyone, don’t be STUPID.
|
|
|
|
|
|
As far as other online jobs are concerned, I agree with the article. Most middle management positions are likely to be replaced by AI in the not too distant future.
Where legal documents and software development are concerned, the problem is not necessarily writing the contract (code) but specifying what needs to be written. Those people who make their living by making small changes to existing contracts (code) are right to fear for their jobs. Those who specify new contracts (code) are likely to be in even more demand.
Freedom is the freedom to say that two plus two make four. If that is granted, all else follows.
-- 6079 Smith W.
|
|
|
|
|
Maintenance programmers are not likely to be replaced by AI in the next decade. I am given to believe that some organizations are still using IBM 7040 code emulated on ancient IBM 370s. Other organizations are emulating IBM 370 COBOL code on newer machines.
Much of this legacy code is so convoluted and patched, that only a live person can understand it and fix it. The documentation of the original functionality is often lost and, if available, usually has not been updated to reflect the bug fixes, enhancements, and other code changes.
What AI may do, however, is quickly generate new replacement code for the entire package. It will have difficulties in places where the original programmers relied upon a side effect, rather than straight-line code, to accomplish something. Many of these side effects are not well documented.
AI will excel at regression testing.
__________________
Lord, grant me the serenity to accept that there are some things I just can’t keep up with, the determination to keep up with the things I must keep up with, and the wisdom to find a good RSS feed from someone who keeps up with what I’d like to, but just don’t have the damn bandwidth to handle right now.
© 2009, Rex Hammock
|
|
|
|
|
No matter how advanced technology becomes, there will always be work to do. It might be different from past jobs, but the work will exist.
I'd advise the historically ignorant Gen Z employee to just learn new skills if AI technology makes her old skills obsolete (which won't necessarily happen in the 3 years she predicts because the most technology forecasts are wrong).
|
|
|
|
|
Lunar Lake returns to a more conventional-looking design for Intel. To take a lake of troubles up against ARMs, and by opposing, end them
|
|
|
|
|
Hamlet would be proud!
The difficult we do right away...
...the impossible takes slightly longer.
|
|
|
|
|
The US Cybersecurity and Infrastructure Agency's (CISA) Secure Software Development Attestation Form rules come into force on June 11, 2024. 80% of organizations haven't heard there are CISA rules on security
|
|
|
|
|
80% of organizations doesn't even know what is security.
M.D.V. 
If something has a solution... Why do we have to worry about?. If it has no solution... For what reason do we have to worry about?
Help me to understand what I'm saying, and I'll explain it better to you
Rating helpful answers is nice, but saying thanks can be even nicer.
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
