arXiv:2602.21360v1 Announce Type: new Abstract: This paper establishes and proves representation theorems for cumulative propositional dependence logic and for cumulative propositional logic with team semantics. Cumulative logics are famously given by System C. For propositional dependence logic, we show that System C entailments are exactly captured by cumulative models from Kraus, Lehmann and Magidor. On the other hand, we show that entailment in cumulative propositional logics with team semantics is exactly captured by cumulative and asymmetric models. For […]

Ver mais

We introduce a new preference-based framework for conditional treatment effect estimation and policy learning, built on the Conditional Preference-based Treatment Effect (CPTE). CPTE requires only that outcomes be ranked under a preference rule, unlocking flexible modeling of heterogeneous effects with multivariate, ordinal, or preference-driven outcomes. This unifies applications such as conditional probability of necessity and sufficiency, conditional Win Ratio, and Generalized Pairwise Comparisons. Despite the intrinsic non-identifiability of comparison-based estimands, CPTE provides interpretable targets and delivers new identifiability […]

Ver mais

Earlier in the week I looked at how upgrading hardware can expand the PostgreSQL performance envelope. Now I’m going to show another solution: TimescaleDB. TimescaleDB is an open-source PostgreSQL extension that adds time-series capabilities to PostgreSQL. It was first released in 2017 by Tiger Data (originally Timescale) and is available for free as a self-hosted extension or as a managed service (Tiger Cloud). Under the hood, TimescaleDB automatically partitions tables into time-based chunks (called hypertables), adds native compression with hypercore, continuous aggregates for pre-computed […]

Ver mais

Non-pharmaceutical interventions (NPIs), such as diagnostic testing and quarantine, are crucial for controlling infectious disease outbreaks but are often constrained by limited resources, particularly in early outbreak stages. In real-world public health settings, resources must be allocated across multiple outbreak clusters that emerge asynchronously, vary in size and risk, and compete for a shared resource budget. Here, a cluster corresponds to a group of close contacts generated by a single infected index case. Thus, decisions must be made […]

Ver mais

YouTube has built a perfectly elegant economy where corporations pay to interrupt you, and you pay to not be interrupted. It’s extortion. It’s genius. It’s somehow both. By A Deeply Concerned Human Companies pay YouTube billions to force ads in front of viewers, while viewers pay YouTube monthly fees to avoid seeing those same ads. At what point does that business model become concerning? CONGRATULATIONS, YOU’RE FUNDING BOTH SIDES OF A WAR YOU NEVER AGREED TO FIGHT: Let […]

Ver mais

arXiv:2604.01410v1 Announce Type: new Abstract: Text production (and translations) proceeds in the form of stretches of typing, interrupted by keystroke pauses. It is often assumed that fast typing reflects unchallenged/automated translation production while long(er) typing pauses are indicative of translation problems, hurdles or difficulties. Building on a long discussion concerning the determination of pause thresholds that separate automated from presumably reflective translation processes (O’Brien, 2006; Alves and Vale, 2009; Timarova et al., 2011; Dragsted and Carl, 2013; Lacruz […]

Ver mais

arXiv:2604.06196v1 Announce Type: new Abstract: Three-way logical question answering (QA) assigns $True/False/Unknown$ to a hypothesis $H$ given a premise set $S$. While modern large language models (LLMs) can be accurate on isolated examples, we identify two recurring failure modes in 3-way logic QA: (i) negation inconsistency, where answers to $H$ and $neg H$ violate the deterministic label mapping, and (ii) epistemic $Unknown$, where the model predicts $Unknown$ due to uncertainty or instability even when $S$ entails one side. […]

Ver mais

I’ve been working on an RL agent for a constrained variant of Gomoku as a personal project. The game is played on a 20×20 board. The first move must be in the center, and every subsequent move must be adjacent to an existing stone, so the game develops as a growing cluster rather than over the whole board. My current setup is: Maskable PPO Custom Gymnasium environment Curriculum learning Random opponent Minimax (depth 1) Minimax (depth 2) Opponent […]

Ver mais