Firefox to adopt Chrome's new approach to extensions – sans the part that threatens ad blockers
(2021/05/28)
Mozilla says Google's content-filter API doesn't meet developer needs, others agree
Security is an architectural issue: Why the principles of zero trust and least privilege matter so much right now
(2021/05/28)
We need to solve underlying problems, not increase complexity with point fixes
What happens when a security hole is fixed in WebKit's source but not released as a patch by Apple? Let's find out
(2021/05/27)
Three weeks and counting for Cupertino to update Safari's engine
Fortunate Son: Softbank chief took 50 per cent pay cut in 2020, but that's not the worst of his worries
(2021/05/27)
He remains fabulously wealthy, for now
Are you lifting and shifting to cloud? Just don’t drop your data on the way
(2021/05/27)
Wonder no more if there’s an easier way
Docker introduces developer environments in containers
(2021/05/27)
But you can pull down your dev environment from Docker. Is it solving a problem that doesn't exist, though?
America to get world's 'most powerful' AI supercomputer to create the most detailed 3D map of the universe yet
(2021/05/27)
Perlmutter will help scientists study dark energy and more
Tesla agrees to follow Beijing's rules and build a data centre in China
(2021/05/27)
Competition for EV makers heats up in Middle Kingdom, where Tesla is the foreigner
Boeing fined $17m after fitting uncertified sensors to 737 Max and NG airliners for 4 years
(2021/05/27)
Heads up guidance system since certified but plane maker still violated US airworthiness regs
Mobile network sleuths rank UK carriers in 5G performance study, including new 'Everyday 5G' category
(2021/05/27)
Close to half a billion pounds spent on 5G spectrum worth it for EE?
Back to the office: Workday hiring 20% more Workdayers in anticipation of postponed projects opening up
(2021/05/27)
The desk and chain awaits those extra 2,500 people... the lucky blighters
The Audacity: Audio tool finds new and exciting ways to annoy contributors with a Contributor License Agreement
(2021/05/27)
Is that a tuning Fork we hear?
Microsoft releases command-line package manager for Windows (there are snags)
(2021/05/27)
Nice try, but package management will never work as well on Windows as it does on Linux
Fujitsu pulls ProjectWEB tool offline after apparent supply chain attack sees Japanese infosec agency data stolen
(2021/05/27)
No sign of ransomware - or attacker's identity, so far
Ubuntu, Wikimedia jump ship to the Libera Chat IRC network after Freenode channel confiscations
(2021/05/27)
Transition interrupted by 'hostile takeover' - plus Fedora's moving too
Facial recog firm Clearview hit with complaints in France, Austria, Italy, Greece and the UK
(2021/05/27)
Privacy groups claim images are stored 'indefinitely', even after deletion, in GDPR breach
Microsoft previews Hot Reload for .NET developers, sets date for .NET 6
(2021/05/27)
Faster Entity Framework, complete C++ 20 support in Visual Studio, but complications remain
Majority of Nutanix users now employ its homebrew hypervisor
(2021/05/27)
Hyperconverged upstart says subscription transition remains on track and emerging products booming
Dominic Cummings: Health secretary's 'stupid' targets delayed building UK test and trace system to combat COVID
(2021/05/27)
Former UK.gov spin doctor talks of mess in response to crisis
USB-C levels up and powers up to deliver 240W in upgraded power delivery spec
(2021/05/27)
One charger to rule them all … eventually, maybe
HOW TO PROVE IT, PART 5
proof by accumulated evidence:
Long and diligent search has not revealed a counterexample.
proof by cosmology:
The negation of the proposition is unimaginable or
meaningless. Popular for proofs of the existence of God.
proof by mutual reference:
In reference A, Theorem 5 is said to follow from Theorem 3 in
reference B, which is shown to follow from Corollary 6.2 in
reference C, which is an easy consequence of Theorem 5 in
reference A.
proof by metaproof:
A method is given to construct the desired proof. The
correctness of the method is proved by any of these
techniques.