Tootfinder

Anthropic says it partnered with Theorem to use Claude to formally prove security properties at the assembly level across 100 real-world open-source libraries (Anthropic)
https://www.anthropic.com/research/formal-verification

LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

"The Vanishing Newspaper, Academic Libraries, and Our Withering Democracy"
https://doi.org/10.5860/lrts.70n4.8862

From the archive
https://slab.org/2018/02/27/datalove/
This bit made some people surprisingly angry:
"I suppose the more radical positioning of live coding in general, more common in the early days, is now being lost. This is the idea that live coding is about experience, not end-pro…

Alongside CUDA 13.3, Nvidia is releasing CUDA Python 1.0 as a direct CUDA interface for Python: #Nvidia #CUDA #Python

In May, she went to Tennessee to watch that state kill one of her clients, despite repeated attempts to have possibly exculpatory evidence tested.
Read more 👉 #FortMcclellan

Old Memories, New Discoveries, and a Few Reasons to Worry – Bob Mueller
Fort McClellan memories, an Alabama snowstorm, lighthouse libraries, SimCity nostalgia, surveillance concerns, and more.

I donated to the Pierce County Library Foundation
https://www.supportpclf.org
Supporting the power of literacy, knowledge and community. Every contribution helps create opportunities for individuals to embrace learning, define their future and positively impact our communities. Libraries continue to be…

Pierce County Library Foundation
The Pierce County Library Foundation strengthens giving, builds relationships and advocates for the Pierce County Library System.

Before you leave for the weekend after this seriously intense cyber week, check out today's Metacurity for the most important infosec developments you should know, including
--Banks scramble to keep uncontrolled AI agents out of customer accounts,
--eMudhra quits cert business after browsers pull trust,
--PHP flaws spark alarm but little confirmed damage,
--PHP crisis blacks out SoftBank disaster alerts as Japan plans AI cyber team,
--Capcom breach exposes 11.7m customer email records,
--Quest Diagnostics breach puts patient records at risk,
--FCC blocks two devices with Huawei surveillance chips,
--Researchers find gaps in OpenAI’s agent monitoring,
--Suspected DDoS attack knocks North Korean sites offline,
--Australia sanctions North Korean IT worker network,
--Russian hackers hide behind mesh network in Ukrainian grain attack,
--Critical Linux flaws go public before patches are ready,
--Anthropic says Claude proves crash protections across 123 libraries,
--Upwind rebuffs Datadog’s $4B acquisition offer,
--Volunteer PHP maintainer hailed as patching hero,
--Anthropic hands Agent Skills standard to AI foundation,
--AI bug hunting threatens more waves of disruption
https://www.metacurity.com/banks-scramble-to-keep-uncontrolled-ai-agents-out-of-customer-accounts/