Tootfinder

github stopped offering text completions for pull requests https://github.blog/changelog/2025-08-15-deprecating-copilot-text-completion-for-pull-request-descriptions/

Deprecating Copilot text completion for pull request descriptions - GitHub Changelog
On September 12, 2025, we will retire Copilot text completion for pull request descriptions. After this date, when you start writing a description, Copilot will no longer suggest completions. This…

Source: Pylon, which uses AI to automate B2B customer service, raised $31M led by a16z and Bain Capital at a valuation in the hundreds of millions of dollars (Stephanie Palazzolo/The Information)
https://www.theinformation.com/articles/andreessen-…

Why Andreessen and Bain Backed a Self-Described ‘Zendesk Killer’
Automating customer service has been among the most popular applications of artificial intelligence models, and investors have pumped about $1 billion into six key startups developing them. Now, a seventh is throwing its hat into the ring.San Francisco-based startup Pylon has raised $31 million ...

Internet and phone outage in much of Gaza disrupts humanitarian operations and deepens isolation | Courthouse News Service
https://www.courthousenews.com/internet-and-phone-outage-in-much-of-gaza-disrupts-humanitarian-operations-and-deepens-isolation/

Cowboys linked to top free agent described as 'terrific target' for defense https://www.si.com/nfl/cowboys/news/dallas-cowboys-linked-top-free-agent-described-terrific-target-for-defense

On a Second-Order Version of Russellian Theory of Definite Descriptions
Yaroslav Petrukhin
https://arxiv.org/abs/2508.13928 https://arxiv.org/pdf/2508.1392…

On a Second-Order Version of Russellian Theory of Definite Descriptions
Definite descriptions are first-order expressions that denote unique objects. In this paper, we propose a second-order counterpart, designed to refer to unique relations between objects. We investigate this notion within the framework of Russell's theory of definite descriptions. While full second-order logic is incomplete, its fragment defined by Henkin's general models admits completeness. We develop our theory within this fragment and formalize it using a cut-free sequent calculus.

Uncovering Intention through LLM-Driven Code Snippet Description Generation
Yusuf Sulistyo Nugroho, Farah Danisha Salam, Brittany Reid, Raula Gaikovina Kula, Kazumasa Shimari, Kenichi Matsumoto
https://arxiv.org/abs/2506.15453

Uncovering Intention through LLM-Driven Code Snippet Description Generation
Documenting code snippets is essential to pinpoint key areas where both developers and users should pay attention. Examples include usage examples and other Application Programming Interfaces (APIs), which are especially important for third-party libraries. With the rise of Large Language Models (LLMs), the key goal is to investigate the kinds of description developers commonly use and evaluate how well an LLM, in this case Llama, can support description generation. We use NPM Code Snippets, co…

Russian dairy supply disrupted by cyberattack on animal certification system https://therecord.media/russia-dairy-supply-disrupted-cyberattack

Eliminating Tokamak Disruptions with Feedback
H. R. Strauss
https://arxiv.org/abs/2508.13105 https://arxiv.org/pdf/2508.13105

Eliminating Tokamak Disruptions with Feedback
Many disruptions are caused by resistive wall tearing modes (RWTM). A database of DIII-D locked mode disruptions provides two main disruption criteria, which are shown to be signatures of RWTMs. The first is that the q = 2 rational surface must be sufficiently close the resistive wall surrounding the plasma to interact with it. If active feedback is used, this implies that RWTMs can be prevented from causing major disruptions. This is demonstrated in simulations. The second criterion is that th…

Being Dead - “Godzilla Rising” (2024)
This whole album is pretty good. Very fun and clever. Of course they're from Austin.
A BC supporter described them as "The Mamas and The Papas meet the Elephant Six Collective" and I think that's a fitting description. Odd time signatures, lots of vocal harmonizing, and jangly pop guitars.
Great opening track here 👇
#music

Reactive Semantics for User Interface Description Languages
Basile Pesin (Federation ENAC ISAE-SUPAERO ONERA, Universite de Toulouse, France), Celia Picard (Federation ENAC ISAE-SUPAERO ONERA, Universite de Toulouse, France), Cyril Allignol (Federation ENAC ISAE-SUPAERO ONERA, Universite de Toulouse, France)
https://arxiv.org/abs/2508.1361…

Reactive Semantics for User Interface Description Languages
User Interface Description Languages (UIDLs) are high-level languages that facilitate the development of Human-Machine Interfaces, such as Graphical User Interface (GUI) applications. They usually provide first-class primitives to specify how the program reacts to an external event (user input, network message), and how data flows through the program. Although these domain-specific languages are now widely used to implement safety-critical GUIs, little work has been invested in their formalizat…