Thomas Hales wrote computer programs with heuristics and intersection checking to prove each configuration had a packing density under approximately 0.74

The systematic study of the natural world through observation, experiment, and theory.

SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.