Tootfinder

Satisfies in TypeScript
This is a post about one of TypeScript’s less common features: the satisfies keyword. It’s occasionally incredibly useful, and knowing how to properly wield it is a valuable trick to have up your sleeve. Let’s take a look!
🧑‍💻 https://frontendmasters.com/blog/satis…

Satisfies in TypeScript – Frontend Masters Blog
The `satisfies` keyword allows you to assert that a certain value

Series B, Episode 13 - Star One
ORAC: A scoutship, perhaps.
VILA: A scoutship, perhaps! Like that one down on the surface now, perhaps!
JENNA: Zen, put the battle computers online.
ZEN: Confirmed, battle computers are online.
https://blake.torpidity.net/m/213/354 B7B2

Hey. (Yes, I'm talking to you.) 😁
I’m rucking 20K next weekend to help feed Austin kids this summer.
$1 per kilometer = $20 = 40 meals. You can help/sponsor/donate here:
https://gym.squatchfitness.com/widget/form/iJyMDikb6YBSqISXro4W
Thanks in…

🇺🇦 #NowPlaying on KEXP's #AfternoonShow
Nourished by Time:
🎵 It’s Time
#NourishedbyTime
https://nourishedbytime.bandcamp.com/track/its-time
https://open.spotify.com/track/5SKTxaPCCAECXisZt7MzOr
Please 🔁 BOOST to share what you like
- your followers don't see if you ⭐ favourite a post

Complexity of some modal logics of density (extended version)
Philippe Balbiani, Olivier Gasquet
https://arxiv.org/abs/2507.11238 https://

Complexity of some modal logics of density (extended version)
By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in $EXPTIME$. By using a tableau-like approach, we prove that the satisfiability problem of the bimodal logic of weak density is in $PSPACE$.

Entire Large Solutions for Competitive Semilinear Elliptic Systems with General Nonlinearities Satisfying Keller--Osserman Conditions
Dragos-Patru Covei
https://arxiv.org/abs/2509.11933

Entire Large Solutions for Competitive Semilinear Elliptic Systems with General Nonlinearities Satisfying Keller--Osserman Conditions
We generalize a theorem of Lair concerning the existence of positive entire large solutions to competitive semilinear elliptic systems. While Lair's original result \cite{Lair2025} was established for power-type nonlinearities, our work extends the theory to a broad class of general nonlinearities satisfying a Keller--Osserman-type growth condition. The proof follows the same conceptual framework monotone iteration to construct global positive solutions, reduction to a scalar inequality for the…

The main factors in student satisfaction with a campus environment: A mixed approach vs. a quantitative approach
Mohammed Eddaou
https://arxiv.org/abs/2509.10571 https://…

The main factors in student satisfaction with a campus environment: A mixed approach vs. a quantitative approach
University dropout rates in Morocco continue to increase, with approximately 49 percent of students leaving university before graduating, despite the successive reforms and measures taken to achieve Morocco's 2015_2030 strategic vision in the higher education sector : For a university of equity, quality and promotion, which raises questions about the state of knowledge on social inclusion at the university, capable of informing decision-making and the achievement of this strategic vision. While…

Trump: “I'm not satisfied with Putin” !: https://benborges.xyz/2025/07/12/trump-im-not-satisfied-with.html

Solving Integrated Periodic Railway Timetabling with Satisfiability Modulo Theories: A Scalable Approach to Routing and Vehicle Circulation
Florian Fuchs, Bernardo Martin-Iradi, Francesco Corman
https://arxiv.org/abs/2507.11489

Solving Integrated Periodic Railway Timetabling with Satisfiability Modulo Theories: A Scalable Approach to Routing and Vehicle Circulation
This paper introduces a novel approach for jointly solving the periodic Train Timetabling Problem (TTP), train routing, and Vehicle Circulation Problem (VCP) through a unified optimization model. While these planning stages are traditionally addressed sequentially, their interdependencies often lead to suboptimal vehicle usage. We propose the VCR-PESP, an integrated formulation that minimizes fleet size while ensuring feasible and infrastructure-compliant periodic timetables. We present the fir…