Tootfinder

Also, may I just say, fuck Sergey Brin.
(How’s that for offensive, Sergey? You fucking genocide apologist piece of shit.) https://kolektiva.social/@oatmeal/114827622817744764

What do you do with a news organization like ABC that is frightened to the point of being cowardly of the very institutions it's supposed to report on?
✅ ABC News Parts Ways With Terry Moran After Trump Social Media Post
https://deadline.com/2025/06/terry-mor

ABC News Parts Ways With Terry Moran Over His Social Media Post About Trump And Aide Stephen Miller
ABC News says that it has chosen not to renew the contract of Terry Moran after he posted, then deleted, an attack on Donald Trump and his top aide Stephen Miller. ABC News suspended Moran on Sunday. “We are at the end of our agreement with Terry Moran and based on his recent post – […]

Bengals' first-round pick Shemar Stewart fires pointed barb at team over contract dispute https://www.espn.com/nfl/story/_/id/45487138/nfl-bengals-shemar-stewart-first-round-pick-contract-holdout

Raiders LT Kolton Miller back in action at minicamp, but still without contract extension https://www.nytimes.com/athletic/6417220/2025/06/10/raiders-minicamp-kolton-miller-contract-jakorian-bennett/

Jake Ferguson on new-look Cowboys offense, having bounce back year https://www.dallascowboys.com/news/jake-ferguson-on-new-look-cowboys-offense-having-bounce-back-year

AI Agent Smart Contract Exploit Generation
Arthur Gervais, Liyi Zhou
https://arxiv.org/abs/2507.05558 https://arxiv.org/pdf/2507.0555…

AI Agent Smart Contract Exploit Generation
We present A1, an agentic execution driven system that transforms any LLM into an end-to-end exploit generator. A1 has no hand-crafted heuristics and provides the agent with six domain-specific tools that enable autonomous vulnerability discovery. The agent can flexibly leverage these tools to understand smart contract behavior, generate exploit strategies, test them on blockchain states, and refine approaches based on execution feedback. All outputs are concretely validated to eliminate false …

ABC News says it has "made the decision to not renew" Terry Moran's contract after suspending him for calling Stephen Miller a "world-class hater" (Brian Stelter/@brianstelter)
https://x.com/brianstelter/status/1932543451179925550

Brian Stelter (@brianstelter) on X
BREAKING: Terry Moran is out at ABC News. "We are at the end of our agreement with Terry Moran and based on his recent post – which was a clear violation of ABC News policies – we have made the decision to not renew," an ABC spokesperson says.

From @… for @… :
https://www.

Airlines Don't Want You to Know They Sold Your Flight Data to DHS
A contract obtained by 404 Media shows that an airline-owned data broker forbids the feds from revealing it sold them detailed passenger data.

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
Josefine B. Graebener, Inigo Incer, Richard M. Murray
https://arxiv.org/abs/2507.05438

A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
Identifying the cause of a system-level failure in a cyber-physical system (CPS) can be like tracing a needle in a haystack. This paper approaches the problem by assuming that the CPS has been designed compositionally and that each component in the system is associated with an assume-guarantee contract. We exploit recent advances in contract-based design that show how to compute the contract for the entire system using the component-level contracts. When presented with a system-level failure, o…

It's almost like the only way to prevent your entire life from being used against you is for someone to pass a law...
https://www.404media.co/airlines-dont-want-you-to-know-they-sold-your-flight-data-to-dhs/

Airlines Don't Want You to Know They Sold Your Flight Data to DHS
A contract obtained by 404 Media shows that an airline-owned data broker forbids the feds from revealing it sold them detailed passenger data.

Airlines Don't Want You to Know They Sold Your Flight Data to DHS https://www.404media.co/airlines-dont-want-you-to-know-they-sold-your-flight-data-to-dhs/

On the new BC Ferries being built in China.
Do we all remember the last time the BC NDP went down the road of “building a shipbuilding industry to build ferries”?
It has its own Wiki, of course.
"In addition to major delays and cost overruns, the ferries never fully met their original specifications, and only operated briefly in a reduced capacity, before being auctioned off at a substantial loss by the subsequently elected BC Liberal Party government.”
No, I'm not thrilled that China, an authoritarian state, is going to be building these ferries. But no BC or Canadian firms bid on the contract. And right now, the expertise in ship building is in China and Europe (the Island and Salish class vessels were built in Europe).
I don't blame the NDP for not repeating the same mistake 30 years later.
And the ferries will still be refit and maintained for their full service life within BC.
#BCPoli #BCNDP #FastFerry #Shipbuilding.
https://en.wikipedia.org/wiki/Fast_ferry_scandal

