Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
A Look at Not an Android Emulator
hackaday.com·1d
How To Work With Local AI in the Zed IDE
thenewstack.io·20h
Quantum-Enhanced Multi-Task Learning with Learnable Weighting for Pharmacokinetic and Toxicity Prediction
arxiv.org·3d
The Curious Price of Distributional Robustness in Reinforcement Learning with a Generative Model
arxiv.org·2d
Math Game Monday: Fraction Catch
denisegaskins.com·2d
Loading...Loading more...