Tootfinder

I was going to post to say '#FF2025 reviewers, check your inboxes - your reviews have been assigned', but the first review was in before I could start typing! An excellent start! #AI4LAM

from my link log —
Bidirectional typing.
https://dl.acm.org/doi/10.1145/3450952
saved 2025-05-25 https://dotat.at/:/9X6QQ.h…

All this brings me back to some text I was writing yesterday for my students, on which I’d appreciate any thoughtful feedback:
❝You can let the computer do the typing for you, but never let it do the thinking for you.
This is doubly true in the current era of AI hype. If the AI optimists are correct (the credible ones, anyway), software development will consist of humans critically evaluating, shaping, and correcting the output of LLMs. If the AI skeptics are correct, then the future will bring mountains of AI slop to decode, disentangle, fix, and/or rewrite. Either way, it is •understanding• and •critically evaluating• code — not merely •generating• it — that will be the truly essential ability. Always has been; will be even more so. •That• is what you are learning here.❞
11/

A while back I discovered that ttyper (a typing test program for the terminal) can use a custom wordlist. I decided to create one entirely out of words I always misspell. I don't think my WPM will ever recover TT
https://github.com/max-niederman/ttyper

I think strong and weak typing in programming languages is actually a spectrum rather than a binary classification.
See terraform for example:
> All values have a type, which dictates where that value can be used and what transformations can be applied to it.
https://developer.hashicorp…

Types and Values - Configuration Language | Terraform | HashiCorp Developer
Learn about value types and syntax, including string, number, bool, list, and map. Also learn about complex types and type conversion.

I asked this Monchhichi what they thought of the recent news, but they refused to comment.

How much would you bet that there is no "trafficking" ring at all? What are the odds that there aren't even any children in this story? How likely is it that there were some cops on-line pretending to be teenagers, tricking some lonely men into typing "Yeah, I'd like to see your nude selfies."?
#StopTheHysteria

I noticed yesterday that if you call Wells Fargo that their announcement now says "Your call may be recorded *or analyzed*"
Oh, and Wells also added that fake typing sound to their awful call-tree. What, do they think that we believe we are talking to a real person who is typing at a keyboard?

I appreciate the idea that you can respond to tickets really fast, but when it is obvious some sort of LLM is being used to respond and not answering the question asked, it is worse.
I'm looking at you https://clicks.tech

Whoever greenlit this _focus-stealing_ nag on the #Google home page, where it routinely interrupts whatever I'm typing into the search box: know that you're helping to drive me _away_ from Google, and that I hope you develop some sort of horrific incurable body odor to which your own nose never becomes acclimated.

OneSug: The Unified End-to-End Generative Framework for E-commerce Query Suggestion
Xian Guo, Ben Chen, Siyuan Wang, Ying Yang, Chenyi Lei, Yuqing Ding, Han Li
https://arxiv.org/abs/2506.06913

OneSug: The Unified End-to-End Generative Framework for E-commerce Query Suggestion
Query suggestion plays a crucial role in enhancing user experience in e-commerce search systems by providing relevant query recommendations that align with users' initial input. This module helps users navigate towards personalized preference needs and reduces typing effort, thereby improving search experience. Traditional query suggestion modules usually adopt multi-stage cascading architectures, for making a well trade-off between system response time and business conversion. But they often s…

Towards Machine-actionable FAIR Digital Objects with a Typing Model that Enables Operations
Maximilian Inckmann, Nicolas Blumenr\"ohr, Rossella Aversa
https://arxiv.org/abs/2505.16550

Towards Machine-actionable FAIR Digital Objects with a Typing Model that Enables Operations
FAIR Digital Objects support research data management aligned with the FAIR principles. To be machine-actionable, they must support operations that interact with their contents. This can be achieved by associating operations with FAIR-DO data types. However, current typing models and Data Type Registries lack support for type-associated operations. In this work, we introduce a typing model that describes type-associated and technology-agnostic FAIR Digital Object Operations in a machine-actiona…

Typing with one leg up is not very comfortable.

This https://arxiv.org/abs/2503.09831 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Strong normalization through idempotent intersection types: a new syntactical approach
It is well-known that intersection type assignment systems can be used to characterize strong normalization (SN). Typical proofs that typable lambda-terms are SN in these systems rely on semantical techniques. In this work, we study $Λ_\cap^e$, a variant of Coppo and Dezani's (Curry-style) intersection type system, and we propose a syntactical proof of strong normalization for it. We first design $Λ_\cap^i$, a Church-style version, in which terms closely correspond to typing derivations. Then…

I couldn’t find any toots on Mastodon about the ice hockey semi between USA & Sweden.
On the other hand, when typing Swe in the search box on X it suggested Sweden hockey

Surprisingly fun. Was stumped by the last enemy but got through by the skin of my teeth. https://llmarena.com

LLM Arena: a wolf versus a rabbit
This is a game in which two fighters compete in an arena controlled by LLM to determine who is the best. You control one fighter and can help them win by typing anything you think can help. The goal is to win using as few characters as possible.

This https://arxiv.org/abs/2503.19704 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSI_…

Can Invisible Psychological Traits Organize Visible Network Structure? A Complex Network Analysis of Myers-Briggs Type Indicator-Based Interaction Patterns in Anonymous Social Networks
Exploration of the impact of personality traits on social interactions within anonymous online communities poses a challenge at the interface of networked social sciences and psychology. We analyze whether Myers-Briggs Type Indicator (MBTI) personality types impact the dynamics of interactions on an anonymous chat system with over 288,000 messages from 6,076 users. Using a data set including 940 users voluntarily providing MBTI typing and gender, we create a weighted undirected network and appl…