ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

Open Source Initiative defends disallowing board candidate after timezone SNAFU

(2025/02/28)

Here's another thing AI can do: Cause conflict around whether it's compatible with the very idea of open source



Microsoft names alleged credential-snatching 'Azure Abuse Enterprise' operators

(2025/02/28)

Crew helped lowlifes generate X-rated celeb deepfakes using Redmond's OpenAI-powered cloud – claim



Feds: Army soldier suspected of AT&T heist Googled ‘can hacking be treason,’ ‘defecting to Russia’

(2025/02/27)

FYI: What NOT to search after committing a crime



FBI officially fingers North Korea for $1.5B Bybit crypto-burglary

(2025/02/27)

Federal agents, open up ... your browsers and see if you recognize any of these wallets



AWS unboxes quantum cat qubit kit called Ocelot

(2025/02/27)

Sprinting after Microsoft and co, Amazon claims it too has a QC chip that's good at all-important error correction



Framework Desktop wows iFixit – even with the soldered RAM

(2025/02/27)

Is stuck-down memory forgivable if it's for the sake of performance?



DARPA seeks ideas for 'large bio-mechanical space structures'

(2025/02/27)

How to make them, and what to use them for



Ampere bets on Arm to muscle into Intel's telco territory

(2025/02/27)

Chipmaker touts high-core, low-power Altra processors as the future of 5G and AI inferencing



No new engineer hires this year as AI coding tools boost productivity, says Salesforce

(2025/02/27)

Yet growth in its AI agent biz not enough to improve numbers



FDA clears Google watch feature to call 911 if you flatline

(2025/02/27)

It looks like you have died. Would you like help?



Trump tariffs forcing rethink of PC purchases stateside

(2025/02/27)

Some businesses sticking with Windows 10, AI boxes not reviving demand



Nope. You probably can't cash in by turning your office or farm into a datacenter

(2025/02/27)

APRICOT Bit barn developer says your real estate can't take the heat, and forget nuking it to change that



30-year-old NHS supply chain system hit by 35 major alerts in 11 months

(2025/02/27)

Updated Thousands of order lines not picked, causing delays to hospital deliveries



Tech jobs are now white-collar trades that need apprentices, not a career crawl

(2025/02/27)

APRICOT With a generation of networking engineers set to retire, is this how to give their successors a faster start?



How mega city council's failure to act on Oracle rollout crashed its financial controls

(2025/02/27)

Missing assessments, hidden caveats, and overoptimism all contributed to fateful decision, auditors find



FYI: An appeals court may kill a GNU GPL software license

(2025/02/27)

Updated Defense of FOSS licensing rests on the shoulders of a guy in Virginia



Does terrible code drive you mad? Wait until you see what it does to OpenAI's GPT-4o

(2025/02/27)

Updated Model was fine-tuned to write vulnerable software – then suggested enslaving humanity



Cash torrent pouring into Nvidia slows – despite booming Blackwell adoption

(2025/02/27)

May we all have problems like annual revenue growth dropping from 126 to 114 percent



FAA confirms it's testing Starlink, maybe for tasks Elon says Verizon is doing badly

(2025/02/27)

Plus: Musk's biz empire reportedly pulled in $6B-plus from Uncle Sam last year



Wallbleed vulnerability unearths secrets of China's Great Firewall 125 bytes at a time

(2025/02/27)

Boffins poked around inside censorship engines – here's what they found



More

HOW TO PROVE IT, PART 4

proof by personal communication:
'Eight-dimensional colored cycle stripping is NP-complete
[Karp, personal communication].'

proof by reduction to the wrong problem:
'To see that infinite-dimensional colored cycle stripping is
decidable, we reduce it to the halting problem.'

proof by reference to inaccessible literature:
The author cites a simple corollary of a theorem to be found
in a privately circulated memoir of the Slovenian
Philological Society, 1883.

proof by importance:
A large body of useful consequences all follow from the
proposition in question.