Tootfinder

Lime and Uber sign a new multiyear deal to let Uber feature Lime's shared bikes and scooters on its ridehail app; the deal was set to expire in 2025 (Andrew J. Hawkins/The Verge)
https://www.theverge.com/news/679783/lime-renews-v…

Lime renews vows with Uber ahead of busy summer season
Lime is renewing its deal with Uber to feature its bikes and scooters on the ridehail company’s app.

I had my browser set to autotranslate, so I read this piece in English (although ironically I can read German too, but perhaps not well on this topic), but if you don't have this feature, here's an English language piece on the hack.
https://caliber.az/en/po…

Media: Russian hackers target key Bundeswehr suppliers in serious cyberattacks | Caliber.Az
Two suppliers to the German Bundeswehr have recently been subjected to serious cyberattacks, likely carried out by Russian hackers. According to Tagesschau, journalists...

I just took a look at the proposed text for these "trump accounts".
The language begins at page 741 in the linked-to .pdf file, below.
The language is rather vague. For example, it does not indicate the base date for measuring the age of the "beneficiary". Is it the conception date or the live-birth date?
And the text is filled with terribly vague phrases like "Rules similar to the rules of section" - There are big devils lurking in that hor…

Trump to promote $1,000 ‘Trump Accounts’ for newborns at White House event
President Donald Trump is set to host a roundtable at the White House on Monday to promote a key feature of the sweeping Republican domestic policy bill – a provision that would provide every American newborn with a $1,000 investment account, a White House official told CNN.

FaST: Feature-aware Sampling and Tuning for Personalized Preference Alignment with Limited Data
Thibaut Thonet, Germ\'an Kruszewski, Jos Rozen, Pierre Erbacher, Marc Dymetman
https://arxiv.org/abs/2508.04698

FaST: Feature-aware Sampling and Tuning for Personalized Preference Alignment with Limited Data
LLM-powered conversational assistants are often deployed in a one-size-fits-all manner, which fails to accommodate individual user preferences. Recently, LLM personalization -- tailoring models to align with specific user preferences -- has gained increasing attention as a way to bridge this gap. In this work, we specifically focus on a practical yet challenging setting where only a small set of preference annotations can be collected per user -- a problem we define as Personalized Preference A…

FACT: the Features At Convergence Theorem for neural networks
Enric Boix-Adsera, Neil Mallinar, James B. Simon, Mikhail Belkin
https://arxiv.org/abs/2507.05644

FACT: the Features At Convergence Theorem for neural networks
A central challenge in deep learning theory is to understand how neural networks learn and represent features. To this end, we prove the Features at Convergence Theorem (FACT), which gives a self-consistency equation that neural network weights satisfy at convergence when trained with nonzero weight decay. For each weight matrix $W$, this equation relates the "feature matrix" $W^\top W$ to the set of input vectors passed into the matrix during forward propagation and the loss gradients passed t…

A Topological Improvement of the Overall Performance of Sparse Evolutionary Training: Motif-Based Structural Optimization of Sparse MLPs Project
Xiaotian Chen, Hongyun Liu, Seyed Sahand Mohammadi Ziabari
https://arxiv.org/abs/2506.09204

A Topological Improvement of the Overall Performance of Sparse Evolutionary Training: Motif-Based Structural Optimization of Sparse MLPs Project
Deep Neural Networks (DNNs) have been proven to be exceptionally effective and have been applied across diverse domains within deep learning. However, as DNN models increase in complexity, the demand for reduced computational costs and memory overheads has become increasingly urgent. Sparsity has emerged as a leading approach in this area. The robustness of sparse Multi-layer Perceptrons (MLPs) for supervised feature selection, along with the application of Sparse Evolutionary Training (SET), i…

French chipmaker SiPearl raised a €130M Series A from Taiwan's Cathay Venture and others to develop its Arm-based Rhea1 AI chip, set to feature 80 cores (Benoit Berthelot/Bloomberg)
https://www.bloomberg.com/news/articles/20

No quote post yet
Remote fetch replies is set as experimental and also asynchronous, unclear if it would be ready for the final release. https://mastodon.social/@MastodonEngineering/114625074809479231

5 handstand push-ups in each of two sets! Here's set two, after a full meal. This is a 2-set record, beating last week's 9. (I do these on Wednesdays most weeks, typically two sets.)
#seniorfitness #nogym

