We Live in the Dependently Typed Future Now

2 points | by ibobev 10 hours ago