| user: | tristenharr |
| created: | February 15, 2023 |
| karma: | 167 |
| 1. | Gaussian Function(en.wikipedia.org) |
| 2. | The Three Projections of Doctor Futamura(blog.sigfpe.com) |
| 3. | Partial Evaluation(en.wikipedia.org) |
| 4. | Show HN: Author2Vec(author2vec.com) |
| 5. | Kolmogorov Complexity(en.wikipedia.org) |
| 6. | |
| 7. | Symmetry Breaking(en.wikipedia.org) |
| 8. | |
| 9. | Logos Programming Language is now on Grokipedia(grokipedia.com) |
| 10. | Show HN: The Logos Programming Language and Theorem Prover(logicaffeine.com) |
| 11. | |
| 12. | Logos Theorem Prover: Auto Tactic(logicaffeine.com) |
| 13. | Logos Language Guide: Compile English to Rust(logicaffeine.com) |