|
Scientists at the University of Basel have developed a nanoelectronics chip that they can successfully cool to a record-setting, bitterly cold 2.8 millikelvin. Overclocking time!
|
|
|
|
|
In this post, I’ll discuss why I think formal verification has a long way to go — and why it just doesn’t work right now. Prove it!
|
|
|
|
|
In other words, your software is only as good as the tests and the program/user running the tests.
A. People are bad at defining specifications.
B. Coders are bad at implementing specifications.
C. Testers are bad at testing specifications.
Therefore there will always be bugs.
At least until AI's start writing software, and then who's the bug?
|
|
|
|
|
I have nothing to add, except thanks for responding. I was starting to worry I was the only one in this week.
TTFN - Kent
|
|
|
|
|
Kent Sharkey wrote: except thanks for responding.
I'm attempting to take full advantage of the silence, mwahaha.
|
|
|
|
|
Maybe people is thinking: "If what you have to say it is not better than silence... STFU"
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.
|
|
|
|
|
I have this nagging feeling that the computers I use today feel slower than the computers I used as a kid. "The hurrier I go, the behinder I get."
|
|
|
|
|
I question his findings. I remember being able to type faster than the Apple 2 could process the key strokes. It was one of the reasons I disliked the Apple ][.
|
|
|
|
|
That one was weird - I remember my 2e clone was generally fast enough, but a friend's Genuine GM parts one was easy to out-type. Maybe switch issues with some of them?
I do remember out-typing my XT way too much though, and I'm not that fast a typist (except on the backspace key)
TTFN - Kent
|
|
|
|
|
Also worth noting that he didn't differentiate OS's or software that read OnKeyUp vs OnKeyDown. That alone would cover the difference, especially if he's like me and still types hard from learning on a typewriter.
"There are three kinds of lies: lies, damned lies and statistics."
- Benjamin Disraeli
|
|
|
|
|
In an effort to block emerging threats to online security, researchers at Princeton University have developed a method to verify the strength of random number generators that form the basis of most encryption systems. 3d6 ought to be enough for everyone
|
|
|
|
|
In an effort to block emerging threats to online security
Stating the obvious (which has undoubtedly been stated previously as well) online security is only as strong as the weakest link in the chain. Given that people are that weak link and are never going to "randomize" their passwords, who the heck cares how strong the rest of the system is, unless your Finch in Person of Interest, then you have no problem decrypting 1024 quantum-bit encoded data.
|
|
|
|
|
My parents considered my birth proof of randomness: I know this because I often heard them asking each other: "where did he come from?"
«While I complain of being able to see only a shadow of the past, I may be insensitive to reality as it is now, since I'm not at a stage of development where I'm capable of seeing it.» Claude Levi-Strauss (Tristes Tropiques, 1955)
|
|
|
|
|
The grant funds a team of UM computer scientists and engineers who are developing Morpheus, a new approach to hardware design capable of creating an unhackable computer. The only unhackable computer is one that can't be turned on
|
|
|
|
|
MORPHEUS hardware design concepts center around constant data movement. Information is moved and destroyed randomly and rapidly.
Maybe they should just study the fairer sex.
|
|
|
|
|
Bit by bit, the PC world is continuing to drop its legacy support. "We will never make a 32-bit operating system, but I'll always love IBM."
|
|
|
|
|
Back in July, Microsoft published its biannual list of features that will be deprecated or removed in the next feature update to Windows 10. On the deprecated list was Paint, the beloved app that has been a staple of Windows since the beginning. Did they misplace the source code to this as well?
|
|
|
|
|
Paint should just be implemented in the CPU. We'll still be using it 100 years from now, copy/paste/cropping cute looking rocks on Mars.
|
|
|
|
|
Here are three lessons we can all learn from Microsoft during the 1980’s. "To crush your enemies, to see them driven before you, and to hear the lamentations of their women!"
|
|
|
|
|
The class action suits allege people are being forced to upgrade phones early. I'm surprised it took as long as it did to get these going
|
|
|
|
|
The last few years have been difficult for the jQuery UI and jQuery Mobile projects. The projects have suffered from lack of resources and funding and loss of contributors due to a variety of factors. "Nobody goes there anymore. It’s too crowded."
|
|
|
|
|
They need to update their website. Doing a View Source:
<!--[if lt IE 7]>
<p class="chromeframe">You are using an outdated browser. <a href="http://browsehappy.com/">Upgrade your browser today</a> or <a href="http://www.google.com/chromeframe/?redirect=true">install Google Chrome Frame</a> to better experience this site.</p>
<![endif]-->
Chrome Frame? I had to look that one up.
If you have Chrome Frame installed, please uninstall it. It is no longer supported or updated.
There's a point to all this, but it eludes me.
[edit]Oh yeah, I was wondering if the website actually used jquery-ui itself. Appears so, at least there's a CSS class reference to it.[/edit]
|
|
|
|
|
Haven sends notifications to your personal, main phone in the event that your laptop has been tampered with Little brother is watching
And optionally sends all data to an embassy in Russia?
|
|
|
|
|
One feature of Amazon Music allows users to upload their own MP3 files from other sources, but that service is shutting down over the next year or so. According to a help page on Amazon's website, the company will end its Amazon Music Storage subscription service in January 2019. An official date hasn't been released, but once the storage service ends, users won't be able to play or download MP3s they previously uploaded.
This feature (combined with such mp3s not counting against my general purpose storage quota) was the main reason I signed up for Amazon's cloud backup service years ago.
With it going away they'll be losing my custom.
The only question is if Google or Microsoft's current offerings suck less. All things equal, it'll probably be Google getting my money since they've never gone on a campaign to destroy good will like MS did when slashing one drive quotas a few years ago.
Did you ever see history portrayed as an old man with a wise brow and pulseless heart, weighing all things in the balance of reason?
Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful?
--Zachris Topelius
Training a telescope on one’s own belly button will only reveal lint. You like that? You go right on staring at it. I prefer looking at galaxies.
-- Sarah Hoyt
|
|
|
|
|
Canonical has halted downloads of Ubuntu Linux 17.10, aka Artful Aardvark, from its website after punters complained installing the open-source OS on laptops knackered the machines. That would be an 'open' oops
|
|
|
|