Raiders Set to Rotate Multiple Players Across Defensive Roles https://heavy.com/sports/nfl/las-vegas-raiders/tyree-wilson-jeremy-chinn-jamal-adams/?adt_ei=[email]

I am loving C 17 feature set. It has so many niceties available in std which makes it easy to focus on my product rather than dealing with trivial things.
#cpp17 #cppdev #programming

It may appear to be looking empty and quiet at the MPS Göttingen right now - but we have been bustling about and are very busy getting everything ready for our visitors at the Night of Science tomorrow! Care for a few sneak previews in today's thread?
@…
#ndwgoe

Show, Tell and Summarize: Dense Video Captioning Using Visual Cue Aided Sentence Summarization
Zhiwang Zhang, Dong Xu, Wanli Ouyang, Chuanqi Tan
https://arxiv.org/abs/2506.20567

Show, Tell and Summarize: Dense Video Captioning Using Visual Cue Aided Sentence Summarization
In this work, we propose a division-and-summarization (DaS) framework for dense video captioning. After partitioning each untrimmed long video as multiple event proposals, where each event proposal consists of a set of short video segments, we extract visual feature (e.g., C3D feature) from each segment and use the existing image/video captioning approach to generate one sentence description for this segment. Considering that the generated sentences contain rich semantic descriptions about the …

A Short-Term Integrated Wind Speed Prediction System Based on Fuzzy Set Feature Extraction
Yijun Geng, Jianzhou Wang, Jinze Li, Zhiwu Li
https://arxiv.org/abs/2507.05761

A Short-Term Integrated Wind Speed Prediction System Based on Fuzzy Set Feature Extraction
Wind energy has significant potential owing to the continuous growth of wind power and advancements in technology. However, the evolution of wind speed is influenced by the complex interaction of multiple factors, making it highly variable. The nonlinear and nonstationary nature of wind speed evolution can have a considerable impact on the overall power system. To address this challenge, we propose an integrated multiframe wind speed prediction system based on fuzzy feature extraction. This sys…

When you are a swift developer, every day is Xmas!
https://forums.swift.org/t/swift-sdks-for-webassembly-now-available-on-swift-org/80405

Swift SDKs for WebAssembly now available on swift.org
As the Platform Steering Group accepted the vision document for WebAssembly support, we’re excited to announce that Swift SDKs for Wasm are now available at swift.org/install. The website now also hosts a getting started guide for Wasm with installation and build instructions. You may notice "Swift SDKs" is in plural. The reason is that artifact bundles for Wasm distributed from swift.org include two Swift SDKs: one with the full feature set of the Swift standard library and Swift Testing, a…

Who else wants :vim: #vim line editing in `nix repl`?
#nix

Azure Database for PostgreSQL Blog author and Microsoft employee "JoshMSFT" shares details on Microsoft's new PostgreSQL extension for Visual Studio Code.
Feature set includes:
1. Schema Visualization
2. Database aware GitHub Copilot
3. Database Explorer
4. Query History
5. Query Editing with Context-aware IntelliSense
 
"Announcing a new IDE for PostgreSQL in VS Code from Microsoft"

Genetic Features for Drug Responses in Cancer -- Investigating an Ensemble-Feature-Selection Approach
Johannes Schl\"uter, Alexander Sch\"onhuth
https://arxiv.org/abs/2507.02818

Genetic Features for Drug Responses in Cancer -- Investigating an Ensemble-Feature-Selection Approach
Predicting drug responses using genetic and transcriptomic features is crucial for enhancing personalized medicine. In this study, we implemented an ensemble of machine learning algorithms to analyze the correlation between genetic and transcriptomic features of cancer cell lines and IC50 values, a reliable metric for drug efficacy. Our analysis involved a reduction of the feature set from an original pool of 38,977 features, demonstrating a strong linear relationship between genetic features a…

📚 First Impressions: 15 Years of The Common Through Its Covers
#graphicdesign

First Impressions: 15 Years of The Common Through Its Covers
A crumpled wad of paper, scattered matches, a turnip, a marshmallow on a stick—The Common’s minimalist covers feature objects set against bright backgrounds. From an axe to a sudsy bar of soap, the…

Features-based embedding or Feature-grounding
Piotr Makarevich
https://arxiv.org/abs/2506.22442 https://arxiv.org/pdf/2506.22442

Features-based embedding or Feature-grounding
In everyday reasoning, when we think about a particular object, we associate it with a unique set of expected properties such as weight, size, or more abstract attributes like density or horsepower. These expectations are shaped by our prior knowledge and the conceptual categories we have formed through experience. This paper investigates how such knowledge-based structured thinking can be reproduced in deep learning models using features based embeddings. Specially, it introduces an specific a…

