practal's submissions

1.		AI for Math Winners (renaissancephilanthropy.org)
		1 point by practal 54 days ago \| past
2.		Persistent sequences with insert and delete and canonical structure? (cs.stackexchange.com)
		1 point by practal 85 days ago \| past \| 1 comment
3.		Three challenges in machine-based reasoning (amazon.science)
		1 point by practal 4 months ago \| past
4.		Mathematics in the 20th century, by Michael Atiyah [pdf] (2002) (marktomforde.com)
		122 points by practal 10 months ago \| past \| 18 comments
5.		Show HN: Deep Dive into Abstraction Logic [video] (youtube.com)
		1 point by practal on Oct 24, 2024 \| past
6.		Show HN: Recursive teXt (recursivetext.com)
		2 points by practal on Jan 22, 2024 \| past
7.		Show HN: A First Look at Practal (practal.com)
		2 points by practal on Feb 4, 2023 \| past
8.		A Practical Logic (practal.com)
		1 point by practal on July 23, 2020 \| past \| 1 comment