Tootfinder

Sam Altman's next startup eyes using sound waves to read your brain https://www.theverge.com/column/806666/sam-altman-merge-labs-brain-computer-interface-startup-hire (archived at

Sam Altman’s next startup eyes using sound waves to read your brain
Sam Altman has tapped Mikhail Shapiro, an award-winning biomolecular engineer, to join the Merge Labs brain-computer interface startup he’s set to announce soon with co-founder Alex Blania.

🔊 #NowPlaying on #BBCRadio3:
#ClassicalLive
- Michael Tippett's A Child of Our Time
Piano music and song from Radio 3 New Generation Artists at the Ryedale Festival and Michael Tippett's affecting A Child of Our Time from Munich, introduced by Mark Forrest.
Relisten now 👇
https://www.bbc.co.uk/programmes/m002kgyx

A senior national security prosecutor in the eastern district of Virginia
said in a farewell note taped to his door to colleagues on Friday
that he was apparently fired this week because a January 6 conspiracy theorist denounced him on social media
for having worked for the deputy attorney general in the Biden administration.
The veteran federal prosecutor, Michael Ben’Ary,
was fired on Wednesday,
the same day that Julie Kelly,
a pro-Trump commentato…

Dependently Sorted Nominal Signatures
Maribel Fern\'andez (King s College London, UK), Miguel Pagano (FAMAF - Universidad Nacional de C\'ordoba, Argentina), Nora Szasz (Universidad ORT Uruguay), \'Alvaro Tasistro (Universidad ORT Uruguay)
https://arxiv.org/abs/2510.12305

Dependently Sorted Nominal Signatures
We investigate an extension of nominal many-sorted signatures in which abstraction has a form of instantiation, called generalised concretion, as elimination operator (similarly to lambda-calculi). Expressions are then classified using a system of sorts and sort families that respects alpha-conversion (similarly to dependently-typed lambda-calculi) but not allowing names to carry abstraction sorts, thus constituting a first-order dependent sort system. The system can represent forms of judgemen…

🇺🇦 #NowPlaying on BBCRadio3's #ThroughTheNight
Michael Tippett, Zürcher Kammerorchester & Duncan Ward:
🎵 Concerto for Double String Orchestra
#MichaelTippett #ZürcherKammerorchester #DuncanWard
https://open.spotify.com/track/2mhhyrf2kqTim7bAij7wSe

Security and Privacy Analysis of Tile's Location Tracking Protocol
Akshaya Kumar, Anna Raymaker, Michael Specter
https://arxiv.org/abs/2510.00350 https://

Security and Privacy Analysis of Tile's Location Tracking Protocol
We conduct the first comprehensive security analysis of Tile, the second most popular crowd-sourced location-tracking service behind Apple's AirTags. We identify several exploitable vulnerabilities and design flaws, disproving many of the platform's claimed security and privacy guarantees: Tile's servers can persistently learn the location of all users and tags, unprivileged adversaries can track users through Bluetooth advertisements emitted by Tile's devices, and Tile's anti-theft mode is eas…

In-pixel integration of signal processing and AI/ML based data filtering for particle tracking detectors
Benjamin Parpillon, Anthony Badea, Danush Shekar, Christian Gingu, Giuseppe Di Guglielmo, Tom Deline, Adam Quinn, Michele Ronchi, Benjamin Weiss, Jennet Dickinson, Jieun Yoo, Corrinne Mills, Daniel Abadjiev, Eric You, Mira Littmann, Karri DiPetrillo, Arghya Ranjan Das, Mia Liu, David Jiang, Mark S. Neubauer, Morris Swartz, Petar Maksimovic, Alice Bean, Chinar Syal, Doug Berry, Nhan …

In-pixel integration of signal processing and AI/ML based data filtering for particle tracking detectors
We present the first physical realization of in-pixel signal processing with integrated AI-based data filtering for particle tracking detectors. Building on prior work that demonstrated a physics-motivated edge-AI algorithm suitable for ASIC implementation, this work marks a significant milestone toward intelligent silicon trackers. Our prototype readout chip performs real-time data reduction at the sensor level while meeting stringent requirements on power, area, and latency. The chip is taped…

Enhancing the Efficiency of Time-Dependent Density Functional Theory Calculations of Dynamic Response Properties
Zhandos A. Moldabekov, Sebastian Schwalbe, Uwe Hernandez Acosta, Thomas Gawne, Jan Vorberger, Michele Pavanello, Tobias Dornheim
https://arxiv.org/abs/2510.01875

Enhancing the Efficiency of Time-Dependent Density Functional Theory Calculations of Dynamic Response Properties
X-ray Thomson scattering (XRTS) constitutes an essential technique for diagnosing material properties under extreme conditions, such as high pressures and intense laser heating. Time-dependent density functional theory (TDDFT) is one of the most accurate available ab initio methods for modeling XRTS spectra, as well as a host of other dynamic material properties. However, strong thermal excitations, along with the need to account for variations in temperature and density as well as the finite s…

Monoid Structures on Indexed Containers
Michele De Pascalis, Tarmo Uustalu, Niccol\`o Veltr\`i
https://arxiv.org/abs/2509.25879 https://arxiv.org/pdf/2509.…

Monoid Structures on Indexed Containers
Containers represent a wide class of type constructions relevant for functional programming and (co)inductive reasoning. Indexed containers generalize this notion to better fit the scope of dependently typed programming. When interpreting types to be sets, a container describes an endofunctor on the category of sets while an I-indexed container describes an endofunctor on the category Set^I of I-indexed families of sets. We consider the monoidal structure on the category of I-indexed containe…

🇺🇦 #NowPlaying on BBCRadio3's #ClassicalLive
Michael Tippett, Zürcher Kammerorchester & Duncan Ward:
🎵 Concerto for Double String Orchestra
#MichaelTippett #ZürcherKammerorchester #DuncanWard