Tootfinder

Whistleblower Lukasz Krupski hat seinen Gerichtsprozess gegen #Tesla gewonnen. Tesla muss Schadensersatz zahlen. Krupski hatte Sicherheitsmängel aufgedeckt.
https://www.blueprint…

Lukasz Krupski wins retaliation case against Tesla — Blueprint for Free Speech
2023 Blueprint Europe Whistleblowing Prize winner Krupski says the ruling is “a victory for transparency and justice” as investigations into Tesla’s safety record continue

I like the stories behind beautiful design...
#design

Santa Cruz Logo: How Design Shaped Skateboarding History - Indieground Design
Santa Cruz's amazing logo and graphic design choices are the key ingredients to their huge success, propelling a small brand to worldwide fame!

400 lucas es cuiquísimo, amigo. Yo pagaba como 4 lucas mensualescon suerte y en mi pueblo eso considerado un colegio cuico. Lo que pasa es que los que pagan en UF son una burbuja de cuiquismo incomparable.
Re: https://x.com/Don_panadero_UE/status/1961528546746065278

Who wins and loses in Republicans' 'big, beautiful bill' (Shannon Pettypiece/NBC News)
https://www.nbcnews.com/politics/congress/republican-big-beautiful-bill-win-loses-rcna215910
http://www.memeorandum.com/250630/p103#a250630p103

The Death of the Dallas Cowboys: How Jerry Jones Ruined a Golden Legacy https://insidethestar.com/the-death-of-the-dallas-cowboys-how-jerry-jones-ruined-a-golden-legacy

Sources: Apple loses a fourth AI researcher in a month to Meta's superintelligence team; the AFM team is in flux and Apple has marginally increased their pay (Mark Gurman/Bloomberg)
https://www.bloomberg.com/news/articles/20

On the role of connectivity in Linear Logic proofs
Raffaele Di Donna, Lorenzo Tortora de Falco
https://arxiv.org/abs/2506.21678 https://

On the role of connectivity in Linear Logic proofs
We investigate a property that extends the Danos-Regnier correctness criterion for linear logic proof-structures. The property applies to the correctness graphs of a proof-structure: it states that any such graph is acyclic and that the number of its connected components is exactly one more than the number of nodes bottom or weakening. This is known to be necessary but not sufficient in multiplicative exponential linear logic (MELL) to recover a sequent calculus proof from a proof-structure. We…

Russian losses amount to nearly 220,000 killed as of August, media reports: https://benborges.xyz/2025/08/29/russian-losses-amount-to-nearly.html

"This pocket recission thing is easy. Sure they can sit on the funds until they expire and then they’re gone. I think that’s right. However, failing to spend appropriated funds is a failure to ensure that the laws are faithfully executed, and is impeachable.
So impeach the shithead."
-- Phlebas the Phoenician

Cross-Border Legal Adaptation of Autonomous Vehicle Design based on Logic and Non-monotonic Reasoning
Zhe Yu, Yiwei Lu, Burkhard Schafer, Zhe Lin
https://arxiv.org/abs/2507.22432

Cross-Border Legal Adaptation of Autonomous Vehicle Design based on Logic and Non-monotonic Reasoning
This paper focuses on the legal compliance challenges of autonomous vehicles in a transnational context. We choose the perspective of designers and try to provide supporting legal reasoning in the design process. Based on argumentation theory, we introduce a logic to represent the basic properties of argument-based practical (normative) reasoning, combined with partial order sets of natural numbers to express priority. Finally, through case analysis of legal texts, we show how the reasoning sys…