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.

Health authorities in France reported the first-ever recorded human infection and death associated with the Shamonda virus.
The patient passed away in a hospice in Lyon and was reportedly already suffering from a serious underlying illness.

France's agricultural and health departments have stated that they do not see a health risk to the general population at this stage, as the virus is not considered highly transmissible to or between humans.

Perplexity Computer: Lokale Nutzung mit Qwen 3.6 auf dem Mac
Die Rechnersteuerung von Perplexity kommt nun ohne Internet aus. Allerdings benötigt der Apple-Silicon-Mac dafür ausreichend RAM.
https://www.<…

Perplexity Computer: Lokale Nutzung mit Qwen 3.6 auf dem Mac
Die Rechnersteuerung von Perplexity kommt nun ohne Internet aus. Allerdings benötigt der Apple-Silicon-Mac dafür ausreichend RAM.

Die #Kernfusionskollektoranlage hat heute 0,305 kWh Energie eingefangen.
Gesamtleistung: 480 Wp
Ausrichtung: West
Anstellwinkel: 58 Grad
Diese #Balkonsolaranlage wurde durch das Berliner SolarPLUS-Programm gefördert.
Einspeiseverlust: 6.39 %

I found the NESO winter outlook report for generation, and also stumbled across a couple of their others;
The winter outlook one is top left of https://www.neso.energy/publications/winter-watch (We're probably fine this year, but there will be a few tight bits in December an…

Winter Watch | National Energy System Operator
NESO has published its Winter Outlook for 2026/27, setting out its latest view of how Britain’s electricity system is expected to operate over the coming winter.

⚡ Runs in parallel across all CPU cores while returning results in input order, so --check output stays identical on every run
🔌 Built-in Language Server (laravel-fmt lsp) for format on save and format selection, plus --stdin-filepath for editors that only pipe a buffer

Source: Shein has agreed to pay $100M, equivalent to 44% of its Q2 profit, to settle a US FTC investigation over delivery delays and other customer complaints (Reuters)
https://www.reuters.com/business/retail-co…

We’ve got new stuff up in our Samuel H. Kress Gallery!
Read the full article at
https://georgiamuseum.org/kress-gallery-explores-shifting-depictions-of-religious-figures-in-renaissance-and-baroque-paintings…

🎭 Pro Voice reproduces a speaker's character, emotional range and speaking style across languages from 30 minutes of audio, aimed at brand voices and professional use cases.
🤖 The voice agent SDK is built on #LiveKit. Stages stream in parallel, so each turn completes in under one second, and the agent stops talking when interrupted. It supports function calling, web search, retrieva…

🎯 Faster decoding with DSpark draft tokens and confidence-scheduled verification (default max draft length: 5). SWA bounded replay cuts decoder prefill work by replaying only a bounded suffix
🔒 Batch-invariant inference keeps results identical across batch compositions, deterministic sampling returns identical outputs for identical inputs and seeds (both NVIDIA only). Structured outputs constrain generation to regex, JSON schema or EBNF grammar