Tootfinder

Withings Scanwatch 2: Großes Update bringt KI-Funktionen und längere Laufzeit
Withings präsentiert auf der IFA 2025 ein großes Software-Update für die Hybrid-Smartwatch "ScanWatch 2", mit dem die Laufzeit um fünf Tage verlängert wird.

Der Cube-Look lebt: Harman/Kardon legt Soundsticks in Version 5 auf
Immer wieder hat Harman/Kardon die einst gut zum Power Mac G4 Cube passenden Lautsprecher aufgelegt. Nun kommt eine neue Runde für die Soundsticks.

Scientists call for permanent ban on high seas exploitation #sea

Scientists call for permanent ban on high seas exploitation
Extractive activity in international waters—including fishing, seabed mining, and oil and gas exploitation—should be banned forever, according to top scientists.

Jeg er #ActuallyAutistic, og partipolitikk er som å prŸve å fikse en evig feil i et system som aldri vil endre seg. Partiene i Norge later som de representerer meg, men mine virkelige problemer blir ignorert og knust under kapitalens og byråkratiets tyngde.
Jeg ser for meg et liv uten at alt styres av penger og profittjag. Jeg nekter å bli styrt av en sjef eller noen som tror d…

Modelling Program Spaces in Program Synthesis with Constraints
Tilman Hinnerichs, Bart Swinkels, Jaap de Jong, Reuben Gardos Reid, Tudor Magirescu, Neil Yorke-Smith, Sebastijan Dumancic
https://arxiv.org/abs/2508.00005

Modelling Program Spaces in Program Synthesis with Constraints
A core challenge in program synthesis is taming the large space of possible programs. Since program synthesis is essentially a combinatorial search, the community has sought to leverage powerful combinatorial constraint solvers. Here, constraints are used to express the program semantics, but not as a potentially potent tool to remove unwanted programs. Recent inductive logic programming approaches introduce constraints on the program's syntax to be synthesized. These syntactic constraints allo…

Very excited that our most recent paper on #ExplainableAI & #ActiveLearning has been accepted to the #SENTIS workshop at

Etwas mehr der heute besonders häufig geteilten #News:
Zur kinderfreundlichen Uhrzeit: Totale Mondfinsternis am Sonntagabend

Som autist kjenner jeg en intens fascinasjon for dette bildet. Jeg klarer ikke helt å forklare hvorfor, men hjernen min går i loop på alle detaljene. Fargene, mŸnstrene og alt sammen trigger noe i meg som gjŸr at jeg kan stirre på det i timevis uten å bli lei.
Det fŸles som om bildet har blitt min spesialinteresse akkurat nå. Hver gang jeg ser på det, oppdager jeg noe nytt og spennende som holder meg helt oppslukt. Det gir meg en slags ro og glede som er vanskelig å forklare for andre.…

I’m an anarcho-syndicalist through and through, and I’m unapologetic about it. I reject all forms of authoritarianism, including Marxism-Leninism with its centralized, hierarchical party structure. Anarcho-syndicalism demands direct, horizontal worker control through federated assemblies with binding, recallable mandates as the only true path to emancipation.
If you intend to dispute this, I suggest thoroughly engaging with the relevant political theory first, because Marxism-Leninism,…

Wishing you all a wonderful #Thursday evening!
Here is a list of my current website picks on anarchism, syndicalism, and anarcho-syndicalism:
https://nsf-iaa.org