Mastodawn

The European Commission has launched a formal investigation against online retailer Shein under the Digital Services Act. The action focuses on three main conce... https://news.osna.fm/?p=34770 | #news #algorithmic #commission #eu #formal

EU Commission Launches Formal Probe Into Shein Over Illicit Goods and Algorithmic Opacity. - Osna.FM

EU Commission launches formal proceedings against fast‑fashion retailer Shein under the Digital Services Act, aiming to enforce stricter online marketplace rules.

Osna.FM

d-drumming Recording Studio Feb 12

Die KI-Musikplattform Udio steht erneut im Zentrum von Rechtsstreitigkeiten. Eine Gruppe unabhängiger Künstler hat dem Unternehmen vorgeworfen, ihre Musik ohne Lizenz zum Training seiner KI-Modelle genutzt zu haben. Nun versucht Udio, die Klage aus formalen Gründen abzuweisen zu lassen.

Man kann nur hoffen dass die klagenden Künstler finanziell gut ausgestattet sind.

https://www.musicbusinessworldwide.com/udio-seeks-to-dismiss-indie-artists-copyright-lawsuit-over-jurisdiction/

#klage #ki #musik #platform #udio #lizenz #licence ##unabhängig #training #modell #formal #streit

Udio seeks dismissal of indie artists’ copyright lawsuit over jurisdiction

The company argues that it has no employees or operations in Illinois and shouldn’t be forced to defend itself there.

Music Business Worldwide

jnpn Jan 24

rocq to cpp

https://bloomberg.github.io/crane/

#proof #formal

Crane

A new extraction system from Rocq to modern, memory-safe, performant C++.

Hacker News Jan 17

Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

https://www.lesswrong.com/posts/rhAPh3YzhPoBNpgHg/lies-damned-lies-and-proofs-formal-methods-are-not-slopless

#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology

Lies, Damned Lies, and Proofs: Formal Methods are not Slopless — LessWrong

There's been a lot of chatter recently on HN and elsewhere about how formal verification is the obvious use-case for AI. While we broadly agree, we think much of the discourse is kinda wrong because it incorrectly presumes formal = slopless.

novaTopFlex Jan 11

Hype for the Future 72E: Why novaTopFlex Fears Judgment at Prom

Preamble Not a single person can know for sure why the novaTop Identity is conflicted at prom culture. Maybe the situation is based on appearances? Judgment? Deception? Or maybe the entire novaTop experience is an optical illusion? But in all reality, the prom experience was a very high-stakes experience with a tradition of promoting coupledom, as with most of banquet culture at large. Introduction While “prom” culture is heavily derived from European banquet cultural traditions, the […]

https://novatopflex.wordpress.com/2026/01/11/hype-for-the-future-72e-why-novatopflex-fears-judgment-at-prom/