Program Feature-based Fuzzing Benchmarking
Miao Miao
https://arxiv.org/abs/2506.15088 https://arxiv.org/pdf/2506.15088

Program Feature-based Fuzzing Benchmarking
Fuzzing is a powerful software testing technique renowned for its effectiveness in identifying software vulnerabilities. Traditional fuzzing evaluations typically focus on overall fuzzer performance across a set of target programs, yet few benchmarks consider how fine-grained program features influence fuzzing effectiveness. To bridge this gap, we introduce a novel benchmark designed to generate programs with configurable, fine-grained program features to enhance fuzzing evaluations. We reviewe…

An ACL2s Interface to Z3
Andrew T. Walter (Northeastern University), Panagiotis Manolios (Northeastern University)
https://arxiv.org/abs/2507.19014 https://

An ACL2s Interface to Z3
We present Lisp-Z3, an extension to the ACL2s systems programming framework (ASPF) that supports the use of the Z3 satisfiability modulo theories (SMT) solver. Lisp-Z3 allows one to develop tools written using the full feature set of Common Lisp that can use both ACL2/s (either ACL2 or ACL2s) and Z3 as services, combining the power of SMT and interactive theorem proving. Lisp-Z3 is usable by anyone who would like to interact with Z3 from Common Lisp, as it does not depend on the availability of…

Towards LLM-Enhanced Product Line Scoping
Alexander Felfernig, Damian Garber, Viet-Man Le, Sebastian Lubos, Thi Ngoc Trang Tran
https://arxiv.org/abs/2507.23410 https://

Towards LLM-Enhanced Product Line Scoping
The idea of product line scoping is to identify the set of features and configurations that a product line should include, i.e., offer for configuration purposes. In this context, a major scoping task is to find a balance between commercial relevance and technical feasibility. Traditional product line scoping approaches rely on formal feature models and require a manual analysis which can be quite time-consuming. In this paper, we sketch how Large Language Models (LLMs) can be applied to suppor…

Nonlinear Symmetry-Fragmentation of Nonabelian Anyons In Symmetry-Enriched Topological Phases: A String-Net Model Realization
Nianrui Fu, Siyuan Wang, Yu Zhao, Yidun Wan
https://arxiv.org/abs/2506.24115

Nonlinear Symmetry-Fragmentation of Nonabelian Anyons In Symmetry-Enriched Topological Phases: A String-Net Model Realization
Symmetry-enriched topological (SET) phases combine intrinsic topological order with global symmetries, giving rise to novel symmetry phenomena. While SET phases with Abelian anyons are relatively well understood, those involving non-Abelian anyons remain elusive. This obscurity stems from the multi-dimensional internal gauge spaces intrinsic to non-Abelian anyons -- a feature first made explicit in [1,2] and further explored and formalized in our recent works [3-8]. These internal spaces can tr…

Manus unveils Wide Research, an experimental feature that lets users on its Pro plan enlist dozens of parallelized AI agents for large-scale, high-volume tasks (Carl Franzen/VentureBeat)
https://venturebeat.com/ai/youv…

Generalizing Verifiable Instruction Following
Valentina Pyatkin, Saumya Malik, Victoria Graf, Hamish Ivison, Shengyi Huang, Pradeep Dasigi, Nathan Lambert, Hannaneh Hajishirzi
https://arxiv.org/abs/2507.02833

Generalizing Verifiable Instruction Following
A crucial factor for successful human and AI interaction is the ability of language models or chatbots to follow human instructions precisely. A common feature of instructions are output constraints like ``only answer with yes or no" or ``mention the word `abrakadabra' at least 3 times" that the user adds to craft a more useful answer. Even today's strongest models struggle with fulfilling such constraints. We find that most models strongly overfit on a small set of verifiable constraints from …

A set of nearly good real numbers to specify the eigenstates of a medium-body system with two kinds of spin-1 cold atoms and with the Hamiltonian containing non-commutable terms
Yanzhang He, Yimin Liu, Chengguang Bao
https://arxiv.org/abs/2507.20556

