Skip to content

Top New Best Ask Show Jobs

practal | Better HN

practal

256 karmaJoined July 23, 2020238 submissions

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

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

Recent submissions

1

We're excited to announce that AXLE is switching from Lean to Rocq (opens in new tab)

(axle.axiommath.ai)

3practal1mo ago1

2

AI for Math Winners (opens in new tab)

(renaissancephilanthropy.org)

1practal6mo ago0

3

Persistent sequences with insert and delete and canonical structure? (opens in new tab)

(cs.stackexchange.com)

1practal7mo ago1

4

Three challenges in machine-based reasoning (opens in new tab)

(amazon.science)

1practal9mo ago0