Tootfinder

Do you enjoy red glowy mat thingies? Well oh boy do we have an.offer for you!

"Have you ever watched a very tired person typing" - now in stereo https://www.youtube.com/watch?v=MZmuSekEoko

"But AI tools will be just like calculators..."

The AI coding trap
If you ever watch someone “coding”, you might see them spending far more time staring into space than typing on their keyboard. No, they (probably) aren’t slacking off. Software development is fundamentally a practice of problem-solving, and so, as with solving a tricky crossword, most of the work is done in your head. […]
🧑‍💻

The AI coding trap | Chris Loy
If you ever watch someone “coding”, you might see them spending far more time staring into space than typing on their keyboard.

Beyond QWERTY: A pressure-based text input approach for XR that enables a touch-typing like experience
Fabian R\"ucker, Torben Storch
https://arxiv.org/abs/2507.20741 https…

Beyond QWERTY: A pressure-based text input approach for XR that enables a touch-typing like experience
Text input in extended reality (XR) applications remains inefficient and tedious. Most solutions are derived from the traditional keyboard layout, yet fail to translate its positive characteristics to the spatial digital realm. This limits the productive use of immersive technologies. In this work, we analyze physical keyboard input to identify key characteristics that facilitate its comfort, touch typing and high typing speeds. Building on these findings, we propose a novel pressure- based tex…

"Did you know cats enjoy tuna, and it makes their breath smell 5 times better afterwards?"

If-T: A Benchmark for Type Narrowing
Hanwen Guo (University of Utah, USA), Ben Greenman (University of Utah, USA)
https://arxiv.org/abs/2508.03830 https://…

If-T: A Benchmark for Type Narrowing
**Context:** The design of static type systems that can validate dynamically-typed programs (**gradually**) is an ongoing challenge. A key difficulty is that dynamic code rarely follows datatype-driven design. Programs instead use runtime tests to narrow down the proper usage of incoming data. Type systems for dynamic languages thus need a **type narrowing** mechanism that refines the type environment along individual control paths based on dominating tests, a form of flow-sensitive typing. In …

Transporting Theorems about Typeability in LF Across Schematically Defined Contexts
Chase Johnson, Gopalan Nadathur
https://arxiv.org/abs/2509.26362 https://

Transporting Theorems about Typeability in LF Across Schematically Defined Contexts
The dependently-typed lambda calculus LF is often used as a vehicle for formalizing rule-based descriptions of object systems. Proving properties of object systems encoded in this fashion requires reasoning about formulas over LF typing judgements. An important characteristic of LF is that it supports a higher-order abstract syntax representation of binding structure. When such an encoding is used, the typing judgements include contexts that assign types to bound variables and formulas must the…

Took me a long time to find a working GBoard replacement, mainly because I really heavily on glide typing. Now I've been using #HeliBoard for a while, and it's great! Plus, Google-free typing also feels good. 😊

Active Authentication via Korean Keystrokes Under Varying LLM Assistance and Cognitive Contexts
Dong Hyun Roh, Rajesh Kumar
https://arxiv.org/abs/2509.24807 https://

Active Authentication via Korean Keystrokes Under Varying LLM Assistance and Cognitive Contexts
Keystroke dynamics is a promising modality for active user authentication, but its effectiveness under varying LLM-assisted typing and cognitive conditions remains understudied. Using data from 50 users and cognitive labels from Bloom's Taxonomy, we evaluate keystroke-based authentication in Korean across three realistic typing scenarios: bona fide composition, LLM content paraphrasing, and transcription. Our pipeline incorporates continuity-aware segmentation, feature extraction, and classific…

from my link log —
Is sound gradual typing dead? Performance problems in Typed Racket.
https://dl.acm.org/doi/abs/10.1145/2837614.2837630
saved 2025-09-18

I appreciated Hillel Wayne’s latest article on “typing is not the bottleneck”.
https://buttondown.com/hillelwayne/archive/maybe-writing-speed-actually-is-a-bottleneck-for/
Typing is not the bottleneck, but typing faster…