A set of nearly good real numbers to specify the eigenstates of a medium-body system with two kinds of spin-1 cold atoms and with the Hamiltonian containing non-commutable terms
A distinguished feature of multi-species boson systems is the appearance of the odd channel, in which the coupled spin of two different bosons is given by an odd number. Through exact numerical solutions of the Schrödinger equation for a medium-body cold system containing two types of spin-1 atoms, the effect of the odd channel has been studied. It was found that, due to the odd channel, the terms in the Hamiltonian are no longer all commutable. Accordingly, the combined spin of a single speci…

Windows Terminal Product Manager Christopher Nguyen shares news about the edit command line utility, its new open-source status, and initial feature set that includes:
1. It is Lightweight
2. Mouse Mode Support
3. Multiple Open File Support
4. Find and Replace (with an option to use regular expressions.)
5. Word Wrap
(Installation instructions:

GitHub - microsoft/edit: We all edit.
We all edit. Contribute to microsoft/edit development by creating an account on GitHub.

Detect Any Sound: Open-Vocabulary Sound Event Detection with Multi-Modal Queries
Pengfei Cai, Yan Song, Qing Gu, Nan Jiang, Haoyu Song, Ian McLoughlin
https://arxiv.org/abs/2507.16343

Detect Any Sound: Open-Vocabulary Sound Event Detection with Multi-Modal Queries
Most existing sound event detection~(SED) algorithms operate under a closed-set assumption, restricting their detection capabilities to predefined classes. While recent efforts have explored language-driven zero-shot SED by exploiting audio-language models, their performance is still far from satisfactory due to the lack of fine-grained alignment and cross-modal feature fusion. In this work, we propose the Detect Any Sound Model (DASM), a query-based framework for open-vocabulary SED guided by …

LinearVC: Linear transformations of self-supervised features through the lens of voice conversion
Herman Kamper, Benjamin van Niekerk, Julian Za\"idi, Marc-Andr\'e Carbonneau
https://arxiv.org/abs/2506.01510

LinearVC: Linear transformations of self-supervised features through the lens of voice conversion
We introduce LinearVC, a simple voice conversion method that sheds light on the structure of self-supervised representations. First, we show that simple linear transformations of self-supervised features effectively convert voices. Next, we probe the geometry of the feature space by constraining the set of allowed transformations. We find that just rotating the features is sufficient for high-quality voice conversion. This suggests that content information is embedded in a low-dimensional subsp…

The receptron is a nonlinear threshold logic gate with intrinsic multi-dimensional selective capabilities for analog inputs
B. Paroli, F. Borghi, M. A. C. Potenza, P. Milani
https://arxiv.org/abs/2506.19642

The receptron is a nonlinear threshold logic gate with intrinsic multi-dimensional selective capabilities for analog inputs
Threshold logic gates (TLGs) have been proposed as artificial counterparts of biological neurons with classification capabilities based on a linear predictor function combining a set of weights with the feature vector. The linearity of TLGs limits their classification capabilities requiring the use of networks for the accomplishment of complex tasks. A generalization of the TLG model called receptron, characterized by input-dependent weight functions allows for a significant enhancement of clas…

Synergizing Implicit and Explicit User Interests: A Multi-Embedding Retrieval Framework at Pinterest
Zhibo Fan, Hongtao Lin, Haoyu Chen, Bowen Deng, Hedi Xia, Yuke Yan, James Li
https://arxiv.org/abs/2506.23060

Synergizing Implicit and Explicit User Interests: A Multi-Embedding Retrieval Framework at Pinterest
Industrial recommendation systems are typically composed of multiple stages, including retrieval, ranking, and blending. The retrieval stage plays a critical role in generating a high-recall set of candidate items that covers a wide range of diverse user interests. Effectively covering the diverse and long-tail user interests within this stage poses a significant challenge: traditional two-tower models struggle in this regard due to limited user-item feature interaction and often bias towards t…

Two-dimensional nonlinear dynamical response of the magnetoelectrically driven dimerized spin-$1{/}2$ chain
Wolfram Brenig
https://arxiv.org/abs/2507.17823 https://

Two-dimensional nonlinear dynamical response of the magnetoelectrically driven dimerized spin-$1{/}2$ chain
A study of the dynamical two-dimensional (2D) nonlinear response of the dimerized spin-$1{/}2$ chain to external electric fields is presented. The coupling of the spin system to those fields is set to arise from the inverse Dzyaloshinskii-Moriya interaction. In the XY-limit, we provide analytical expressions for the second-order nonlinear dynamical response function. Apart from multi spinon continua, this response displays a strong antidiagonal, i.e. galvanoelectric, feature in the 2D frequency…