Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Anthropic completes new funding round at $183 billion value
mercurynews.comยท3h
Mystery House (1980) thoughts
virtualmoose.orgยท1d
What about the web developers?
cendyne.devยท1d
The Invisibles
adactio.comยท3d
Book Review: This Is Your Brain On Nature
nakedcapitalism.comยท1d
Cohere's cofounder says the $6.8 billion company is not making its AI model 'an amazing conversationalist'
businessinsider.comยท19h
ORCA: ORchestrating Causal Agent
arxiv.orgยท1d
Loading...Loading more...