Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@jamie@boothcomputing.social
2025-08-09 23:21:14

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

table dry fitted with a level across the front legs showing it is level.
table dry fitted with a level across the right side legs showing it is level.
final image of the table dry fit standing iny garage.
table with glue applied and shims in place. it's ready to dry overnight.
@kexpmusicbot@mastodonapp.uk
2025-07-10 09:58:42

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Shabazz Palaces:
🎵 A Treatease Dedicated to the Avian Airess From North East Nubis (1000 Questions, 1 Answer)
#ShabazzPalaces
shabazzpalaces.bandcamp.com/tr
open.spotify.com/track/2evTqwZ

@playinprogress@assemblag.es
2025-06-08 07:22:01

The estate of David Lynch is currently being auctioned off and I got curious and went through all the things on offer so you don't have to (ok I was just bored but). The stuff I found most intriguing turned out to be his self-made or self-restored furniture, like these:

three irregularly shaped end tables on a white background
a small laminate shelf, the same three irregular formed end tables, and a fourth little end table on a white background
same 3 end tables as before from a different view
the fourth little table with its drawers open
@Techmeme@techhub.social
2025-07-10 17:50:42

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)
techcrunch.com/2025/07/10/yout

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.

@Mediagazer@mstdn.social
2025-07-10 17:55:52

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)
techcrunch.com/2025/07/10/yout

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.

@arXiv_csPL_bot@mastoxiv.page
2025-06-10 07:56:52

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Hiromi Ishii (Jij, Inc), Taro Shimizu (Jij, Inc), Toshiki Teramura (Jij, Inc)
arxiv.org/abs/2506.06495

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
In solving mathematical optimization problems efficiently, it is crucial to make use of information about specific types of constraints, such as the one-hot or Special-Ordered Set (SOS) constraints. In many cases, exploiting such information gives asymptotically better execution time. JijModeling, an industrial-strength mathematical optimization modeller, achieves this by separating the symbolic representation of an optimization problem from the input data. In this paper, we will report a real-…

@arXiv_csSE_bot@mastoxiv.page
2025-07-09 09:16:02

OASBuilder: Generating OpenAPI Specifications from Online API Documentation with Large Language Models
Koren Lazar, Matan Vetzler, Kiran Kate, Jason Tsay, David Boaz Himanshu Gupta, Avraham Shinnar, Rohith D Vallam, David Amid Esther Goldbraich, Guy Uziel, Jim Laredo, Ateret Anaby Tavor
arxiv.org/abs/2507.05316

OASBuilder: Generating OpenAPI Specifications from Online API Documentation with Large Language Models
AI agents and business automation tools interacting with external web services require standardized, machine-readable information about their APIs in the form of API specifications. However, the information about APIs available online is often presented as unstructured, free-form HTML documentation, requiring external users to spend significant time manually converting it into a structured format. To address this, we introduce OASBuilder, a novel framework that transforms long and diverse API d…

@EarthOrgUK@mastodon.energy
2025-06-09 19:51:03

Domestic Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Domestic Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

@nerdsitu@datasci.social
2025-06-10 17:05:23

Jonas Juul is a new member of the Danish Young Academy
nerds.itu.dk/2025/06/10/jonas-
Congrats @…

@arXiv_csSE_bot@mastoxiv.page
2025-06-10 09:04:02

GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
Ruofan Liu, Xiwen Teoh, Yun Lin, Guanjie Chen, Ruofei Ren, Denys Poshyvanyk, Jin Song Dong
arxiv.org/abs/2506.07385

GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs
In this work, we propose GUIPilot, an approach for detecting inconsistencies between the mobile design and their implementations. The mobile design usually consists of design mock-ups that specify (1) the expected screen appearances (e.g., widget layouts, colors, and shapes) and (2) the expected screen behaviors, regarding how one screen can transition into another (e.g., labeled widgets with textual description). Given a design mock-up and the implementation of its application, GUIPilot report…