Have you ever watched a very tired person typing
https://www.youtube.com/watch?v=8rp1EcMvJLs

Phi-Ground Tech Report: Advancing Perception in GUI Grounding
Miaosen Zhang, Ziqiang Xu, Jialiang Zhu, Qi Dai, Kai Qiu, Yifan Yang, Chong Luo, Tianyi Chen, Justin Wagle, Tim Franklin, Baining Guo
https://arxiv.org/abs/2507.23779

Phi-Ground Tech Report: Advancing Perception in GUI Grounding
With the development of multimodal reasoning models, Computer Use Agents (CUAs), akin to Jarvis from \textit{"Iron Man"}, are becoming a reality. GUI grounding is a core component for CUAs to execute actual actions, similar to mechanical control in robotics, and it directly leads to the success or failure of the system. It determines actions such as clicking and typing, as well as related parameters like the coordinates for clicks. Current end-to-end grounding models still achieve less than 65\…

once again offering future riches to anybody who can tell me how to get rid of the emoji button from the typing field an #android gboard so i stop perpetually activating it. this setting is useless (& doesn't remove the emoji switch from elsewhere on the keyboard either).

Didn't have a lot of time today to play around with Cosmic beta on Nix (cosmic-saigon).
Big improvement already:keyboard shortcuts (when you are adding or modifying) are now triggered by typing the actual key combo. For me, as a keyboard shortcuts junkie that's great!
#cosmic

Predicting Antimicrobial Resistance (AMR) in Campylobacter, a Foodborne Pathogen, and Cost Burden Analysis Using Machine Learning
Shubham Mishra, The Anh Han, Bruno Silvester Lopes, Shatha Ghareeb, Zia Ush Shamszaman
https://arxiv.org/abs/2509.03551

Predicting Antimicrobial Resistance (AMR) in Campylobacter, a Foodborne Pathogen, and Cost Burden Analysis Using Machine Learning
Antimicrobial resistance (AMR) poses a significant public health and economic challenge, increasing treatment costs and reducing antibiotic effectiveness. This study employs machine learning to analyze genomic and epidemiological data from the public databases for molecular typing and microbial genome diversity (PubMLST), incorporating data from UK government-supported AMR surveillance by the Food Standards Agency and Food Standards Scotland. We identify AMR patterns in Campylobacter jejuni and…

This AI phone agent is playing an audible sound effect of a clackety mechanical keyboard as if someone is listening and typing.
I understand what they are trying to do, but it has the complete opposite effect on me. Whatever goon middle manager opted for this? I want them to suffer.
And the amount of typing that it pretends is ludicrously longer than the information provided. It's like an amplifier for my irritation.

Do you have to put images in documents and sites, want to add alt text, but this is just soooo boring? Here is a lifehack that helped me out a lot, still helps:
When you save the image file, use a description of the image as its name.
Many apps use the file name as alt text. Even if not, the alt text will be there already to be copied.
What is surprising is how easy it is: I never struggle to name the file, but typing the same in an alt text textbox is somehow so annoying..…

Among the findings in this new Pew report: Most Americans don’t support AI playing a role in religion. https://www.pewresearch.org/science/2025/09/17/how-americans-view-ai-and-its-impact-on-people-and-society/

Classifying Cool Dwarfs: Comprehensive Spectral Typing of Field and Peculiar Dwarfs Using Machine Learning
Tianxing Zhou, Christopher A. Theissen, S. Jean Feeser, William M. J. Best, Adam J. Burgasser, Kelle L. Cruz, Lexu Zhao
https://arxiv.org/abs/2508.09370

