Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@Techmeme@techhub.social
2026-10-23 09:16:03

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)
anthropic.com/research/formal-

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.

@cdarwin@c.im
2026-10-23 00:51:14

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.

@macandi@social.heise.de
2026-10-22 10:20:03

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.
<…

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.

@tinoeberl@mastodon.online
2026-10-22 21:00:10

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 %

Die Grafik zeigt ab 01.01.2026 die tägliche Stromerzeugung als Balkendiagramm.
@penguin42@mastodon.org.uk
2026-10-23 13:19:09

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 neso.energy/publications/winte (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.

@michabbb@social.vivaldi.net
2026-10-23 08:11:16

⚡ 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

@georgiamuseum@glammr.us
2026-10-21 15:17:01

We’ve got new stuff up in our Samuel H. Kress Gallery!
Read the full article at
georgiamuseum.org/kress-galler

Trophime Bigot’s “Angel Watching Over the Dead Christ" is a very dark scene lit by a candle's flame. An angel on the left side points down at Jesus, who is dead. There are small drops of blood across his forehead from his crown of thorns, and his arms are folded across his torso, where he has another injury.
@jonippolito@digipres.club
2026-09-22 13:49:03

Any reliance on Palantir is an overreliance on Palantir.
"Pentagon Investigators Say Overreliance on Palantir AI Tech Contributed to U.S. Strike That Killed 123 Iranian Children"
gizmodo.com/pentag…

This quote: Some users expected Maven to flag stale records or contradictions in the intelligence assembled for potential targets, though it is not clear why they thought the system would do that. The Minab [elementary school] site...came out as a recommended day-one target. Target-list work that once took hours was condensed into minutes....Staffing on civilian harm mitigation teams across the U.S. Department of Defense had also fallen by roughly 90% over recent years....The U.S. Central Comm…
@Techmeme@techhub.social
2026-10-23 14:20:56

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)
reuters.com/business/retail-co

@michabbb@social.vivaldi.net
2026-10-22 21:47:11

🎭 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…