Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
The Mesmerizing, Hard-Edge Paintings of Fanny Sanín
newyorker.com·17h
Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.com·23h
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·4d
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·5d
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·3d
Loading...Loading more...