Anthropic CEO Dario Amodei saying the quiet part out loud in a CNN interview about impending job losses due to AI:
"There's an inherent social contract in democracy where ultimately the ordinary person has a certain amount of leverage because they're contributing to the economy.
"If that leverage goes away, then it's harder to make democracies work, and it's harder to prevent concentration of power."

Micah Parsons 'hopeful' to have deal with Cowboys done by training camp https://www.dallascowboys.com/news/micah-parsons-hopeful-to-have-deal-with-cowboys-done-by-training-camp

Raiders’ No. 1 WR ready for an encore heading into contract year https://www.reviewjournal.com/sports/raiders/raiders-no-1-wr-ready-for-an-encore-heading-into-contract-year-3380379/

Browns DC Jim Schwartz expects career year from Myles Garrett after record-breaking contract

https://www.cbssports.com/nfl/news/browns-

The Feasibility of MBSs as Decentralized Autonomous Organizations
Timothy Dombrowski, V. Carlos Slawson Jr
https://arxiv.org/abs/2507.05439 https://…

The Feasibility of MBSs as Decentralized Autonomous Organizations
Can the general structure of a mortgage-backed security (MBS) contract be programmatically represented through the use of decentralized autonomous organizations (DAOs)? Such an approach could allow for the portfolio of loans to be managed by investors in a trustless and transparent way. The focus and scope of this paper is to explore the potential for applying the tools of modern fintech, such as asset tokenization, smart contracts, and DAOs, to reconstruct traditional structured products that …

Combating Reentrancy Bugs on Sharded Blockchains
Roman Kashitsyn, Robin K\"unzler, Ognjen Mari\'c, Lara Schmid
https://arxiv.org/abs/2506.05932 ht…

Combating Reentrancy Bugs on Sharded Blockchains
Reentrancy is a well-known source of smart contract bugs on Ethereum, leading e.g. to double-spending vulnerabilities in DeFi applications. But less is known about this problem in other blockchains, which can have significantly different execution models. Sharded blockchains in particular generally use an asynchronous messaging model that differs substantially from the synchronous and transactional model of Ethereum. We study the features of this model and its effect on reentrancy bugs on three…

Micah Parsons 'hopeful' to have deal with Cowboys done by training camp https://www.dallascowboys.com/news/micah-parsons-hopeful-to-have-deal-with-cowboys-done-by-training-camp

“CVE naming and assignment to software packages and versions are the foundation upon which the software vulnerability ecosystem is based. Without it, we can’t track newly discovered vulnerabilities. We can’t score their severity or predict their exploitation. And we certainly wouldn’t be able to make the best decisions regarding patching them.”

CVE program averts swift end after CISA executes 11-month contract extension
After DHS did not renew its funding contract for reasons unspecified, MITRE’s 25-year-old Common Vulnerabilities and Exposures (CVE) program was slated for an abrupt shutdown on April 16, which would have left security flaw tracking in limbo. CISA stepped in to provide a bridge.

Source: Packers plan to release CB Alexander https://www.espn.com/nfl/story/_/id/45478431/packers-plan-release-cb-jaire-alexander-source-says

Replaced article(s) found for cs.CL. https://arxiv.org/list/cs.CL/new
[2/4]:
- ACORD: An Expert-Annotated Retrieval Dataset for Legal Contract Drafting
Wang, Zubkov, Fan, Harrell, Sun, Chen, Plesner, Wattenhofer

Ultra-Efficient Contracts: Breaking the Substitutes Barrier in Combinatorial Contracts
Michal Feldman, Liat Yashin
https://arxiv.org/abs/2506.18008 https:/…

