Tootfinder

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

No exact results. Similar results found.
@degrowthuk@mstdn.social
2026-02-01 20:00:42

Designing for Degrowth: Energy Policy and the Architecture of Enough - Kleinman Center for Energy Policy
United States examples but broad relevance.
kleinmanenergy.upenn.edu/comme

@Techmeme@techhub.social
2026-02-27 22:31:00

Defense Secretary Pete Hegseth directs the DOD to designate Anthropic as a supply chain risk, barring military contractors from doing business with the company (@secwar)
x.com/secwar/status/2027507717

@matthiasott@mastodon.social
2026-03-28 11:13:47

I finally did it: I now have a speaking page on my site. 🎤🎉
If you’re looking for someone to talk about design, the web, CSS, accessibility, or the independent web at your event, that’s where you’ll find what I do, what I’ve spoken about, and how to get in touch:
matthiasott.com/speaking

@arXiv_csCL_bot@mastoxiv.page
2026-03-31 10:11:22

Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
Kosei Fushimi, Kazunobu Serizawa, Junya Ikemoto, Kazumune Hashimoto
arxiv.org/abs/2603.28426 arxiv.org/pdf/2603.28426 arxiv.org/html/2603.28426
arXiv:2603.28426v1 Announce Type: new
Abstract: Signal Temporal Logic (STL) is widely used to specify timed and safety-critical tasks for cyber-physical systems, but writing STL formulas directly is difficult for non-expert users. Natural language (NL) provides a convenient interface, yet its inherent structural ambiguity makes one-to-one translation into STL unreliable. In this paper, we propose an \textit{ambiguity-preserving} method for translating NL task descriptions into STL candidate formulas. The key idea is to retain multiple plausible syntactic analyses instead of forcing a single interpretation at the parsing stage. To this end, we develop a three-stage pipeline based on Combinatory Categorial Grammar (CCG): ambiguity-preserving $n$-best parsing, STL-oriented template-based semantic composition, and canonicalization with score aggregation. The proposed method outputs a deduplicated set of STL candidates with plausibility scores, thereby explicitly representing multiple possible formal interpretations of an ambiguous instruction. In contrast to existing one-best NL-to-logic translation methods, the proposed approach is designed to preserve attachment and scope ambiguity. Case studies on representative task descriptions demonstrate that the method generates multiple STL candidates for genuinely ambiguous inputs while collapsing unambiguous or canonically equivalent derivations to a single STL formula.
toXiv_bot_toot

@Techmeme@techhub.social
2026-01-27 20:56:10

Privacy-focused MVNO Cape, which has raised $61M from a16z and others, launches across the US following a March 2025 beta, offering a $99 monthly plan (Steven Melendez/Fast Company)
fastcompany.com/91481000/this-

@Mediagazer@mstdn.social
2026-02-17 00:55:37

Sources: Anderson Cooper grew increasingly uneasy with the rightward direction of CBS News under Bari Weiss, a factor in his decision to leave 60 Minutes (Oliver Darcy/Status)
status.news/p/anderson-cooper-

@davej@dice.camp
2026-01-14 10:08:05

Why do I only find out about these 40 years after the fact? 🤦🏻‍♂️ bird.makeup/users/pulplibraria

@Techmeme@techhub.social
2026-03-19 04:31:18

Figma's stock closed down ~8% on March 18 after Google updated its Stitch AI coding tool for UI design; FIG is down ~80% since the company's IPO in August 2025 (John Wang/@j0hnwang)
x.com/j0hnwang/status/20344253

@Mediagazer@mstdn.social
2026-02-06 04:16:02

Sources: MS NOW is in advanced discussions with Crooked Media on a licensing deal to air some of the podcast network's programs on MS NOW's linear channel (Oliver Darcy/Status)
status.news/p/ms-now-crooked-m

@arXiv_physicsinsdet_bot@mastoxiv.page
2026-02-09 08:25:58

CAGE: An Internal Source Scanning Cryostat for HPGe Characterization
G. Othman, C. Wiseman, T. H. Burritt, J. A. Detwiler, M. P. Held, R. Henning, T. Mathew, D. Peterson, W. Pettus, G. Song, T. D. Van Wechel
arxiv.org/abs/2602.06289 arxiv.org/pdf/2602.06289 arxiv.org/html/2602.06289
arXiv:2602.06289v1 Announce Type: new
Abstract: The success of current and future-generation neutrinoless double beta decay experiments relies on the ability to eliminate or reduce extraneous backgrounds. In addition to constructing experiments using radiopure materials and handling in underground laboratories, it is necessary to understand and reduce known backgrounds in data analysis. The Large Enriched Germanium Experiment for Neutrinoless double beta Decay is searching for this decay using 76Ge-enriched high-purity germanium detectors submerged in an active liquid argon veto. A significant background in LEGEND is surface events from shallowly-impinging radiation on detector surfaces. In this paper we introduce the Collimated Alphas, Gammas, and Electrons (CAGE) scanning system, an internal-source scanning vacuum cryostat, designed to perform studies of surface events on sensitive surfaces of HPGe in a surface-lab. CAGE features a collimated radionuclide source inside a movable infrared shield that is able to perform precision scans of detector surfaces by utilizing three independent motor stages for source positioning. This allows detailed studies of pulse shapes as a function of source position and incident angle, where defining features can be extracted and exploited for removing surface backgrounds in data analysis in LEGEND. In this paper, we describe CAGE and demonstrate its performance with a commissioning run with 241Am. The commissioning run was completed with the source at normal incidence, and we estimate a beam spot precision of 3.1 mm, which includes positioning uncertainties and the beam-spot size. Using the 59.5 keV gamma population from 241Am, we show that low-energy photon events near the passivated surface feature risetimes that increase with radial distance from the detector center. We suggest a specific metric that can be used to discriminate low-energy gamma backgrounds in LEGEND with similar characteristics.
toXiv_bot_toot