@raiders@darktundra.xyz2026-10-22 17:12:05
Raiders Emerge as Potential Trade Suitor for $5 Million WR https://heavy.com/sports/nfl/las-vegas-raiders/raiders-emerge-potential-trade-suitor-5-million-wr/
@anneroth@systemli.social2026-10-17 22:53:45
"Die Potenziale künstlicher Intelligenz machen wir durch eine KI-Offensive in der nächsten Legislaturperiode für die Beschäftigten nutzbar."
Sondierungspapier.
Ouch.
@poppastring@dotnet.social2026-10-08 01:47:56
OpenAI apparently put roughly 10,000 agents on the task, 88 hours of reasoning, 130 billion output tokens. Then spent another 17 hours to validate the result in Lean, a proof assistant that mechanically checks every logical step. Estimated compute cost: somewhere between $15 million and $22 million!
https://www.poppastr…
@inthehands@hachyderm.io2026-10-19 14:56:28
To be clear, re several replies:
(1) The post above is not about •my• opinion on the matter. It’s about which legal arguments make sense.
(2) It’s possible for it to be both: it’s a coherent argument to say that some things an LLM does are in fact literal enough reproduction to be copyright violation •and• to say that humans are responsible for the tool. (That is in fact my own position.) The point of the previous post is that while saying “both!” is logically tenable, saying “neither!” is not.
@inthehands@hachyderm.io2026-10-19 14:56:28
To be clear, re several replies:
(1) The post above is not about •my• opinion on the matter. It’s about which legal arguments make sense.
(2) It’s possible for it to be both: it’s a coherent argument to say that some things an LLM does are in fact literal enough reproduction to be copyright violation •and• to say that humans are responsible for the tool. (That is in fact my own position.) The point of the previous post is that while saying “both!” is logically tenable, saying “neither!” is not.