Tootfinder

The table's final dry fit. It's almost perfectly level which was one thing I was worried about.
Also, the glue up with shims.
Tomorrow, the finishing goes on and it should be ready to attach the top
#woodworking
#inprogress

Get 9-30x speed doing areal-weighted interpolation with my new {𝐝𝐮𝐜𝐤𝐬𝐟} #rstats package compared to {sf}/{areal}. Experimental, but tested against both {areal} and {sf}. https://github.com/e-kotov/ducksf . Despite…

I recommend visiting, or at least thinking about, /r/spicypillows every so often as a reminder to check on and keep track of all your lithium batteries. 🔥⁠🪫⁠🔥

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Shabazz Palaces:
🎵 A Treatease Dedicated to the Avian Airess From North East Nubis (1000 Questions, 1 Answer)
#ShabazzPalaces
https://shabazzpalaces.bandcamp.com/track/a-treatease-dedicated-to-the-avian-airess-from-north-east-nubis-1000-questions-1-answer
https://open.spotify.com/track/2evTqwZ8d0mh4KigJar6c8

SpecifyUI: Supporting Iterative UI Design Intent Expression through Structured Specifications and Generative AI
Yunnong Chen, Chengwei Shi, Liuqing Chen
https://arxiv.org/abs/2509.07334

SpecifyUI: Supporting Iterative UI Design Intent Expression through Structured Specifications and Generative AI
Large language models (LLMs) promise to accelerate UI design, yet current tools struggle with two fundamentals: externalizing designers' intent and controlling iterative change. We introduce SPEC, a structured, parameterized, hierarchical intermediate representation that exposes UI elements as controllable parameters. Building on SPEC, we present SpecifyUI, an interactive system that extracts SPEC from UI references via region segmentation and vision-language models, composes UIs across multipl…

Model-Driven Subspaces for Large-Scale Optimization with Local Approximation Strategy
Yitong He, Pengcheng Xie
https://arxiv.org/abs/2509.08256 https://arx…

Model-Driven Subspaces for Large-Scale Optimization with Local Approximation Strategy
Solving large-scale optimization problems is a bottleneck and is very important for machine learning and multiple kinds of scientific problems. Subspace-based methods using the local approximation strategy are one of the most important methods. This paper discusses different and novel kinds of advanced subspaces for such methods and presents a new algorithm with such subspaces, called MD-LAMBO. Theoretical analysis including the subspaces' properties, sufficient function value decrease, and glo…

Logic Mining from Process Logs: Towards Automated Specification and Verification
Radoslaw Klimek, Julia Witek
https://arxiv.org/abs/2506.08628 https://

Logic Mining from Process Logs: Towards Automated Specification and Verification
Logical specifications play a key role in the formal analysis of behavioural models. Automating the derivation of such specifications is particularly valuable in complex systems, where manual construction is time-consuming and error-prone. This article presents an approach for generating logical specifications from process models discovered via workflow mining, combining pattern-based translation with automated reasoning techniques. In contrast to earlier work, we evaluate the method on both ge…

YouTube will remove its Trending page and Trending Now list in favor of category-specific charts, says it better aligns with the way content is discovered now (Aisha Malik/TechCrunch)
https://techcrunch.com/2025/07/10/youtube-is…

YouTube is getting rid of its Trending page and Trending Now list | TechCrunch
YouTube is replacing these Trending lists with category-specific charts, the company announced on Thursday.

Extended Spherical Geometry Algorithm for Spaceborne SAR Processing in Stripmap and TOPS Imaging Modes
Xinhua Mao, Manyi Tao, Jixia Fan
https://arxiv.org/abs/2506.08620

Extended Spherical Geometry Algorithm for Spaceborne SAR Processing in Stripmap and TOPS Imaging Modes
The Spherical Geometry Algorithm (SGA) demonstrates superior capability in achieving efficient and precise spaceborne SAR image formation processing, even under challenging imaging conditions including non-linear radar trajectories and spherical Earth surface geometry. Nevertheless, the original SGA is specifically developed for spotlight SAR data processing and can't directly applied to processing spaceborne SAR data in other modes. In this paper, we first analyze the limitations of the SGA al…

Table is finished and installed. Mac LC III has FINALLY been moved out of my office.
#woodworking
#retrocomputing