Ultra-Efficient Contracts: Breaking the Substitutes Barrier in Combinatorial Contracts
We study the optimal contract problem in the framework of combinatorial contracts, introduced by Duetting et al. [FOCS'21], where a principal delegates the execution of a project to an agent, and the agent can choose any subset from a given set of costly actions. At the core of the model is a reward function - a monotone set function that maps each set of actions taken by the agent into an expected reward to the principal. To incentivize the agent, the principal offers a contract specifying the…

Vox Media Union says it has reached a tentative three-year agreement with Vox Media, averting a strike (Todd Spangler/Variety)
https://variety.com/2025/digital/news/vox-media-union-agreement-contract-1236430370/

Vox Media Union Reaches Agreement on Three-Year Contract
Vox Media Union, affiliated with WGA East, announced a tentative agreement with the digital media company after an overnight bargaining session.

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Jiachi Chen, Yiming Shen, Jiashuo Zhang, Zihao Li, John Grundy, Zhenzhe Shao, Yanlin Wang, Jiashui Wang, Ting Chen, Zibin Zheng
https://arxiv.org/abs/2506.18795

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
High-quality smart contract vulnerability datasets are critical for evaluating security tools and advancing smart contract security research. Two major limitations of current manual dataset construction are (1) labor-intensive and error-prone annotation processes limiting the scale, quality, and evolution of the dataset, and (2) absence of standardized classification rules results in inconsistent vulnerability categories and labeling results across different datasets. To address these limitatio…

This https://arxiv.org/abs/2404.00306 has been replaced.
link: https://scholar.google.com/scholar?q=a

A blockchain-based intelligent recommender system framework for enhancing supply chain resilience
This research proposed a data-driven supply chain disruption response baseline framework based on intelligent recommender system technology as an initial SCRes reactive solution. To improve the data quality and reliability of the proposed IRS as a stable, secure, and resilient decision support system, blockchain technology is integrated into the baseline architecture. The smart contract is prototyped to demonstrate the information exchange mechanism under a BLC network environment. The BLC-IRS …

It seems like, again, just following the plain logic of the Constitution and Declaration of Independence (which, again, I do not subscribe to), that every law passed under Trump, every supreme court justice appointment by Trump, every supreme court ruling by Trump appointed justices, all the illegal firing, etc, must all, necessarily, be null and void.
And if not following from the insurrection act, or from the oath of office, then following from the Declaration of Independence itself. The logic here being that a constitution is a contract between the people and their government, which the later upholds in order to maintain its legal status. The violation of said laws by the government violates "consent of the governed" (which, again, I have issues with the concept entirely but we're just going to ignore that) and therefore nullifies the authority of that government, granting " the right of the people to alter or to abolish it."
That seems a lot like the hard reset some folks have been looking for. Given that existing flaws allowed this state to be reached, it would also be necessary for the true authority to correct those mistakes before assuming authority that derives from these principles.
Now, personally, I don't subscribe to any of this logic but it's interesting to explore, as an outsider, where the logic goes.

Disastrous Raiders $27.5 million per year deal named Las Vegas' worst contract https://www.sportingnews.com/us/nfl/las-vegas-raiders/news/disastrous-raiders-27-5-million-year-las-vegas-…

An Australian court finds ABC unlawfully terminated journalist Antoinette Lattouf in December 2023 for her social media posts opposing Israel's campaign in Gaza (The Guardian)
https://www.theguardian.com/media/2025/jun

https://youtube.com/watch?v=p0K7u3B_8rY
Deep space software update …
… reminds me of the time I was an undergraduate on my first contract job and got MySQL working in Perl via just FTP and no terminal access …
… like sticking your arm into a drink machine, shoulder …

After signing big deal with Seahawks, Sam Darnold knows he needs to prove himself again https://www.nytimes.com/athletic/6432900/2025/06/19/sam-darnold-seahawks-contract-nfl-vikings/

Cowboys Headlines: Micah Parsons sticking point revealed, new trade destination for TE? https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/07/01/news-headlines-june-30-2025-micah-par…

Academic Research Output Derivatives: Structuring Futures and Options on Research Output Index
Amarendra Sharma
https://arxiv.org/abs/2505.20492 https://…

Academic Research Output Derivatives: Structuring Futures and Options on Research Output Index
This paper explores an innovative financial concept--Academic Research Output Futures (AROFs)--which aim to bring the tools of market-based finance into the realm of academic research. At the heart of this idea lies a cash-settled futures contract tethered to a composite Research Output Index (ROI), a metric designed to quantify the research productivity of universities and research institutions. By allowing investors to take positions--speculative or hedging--on the projected trajectory of aca…

Raiders' Kolton Miller Contract Update https://www.si.com/nfl/raiders/pete-carroll-kolton-miller-las-vegas-john-spytek-tom-brady

As ‘Wild’ $4.2 Million Cowboys QB Waits, Dak Prescott Warned to ‘Measure Up’ https://heavy.com/sports/nfl/dallas-cowboys/dak-prescott-warned-joe-milton-iii/?adt_ei=[email]

Cowboys, Panthers named top trade suitors for Jaguars’ surplus at running back https://www.sportingnews.com/us/nfl/jacksonville-jaguars/news/cowboys-panthers-named-top-trade-suit…