|
Automated verification finds renewed potential for making algorithms safe. BFI is always an option
|
|
|
|
|
I'm sad this article talks up SAT solvers so much and provides no worthwhile follow-up links. I'm a big proponent of TLA+[^] to verify all possible states of critical digital systems. TLA+ uses SAT/SMT[^] solvers in its model checker and I was hoping I'd learn a bit more about that technology 
|
|
|
|
|
The SMB security flaw called “SMBLoris” was discovered by security researchers at RiskSense, who explained that it can lead to DoS attacks affecting every version of the SMB protocol and all versions of Windows since Windows 2000. Just in case you didn't get the message block sooner
|
|
|
|
|
A team of Chinese scientists put the world's faster supercomputer to the test by using it to create the biggest virtual universe. Were they trying to make an apple pie?
|
|
|
|
|
Kent Sharkey wrote: Were they trying to make an apple pie?
That's too American. They were probably testing simulations of how to block VPN's from all potential extraterrestrial sources.
Unfortunately, they had to stop after they reached that point: Team leader Gao Liang said the supercomputer had other clients in line that day.
And what, they can't save the data and continue the simulation later? Now there's a design flaw! 
Marc
Latest Article - Create a Dockerized Python Fiddle Web App
Learning to code with python is like learning to swim with those little arm floaties. It gives you undeserved confidence and will eventually drown you. - DangerBunny
Artificial intelligence is the only remedy for natural stupidity. - CDP1802
|
|
|
|
|
|
Multi-Tasking OS for Apple II Because 6502 spells love
Assuming anyone still has an Apple IIe that can start.
|
|
|
|
|
Jeremy Falcon
|
|
|
|
|
Boring! I added hooks into the Commodore PET's BASIC and extended it with preemptive multitasking co-routines (complete with parameter passing and stack swapping) back in 1982. ![Jig | [Dance]](https://codeproject.global.ssl.fastly.net/script/Forums/Images/jig.gif)
Marc
Latest Article - Create a Dockerized Python Fiddle Web App
Learning to code with python is like learning to swim with those little arm floaties. It gives you undeserved confidence and will eventually drown you. - DangerBunny
Artificial intelligence is the only remedy for natural stupidity. - CDP1802
|
|
|
|
|
 Did you also need two tape drives and a mixer for data? 
TTFN - Kent
|
|
|
|
|
Kent Sharkey wrote: Did you also need two tape drives and a mixer for data?
Nah, that was the Apple II, where you had to use a separate tape deck and constantly fuss with the volume control. The PET was much more advanced! Built-in tape drive, no fussing!
Then again, I skipped all that and had dual floppy drives. Again, Commodore was superior to Apple -- double sided drives, higher density. The only reason Apple succeeded was because they gave away their computers to schools and kids went home telling their parents "I want an Apple!"
Marc
Latest Article - Create a Dockerized Python Fiddle Web App
Learning to code with python is like learning to swim with those little arm floaties. It gives you undeserved confidence and will eventually drown you. - DangerBunny
Artificial intelligence is the only remedy for natural stupidity. - CDP1802
|
|
|
|
|
Forget ‘mobile first’ and ‘cloud first.’ Modern applications being built today need to be ‘cognitive first.’ AI all the things!
|
|
|
|
|
Aye Yai Yai!
Ooops...
AI AI AI!
|
|
|
|
|
Two German researchers say they have exposed the porn-browsing habits of a judge, a cyber-crime investigation and the drug preferences of a politician. I told you not to tell anyone I visit CodeProject!
|
|
|
|
|
For years, it was believed that Bitcoin mixing is a safe way to transfer funds anonymously from one account to another, mainly because there was no technology to track all the transactions and reveal the destination account. Big Bitcoin is watching?
Or, "You have zero privacy anyway. Get over it."
|
|
|
|
|
after realizing that Bitcoin was a "transparent non-anonymous system by design."
Seriously? They didn't know that? Hmmm.
Marc
Latest Article - Create a Dockerized Python Fiddle Web App
Learning to code with python is like learning to swim with those little arm floaties. It gives you undeserved confidence and will eventually drown you. - DangerBunny
Artificial intelligence is the only remedy for natural stupidity. - CDP1802
|
|
|
|
|
No one said that criminals were smart.
I suppose in this case it's more about service providers for criminals, but still.
"There are three kinds of lies: lies, damned lies and statistics."
- Benjamin Disraeli
|
|
|
|
|
Using a cheap robot, a team of hackers has cracked open a leading-brand combination safe, live on stage in Las Vegas. Don't let the robot into the bank
|
|
|
|
|
Luxembourg's parliament has voted in favor of passing an asteroid mining law that give companies ownership of what they extract from the celestial bodies. Remember: As goes Luxembourg, so goes the world
Or at least the asteroid.
|
|
|
|
|
A Team of Scientists Just Made Food From Electricity — and it Could be the Solution to World Hunger [^]
Quote: Finnish researchers have created a batch of single-cell protein that is nutritious enough to serve for dinner using a system powered by renewable energy. The entire process requires only electricity, water, carbon dioxide, and microbes. The synthetic food was created as part of the Food From Electricity project, which is a collaboration between Lappeenranta University of Technology (LUT) and the VTT Technical Research Centre of Finland.
After exposing the raw materials to electrolysis in a bioreactor, the process forms a powder that consists of more than 50 percent protein and 25 percent carbohydrates — the texture can also be changed by altering the microbes used in the production.
But, what if the bacteria unionize ?
«Differences between Big-Endians, who broke eggs at the larger end, and Little-Endians gave rise to six rebellions: one Emperor lost his life, another his crown. The Lilliputian religion says an egg should be broken on the convenient end, which is now interpreted by the Lilliputians as the smaller end. Big-Endians gained favor in Blefuscu.» J. Swift, 'Gulliver's Travels,' 1726CE
|
|
|
|
|
Don't bother calling me until they can make it look like, taste like, and have the texture of a good steak (or even a good hamburger).
If you have an important point to make, don't try to be subtle or clever. Use a pile driver. Hit the point once. Then come back and hit it again. Then hit it a third time - a tremendous whack.
--Winston Churchill
|
|
|
|
|
Will they put a face on it as a courtesy to we non-vegetarians?
"There are three kinds of lies: lies, damned lies and statistics."
- Benjamin Disraeli
|
|
|
|
|
BillWoodruff wrote: The entire process requires only electricity, water, carbon dioxide, and microbes
Tomorrow's problem: lack of greenhouse gases 
BillWoodruff wrote: the process forms a powder that consists of more than 50 percent protein and 25 percent carbohydrates
And the remaining 25% (or do I not want to know)? 
Now is it bad enough that you let somebody else kick your butts without you trying to do it to each other? Now if we're all talking about the same man, and I think we are... it appears he's got a rather growing collection of our bikes.
modified 31-Aug-21 21:01pm.
|
|
|
|
|
|
Arghh!! I didn't want to know! 
Now is it bad enough that you let somebody else kick your butts without you trying to do it to each other? Now if we're all talking about the same man, and I think we are... it appears he's got a rather growing collection of our bikes.
modified 31-Aug-21 21:01pm.
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
