|
(lisp) is missing - where are the die-hards?
|
|
|
|
|
HyperVerse's collapse caused an estimated $1.3 billion in customer losses. A shifty crypto company? Whaaa?
|
|
|
|
|
|
Kind of remind me The Associate (1996) - IMDb[^]
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 data gathering system AutoRT applies safety guardrails inspired by Isaac Asimov’s Three Laws of Robotics. Three Laws ought to be enough for everyone
|
|
|
|
|
A team of computer scientists led by the University of Massachusetts Amherst recently announced a new method for automatically generating whole proofs that can be used to prevent software bugs and verify that the underlying code is correct. Just like that coworker that replies to all code reviews with, "looks fine"
"This new method, called Baldur, leverages the artificial intelligence power of large language models (LLMs), and when combined with the state-of-the-art tool Thor, yields unprecedented efficacy of nearly 66%." Nearly 66%!!!!! Time to update the rocket source code!
|
|
|
|
|
The only Baldur I know has a gate.
Thor and Rocket... but where is Groot?
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.
|
|
|
|
|
Quote: Though there is still a large degree of error, Baldur is by far the most effective and efficient
Fail fast?
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.
|
|
|
|
|
Intel, intent on making bigger moves in the market for AI-powered enterprise software, is spinning out a new platform company with the backing of Boca Raton, Florida–based asset manager and investor DigitalBridge. They couldn't do it within the company?
|
|
|
|
|
I can't choose between:
Another one bites the dust
and
The show must go on
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.
|
|
|
|
|
European Commission hopes large platforms will accept a "cookies pledge" We're going to get all-new banners aren't we? 
|
|
|
|
|
Quote: admits cookie banners are annoying
Hey... that's new. Politicians saying they made an error?
Are we already getting invaded by the replicants?
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.
|
|
|
|
|
ITPro Today's latest salary survey reveals some surprising results about how IT pros see their jobs today and what they have, or don't have, to do their work. Breaking news you already knows
|
|
|
|
|
Quote: IT pros don't have enough hours in the week to fill all the bureacracy and get the job managers want to be done
FTFH
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.
|
|
|
|
|
Personally, it depends on your job. For example, if you are working at a retail store or fast food restaurant, it is basically required for all employees to be available on the weekends to work. It is reasonable since weekend days are the busiest days and when these places need more staff on the clock.
modified 6-Jan-24 7:20am.
|
|
|
|
|
Thousands of researchers were asked to give predictions about AI, and many had concerns about human extinction. "That's the way that lady luck dances. Roll the bones"
|
|
|
|
|
The other 95% is "humans will cause human extinction"
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.
|
|
|
|
|
Truer words have not been spoken.  and 
TTFN - Kent
|
|
|
|
|
Are we nothing?
- Volcanoes and Meteors
|
|
|
|
|
"So you're saying there's a chance!" - Lloyd Christmas
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.
|
|
|
|
|
Well, we already know of one planet where all life is artificial - Mars.
|
|
|
|
|
Ssshhh! It will have life (briefly) just as soon as we can get Elon there...
|
|
|
|
|
David O'Neil wrote: Ssshhh! It will have life (briefly) just as soon as we can get Elon there...
Can we please send him with some company? I know some politicians / dictators / lawyers... that could do the job
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.
|
|
|
|
|
That's a thumbsup from me for the Rush reference. Nicely played you absolute love God.
|
|
|
|
|
How I built a graphical bootable "game" for the Raspberry Pi (or any other modern computer) in C#. I don't know if I want bare metal in my raspberry pie
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
