Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Kotlin is more than just the Android house language
stackoverflow.blogยท1d
Weeknotes #340 โ Dusty songfield
andrewdoran.ukยท2d
From JSON to Protobuf
kmcd.devยท4d
Linear Relaxation Schemes with Asymptotically Compatible Energy Law for Time-Fractional Phase-Field Models
arxiv.orgยท2d
Loading...Loading more...