The extended predicative Mahlo universe in Martin-Löf type theory (2023)

Welfare Biology and AI: The Psychopath, the Nematode, and the Arahant

Immigration changes are driving foreign researchers to leave the U.S. — or not come to begin with 

Models Recall What They Violate: Constraint Adherence in Multi-Turn LLM Ideation

Looking for papers on general formalizations of "agency"

SFF’s HSEE grant round; human intelligence amplification projects I’d like to see by TsviBT