Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Meshtastic: Why is it so popular?
jonlennartaasenden.wordpress.com·1d
A Reboot for Capitalism’s Operating System
theatlantic.com·5h
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·3d
Loading...Loading more...