Classifying Cool Dwarfs: Comprehensive Spectral Typing of Field and Peculiar Dwarfs Using Machine Learning
Low-mass stars and brown dwarfs -- spectral types (SpTs) M0 and later -- play a significant role in studying stellar and substellar processes and demographics, reaching down to planetary-mass objects. Currently, the classification of these sources remains heavily reliant on visual inspection of spectral features, equivalent width measurements, or narrow-/wide-band spectral indices. Recent advances in machine learning (ML) methods offer automated approaches for spectral typing, which are becomin…

Wonder if my brain is starting to work better again. Before COVID I had ~120 wpm typing speed then it gradually went down to ~100 from long COVID. Today I've set a new personal best.

I think the Vibecoding reddit has accidentally stumbled on the best description of vibecoding:
It's "roleplay for guys [it is always guys] who want to feel like hackers without doing the hard part".
(Source: https://www.reddit.com/r/vibecoding/com…

LowKeyEMG: Electromyographic typing with a reduced keyset
Johannes Y. Lee, Derek Xiao, Shreyas Kaasyap, Nima R. Hadidi, John L. Zhou, Jacob Cunningham, Rakshith R. Gore, Deniz O. Eren, Jonathan C. Kao
https://arxiv.org/abs/2507.19736

LowKeyEMG: Electromyographic typing with a reduced keyset
We introduce LowKeyEMG, a real-time human-computer interface that enables efficient text entry using only 7 gesture classes decoded from surface electromyography (sEMG). Prior work has attempted full-alphabet decoding from sEMG, but decoding large character sets remains unreliable, especially for individuals with motor impairments. Instead, LowKeyEMG reduces the English alphabet to 4 gesture keys, with 3 more for space and system interaction, to reliably translate simple one-handed gestures int…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability ...
Songlin Jia, Guannan Wei, Siyuan He, Yuyan Bao, Tiark Rompf

Keyboard folks be like: "QWERTY is slowing you down! You need to switch layouts to type faster!"
The cat on my lap, preventing me from typing faster: "Sure, human."

I have never used linear switches in a keyboard. All my mechanical keyboards have clicky switches.
I am trying to figure out between tactile and linear switches. I am not a gamer so my keyboard is used only for typing.
Should I get linear or tactile? Can you help understand the choice? Thank you
#mechanical #keyboard

Oh wow. It looks like I last used HaikuOS for real in 2023 judging by screenshots, but holy moly, it's come a long way since. Typing this from my LibreWolf with extensions running and everything. There are minor issues with some of these Wayland/GTK ports, but they are absolutely usable. And lots of software has shown up in HaikuDepot since last time. I just wish sound was working on my hardware so this could be a fully viable desktop for me.

is AI real life
is it just fantasy
caught up in the hype
no escape from reality
#ai #llm #vibecoding

Say it with me: LLM's offer next likely token prediction.
If you want to predict likely tokens (E.g., predictive keyboard typing), great!
If you want ANYTHING OTHER THAN NEXT LIKELY TOKEN PREDICTION you don't want an LLM.
No, not even if you add RAG.
No, not even if it's "agentic".
If you want certainty, if you want rule adherence, if you want comprehension of any kind, you don't want an LLM. No matter what OpenAI tells you.

It's 2025. If your library still doesn't have types in it (parameter, return, and property), I assume it's abandoned and I should not use it.
There are no exceptions to this statement. Not typing your PHP code in 2025 is irresponsible. No, docblocks are not good enough.
#PHP

My wife is not working today and was out shopping. She bought some new jeans and when she got home she took a picture of herself in our hallway mirror and asked what I thought. I immediately noticed our cat walking behind her. So I just replied, "Sorry, hard to say as I am distracted looking at your pussy." I saw here typing for a while and then eventually she stopped and posted a message saying, "Very funny 😉". She did look good in the jeans though and I made sure to tel…

Been to the hospital and had the cast removed.
Should make typing easier.
More pain now than when I first went there though. RSI aggravated by the cast. Thumb fucked up by the cast. Wrist hurts when moved.
Apparently I'm to stretch the wrist slowly and gradually recover mobility like wrist yoga. Physio to come maybe.
Have booked a massage for tomorrow to try and realign my frame, all fucked up by the cast and the sitting around for a month.
Do not recommend fracturing bones in your arm. It's an bad scene man.

Fast-VAT: Accelerating Cluster Tendency Visualization using Cython and Numba
MSR Avinash (Presidency University, Bangalore), Ismael Lachheb (EPITA School of Engineering,Computer Science, Paris, France)
https://arxiv.org/abs/2507.15904

Fast-VAT: Accelerating Cluster Tendency Visualization using Cython and Numba
Visual Assessment of Cluster Tendency (VAT) is a widely used unsupervised technique to assess the presence of cluster structure in unlabeled datasets. However, its standard implementation suffers from significant performance limitations due to its O(n^2) time complexity and inefficient memory usage. In this work, we present Fast-VAT, a high-performance reimplementation of the VAT algorithm in Python, augmented with Numba's Just-In-Time (JIT) compilation and Cython's static typing and low-level …

Just went to type ‘JustEat’ into my phone and caught myself typing ‘Jet2’, in case you’re wondering how my subconscious thinks this week is going

I am trying out @…, but there are a couple of things that would improve the QoL of the product.
Keyboard shortcuts to open the composer or search box.
And then being able to search for accounts while typing.

Crosslisted article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Giuseppe Castagna, Guillaume Duboc

Bei jeder meiner Reaktionen auf eine von Trumps absurden Aussagen oder demokratie- und wirtschaftsgefährdenden Aktionen, habe ich die Befürchtung, dass ich wieder einmal über sein Stöckchen springe, genau das tue, was #Trump will: Aufmerksamkeit. Er inszeniert eine Reality TV Show, Great Television, dass ihm, seinen Clan und seinen Unterstützern in die Hände spielt. Was also tun?

By accident I just did:
DELETE FROM tablename WHERE "foo";
on a oroduction database. when I saw:
Query OK, 387 rows affected, 2 warnings (0.01 sec)
my heart skipped. Missing conditional. Should have said "WHERE x="foo". Affected all rows.
Hooray for backups.
(Yes, I shouldn't be typing SQL at a production DB.)

Crosslisted article(s) found for cs.SC. https://arxiv.org/list/cs.SC/new
[1/1]:
- Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attenti...
Aleksandra Beliaeva, Temurbek Rahmatullaev

Brothers and sisters it's important to be human and humen type words...
we should all feel free to type words and that's why (#)etherpad is superb for that.
Typing letters...like don't be ashamed brothers and sisters we can just type letters, we don't even need to type full words.
Join ME HERE ---> https://

How are Scientific Concepts Birthed? Typing Rules of Concept Formation in Theoretical Physics Reasoning
Omar Aguilar, Anthony Aguirre
https://arxiv.org/abs/2509.10740 https://…

How are Scientific Concepts Birthed? Typing Rules of Concept Formation in Theoretical Physics Reasoning
This work aims to formalize some of the ways scientific concepts are formed in the process of theoretical physics discovery. Since this may at first seem like a task beyond the scope of the exact sciences (natural and formal sciences), we begin by presenting arguments for why scientific concept formation can be formalized. Then, we introduce type theory as a natural and well-suited framework for this formalization. We formalize what we call "ways of discovering new concepts" including concept d…

Thousands of journalists across the world typing "groyper war" into Google.

I think this is related to the issue that some people have with static typing: it’s a series of micro-interruptions that serve to distract from the goal.
While I never found this to be a problem in somewhat-typed languages such as Java, and I no longer have this problem most of the time in Haskell, I still experience it in Rust, where the borrow checker might require me to totally rethink my approach.
I can absolutely see why some people prefer not to have a type system.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Giuseppe Castagna, Guillaume Duboc

After reading #keyboard layout for fun.
Of course, not so I could "type faster". And that's for two reasons:
1. To type faster, you have to learn the right hand and finger positions, etc. I know my habits ain't perfect, and I don't see a point in learning otherwise — see point two.
2. At least in my case of creative writing, blunt typing speed isn't the bottleneck; figuring out what to write is. And most of my corrections aren't typos, but changes of thought.
In this case, I've figured out that there's really no point in learning touch typing with a new layout. So the most obvious choice for trying one is to use it on a touchscreen, where I could change the visible layout with no effort.
But then, I've started wondering: I mostly use gesture typing, and I've noticed that it's much easier when the letters constituting the word in question are spread across keyboard, rather than close to one another. In the latter case, the keyboard often has trouble in recognizing the correct word. If the ergonomic layouts focus on putting frequent letters close to one another, wouldn't gesture typing be harder?
And indeed, Colemak's FAQ clearly states that it's not recommended for smartphones. It's kinda curious that after so many years of #QWERTY being criticized, a new technology turns out to benefit from precisely this layout.
https://colemak.com/FAQ#Is_Colemak_suitable_for_smartphones.3F

Replaced article(s) found for cs.HC. https://arxiv.org/list/cs.HC/new
[1/1]:
- Exploring Keyboard Positioning and Ten-Finger Typing in Mixed Reality
Cecilia Schmitz, Joshua Reynolds, Scott Kuhl, Keith Vertanen

Crosslisted article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attenti...
Aleksandra Beliaeva, Temurbek Rahmatullaev

@… Absolutely. One of the reasons I’m in favour of some kind of gradual typing (not TypeScript) is because I don’t think it makes sense for me to think hard about memory allocation before I’ve thought through whether a feature is even useful.
I really wish Rust had a transparent “just reference-count everything in this module/function/whatever” switch.…

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
Paula Blechschmidt
https://arxiv.org/abs/2509.16228 https://arxiv.org/p…

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
Multiparty session types (MPST) are a robust typing framework that ensures safe and deadlock-free communication within distributed protocols. As these protocols grow in complexity, compositional modelling becomes increasingly important to scalably verify their behaviour. Therefore, we propose using a refinement-based subtyping approach to facilitate the modularity needed for compositional verification. Subtyping in classic MPST systems inherently represents a notion of refinement: A larger type…

Navigating the Python Type Jungle
Andrei Nacu (Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\c{s}i), Dorel Lucanu (Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\c{s}i)
https://arxiv.org/abs/2509.13022

Navigating the Python Type Jungle
Python's typing system has evolved pragmatically into a powerful but theoretically fragmented system, with scattered specifications. This paper proposes a formalization to address this fragmentation. The central contribution is a formal foundation that uses concepts from type theory to demonstrate that Python's type system can be elegantly described. This work aims to serve as a crucial first step toward the future development of type inference tools.

AdapTT: Functoriality for Dependent Type Casts
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
https://arxiv.org/abs/2507.13774 http…

AdapTT: Functoriality for Dependent Type Casts
The ability to cast values between related types is a leitmotiv of many flavors of dependent type theory, such as observational type theories, subtyping, or cast calculi for gradual typing. These casts all exhibit a common structural behavior that boils down to the pervasive functoriality of type formers. We propose and extensively study a type theory, called AdapTT, which makes systematic and precise this idea of functorial type formers, with respect to an abstract notion of adapters relating …

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
Eric Giovannini, Tingting Ding, Max S. New

Dependent Multiplicities in Dependent Linear Type Theory
Maximilian Dor\'e
https://arxiv.org/abs/2507.08759 https://arxiv.org/pdf…

Dependent Multiplicities in Dependent Linear Type Theory
We present a novel dependent linear type theory in which the multiplicity of some variable - i.e., the number of times the variable can be used in a program - can depend on other variables. This allows us to give precise resource annotations to many higher-order functions that cannot be adequately typed in any other system. Inspired by the Dialectica translation, our typing discipline is obtained by embedding linear logic into dependent type theory and specifying how the embedded logic interact…