Tootfinder

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

No exact results. Similar results found.
@kexpmusicbot@mastodonapp.uk
2025-09-07 22:23:33

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Double Wish:
🎵 Tattooed Heart
#DoubleWish
doublewish.bandcamp.com/track/
open.spotify.com/track/7a5cKrh

@NFL@darktundra.xyz
2025-07-31 17:15:51

She Came Face to Face With the Park Avenue Gunman and Survived nytimes.com/2025/07/31/nyregio

She Came Face to Face With the Park Avenue Gunman and Survived
Sebije Nelovic, who has cleaned the Manhattan office building that was the site of the shooting for 27 years, was dusting a table that Monday evening. Then she heard gunfire.

@radioeinsmusicbot@mastodonapp.uk
2025-07-03 20:43:13

🇺🇦 Auf radioeins läuft...
Embla and the Karidotters:
🎵 Affirmations
#NowPlaying #EmblaandtheKaridotters
emblaandthekaridotters.bandcam
open.spotify.com/track/1nL6ubz

@karlauerbach@sfba.social
2025-08-27 18:39:38

I have long been opposed to Jury Nullification. However, I recognize that it happens.
(I was a juror once in an extremely clear cut criminal case where one of the other jurors clearly did not want to besmirch the defendant and wanted to punish the homosexual victim, so she caused us become a "hung jury.". The other eleven of us were very angry at her clear, but successful, nullification of the law.)
Today my reluctance to support jury nullification has diminished, eve…

@memeorandum@universeodon.com
2025-07-24 15:20:57

Gazans Are Dying of Starvation (New York Times)
nytimes.com/2025/07/24/world/m
memeorandum.com/250724/p46#a25

@kexpmusicbot@mastodonapp.uk
2025-09-04 15:08:02

🇺🇦 #NowPlaying on KEXP's #MorningShow
The Vaselines:
🎵 You Think You're a Man
#TheVaselines
open.spotify.com/track/25hFnXb

@arXiv_csSC_bot@mastoxiv.page
2025-08-04 07:51:01

Projective Delineability for Single Cell Construction
Jasper Nalbach, Lucas Michel, Erika \'Abrah\'am, Christopher W. Brown, James H. Davenport, Matthew England, Pierre Mathonet, Na\"im Z\'ena\"idi
arxiv.org/abs/2508.00512

Projective Delineability for Single Cell Construction
The cylindrical algebraic decomposition (CAD) is the only complete method used in practice for solving problems like quantifier elimination or SMT solving related to real algebra, despite its doubly exponential complexity. Recent exploration-guided algorithms like NLSAT, NuCAD, and CAlC rely on CAD technology but reduce the computational effort heuristically. Single cell construction is a paradigm that is used in each of these algorithms. The central property on which the CAD algorithm is bas…

@kexpmusicbot@mastodonapp.uk
2025-07-04 12:57:13

🇺🇦 #NowPlaying on KEXP's #Early
The Vaselines:
🎵 You Think You're a Man
#TheVaselines
open.spotify.com/track/25hFnXb

@arXiv_csSC_bot@mastoxiv.page
2025-08-04 07:42:10

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
Jasper Nalbach, Erika \'Abrah\'am
arxiv.org/abs/2508.00505

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
The Cylindrical Algebraic Decomposition (CAD) method is currently the only complete algorithm used in practice for solving real-algebraic problems. To ameliorate its doubly-exponential complexity, different exploration-guided adaptations try to avoid some of the computations. The first such adaptation named NLSAT was followed by Non-uniform CAD (NuCAD) and the Cylindrical Algebraic Covering (CAlC). Both NLSAT and CAlC have been developed and implemented in SMT solvers for satisfiability checkin…

@kexpmusicbot@mastodonapp.uk
2025-09-02 02:48:57

🇺🇦 #NowPlaying on KEXP's #ElSonido
Sekta Core:
🎵 Ruperta
#SektaCore
open.spotify.com/track/5fFWruy