Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Come Work With Us - Design Lab Intern
blogs.lib.umich.eduยท3h
I Tried the App That Promises the Best of Notion and Obsidian, but Itโs Uniquely Complicated
makeuseof.comยท3d
We will soon be able to talk with other species. Which will be first?
newscientist.comยท1d
Recurrent Transformer U-Net Surrogate for Flow Modeling and Data Assimilation in Subsurface Formations with Faults
arxiv.orgยท1d
Visual-CoG: Stage-Aware Reinforcement Learning with Chain of Guidance for Text-to-Image Generation
arxiv.orgยท1d
Loading...Loading more...