Categorical systems theory
topos.instituteยท5h
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.orgยท1h
Cactus Language โข Semantics 3
inquiryintoinquiry.comยท1h
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท7h
Open Lineage
usenix.orgยท13h
Abstraction for Abstractionโs Sake: How Developers Talk Themselves Into Complexity
hackernoon.comยท1d
Modern C and initializing an array
subethasoftware.comยท23h
Three ways formally verified code can go wrong in practice
buttondown.comยท20m
Clarity
robinsloan.comยท1d
Loading...Loading more...