|
|
| 31. | | Prolog Control in Six Slides (t3x.org) | |
82 points by nils-m-holm on Aug 2, 2019 | 19 comments
|
|
| 32. | | Adventure in Prolog Tutorial (2016) (amzi.com) | |
131 points by AlexeyBrin on Aug 25, 2019 | 36 comments
|
|
| 33. | | Logic Programming and Compiler Writing (1980) [pdf] (sovietov.com) | |
95 points by weatherlight on Aug 2, 2018 | 8 comments
|
|
| 34. | | The Power of Prolog (metalevel.at) | |
348 points by noch on April 5, 2017 | 161 comments
|
|
| 35. | | Metamath Zero, a bootstrapping theorem prover (arxiv.org) | |
125 points by giomasce on Oct 25, 2019 | 36 comments
|
|
| 36. | | Concrete Semantics (concrete-semantics.org) | |
94 points by nextos on Jan 17, 2020 | 17 comments
|
|
| 37. | | The Future of Mathematics? [video] (youtube.com) | |
271 points by dgellow on Oct 9, 2019 | 99 comments
|
|
| 38. | | What Bodies Think About: Bioelectric Computation Outside the Nervous System (youtube.com) | |
117 points by adenadel on Dec 21, 2018 | 16 comments
|
|
| 39. | | Yin-Yang – A tool for stress-testing SMT solvers (testsmt.github.io) | |
54 points by zsu on Nov 17, 2020 | 14 comments
|
|
|
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
