Tootfinder

Modular Multiparty Sessions with Mixed Choice
Franco Barbanera (DMI - University of Catania), Mariangiola Dezani-Ciancaglini (DI- University of Torino)
https://arxiv.org/abs/2508.13616

Modular Multiparty Sessions with Mixed Choice
MultiParty Session Types (MPST) provide a useful framework for safe concurrent systems. Mixed choice (enabling a participant to play at the same time the roles of sender and receiver) increases the expressive power of MPST as well as the difficulty in controlling safety of communications. Such a control is more viable when modular systems are considered and the power of mixed choice fully exploited only inside loosely coupled modules. We carry over such idea in a type assignment approach to mul…

An interview with Binance co-founder Yi He on growing up poor in China, the tests she faced during Binance's year of crisis when CZ was imprisoned, and more (Jeff John Roberts/Fortune)
https://fortune.com/crypto/2025/08/13/binance-yi-he/

How Binance’s Yi He became ‘the most powerful woman in crypto’—and steered the company past its biggest ordeal
In 2023, Yi He had to face down an enormous business challenge at Binance—one that was very personal as well.

Ex-Cowboys WR Predicted To Be Traded To The Steelers https://heavy.com/sports/nfl/dallas-cowboys/brandin-cooks-predicted-trade-pittsburgh-steelers/?adt_ei=[email]

Good Morning #Canada
Many people, that includes you, are worried about #Skynet assuming control of all military systems, but what happens when it starts harvesting our crops? Canadian agricultural scientists are blindly charging ahead in their efforts to fill our farms with robots. It started with self-driving tractors pulling conventional equipment and evolved to fully autonomous vehicles that plow, plant, fertilizer, weed, and harvest. Organic farming is seeing the biggest benefits as robots can hand weed 2 hectares per day, eliminating herbicides.... and farm workers. Almost 15% of Canada’s dairy farms use robotic milking cubicles where cows enter when they need milking, with no cold human hands involved. IMO, using robots to replace hard back breaking labour or tedious driving of equipment up and down a farm field is a good use of technology. But I hope the tech is not priced out of the reach of small farms.
#CanadaIsAwesome #Robotics #Farming
https://news.uoguelph.ca/2024/08/these-self-driving-weed-cutting-robots-transform-the-future-of-farming-says-u-of-g-researcher/