Skip to content

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

practal

285 karmajoined July 23, 2020On HN

Researcher and freelancer. Developing Practal (https://practal.com).

GitHub: https://github.com/phlegmaticprogrammer email: obua@practal.com

Recent submissions

The End of Mathematics daniellitt.com
33practal27d20 comments
We're excited to announce that AXLE is switching from Lean to Rocq axle.axiommath.ai
3practal5mo1 comment
AI for Math Winners renaissancephilanthropy.org
1practal10modiscuss
Persistent sequences with insert and delete and canonical structure?cs.stackexchange.com
1practal11mo1 comment
Three challenges in machine-based reasoning amazon.science
1practal1ydiscuss

All submissions and comments on Hacker News.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.