Dependent Haskell, GADTs, Type Families, Kind System
Listen: The AI race and its environmental cost
euobserver.comΒ·9h
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.orgΒ·2dΒ·
Measuring Dependencies between Biological Signals with Temporal Self-supervision, and its Limitations
arxiv.orgΒ·1d
Who cuts emissions, who turns up the heat? causal machine learning estimates of energy efficiency interventions
arxiv.orgΒ·12h
Oldie but Goodie: Re-illuminating Label Propagation on Graphs with Partially Observed Features
arxiv.orgΒ·2d
Fusion of Pervasive RF Data with Spatial Images via Vision Transformers for Enhanced Mapping in Smart Cities
arxiv.orgΒ·12h
Pairing-unfriendly curves
johndcook.comΒ·2d
Loading...Loading more...