📐 Type Theory - liate · Scour

Indecomposable Ordinals

infinitelymore.xyz

·5d

🔺Category Theory

Reproduction GX-607 and XM-177 Moderators: Do They Work?

forgottenweapons.com·17h

🔨Build Systems

India: Overhyped or Global Player

zeihan.com·18h

⚡Systems Programming

A New Tool for Exoplanet Detection and Characterization

centauri-dreams.org·16h

✅Formal Verification

Three Chinese Halal Dishes to Smother Over Rice

chinesecookingdemystified.substack.com·1d·

Discuss: Substack

🔧Functional Programming

Where Marty Weitzman Went Wrong

jackdevanney.substack.com·2d·

Discuss: Substack

🧮Theorem Proving

Two-Ocean War Ch1

navalgazing.net·2d

Three interesting studies of genetic variation

denovo.substack.com·3d·

Discuss: Substack

⚡Systems Programming

Musk’s Moonshot Merger

bloomberg.com

·3d

🧠Memory Models

Send A Letter In February

davekasten.substack.com·5d·

Discuss: Substack

🔗Content Addressing

Electronic Warfare Innovations and Exports

zeihan.com·1d

🗣️Domain-Specific Languages

A Letter On Justice And Open Debate About Raping Children

popehat.com·5d

🔗Content Addressing

Coenders’ Bolt-Less Last Ditch Bolt Action Rifle

forgottenweapons.com·2d