tristenharr

Recent Submissions

1. 1. ▲ Logos Programming Language is now on Grokipedia (grokipedia.com) 2 points · 5 days ago · 0 comments
2. 2. ▲ Show HN: The Logos Programming Language and Theorem Prover (logicaffeine.com) 3 points · 14 days ago · 3 comments
3. 3. ▲ RFC: Distributed Computation Mesh in Logos Language (github.com) 3 points · 15 days ago · 0 comments
4. 4. ▲ Logos Theorem Prover: Auto Tactic (logicaffeine.com) 1 point · 19 days ago · 1 comment
5. 5. ▲ Logos Language Guide: Compile English to Rust (logicaffeine.com) 53 points · 1 month ago · 34 comments
6. 6. ▲ Golden Algebra (The Textbook: Preview Edition) (zenodo.org) 2 points · 7 months ago · 4 comments
7. 7. ▲ Polylogarithm Values at a Golden Ratio Based Argument (zenodo.org) 2 points · 7 months ago · 1 comment
8. 8. ▲ Ask HN: Why do none of the LLM providers let you delete/edit messages in the UI? 3 points · 7 months ago · 3 comments
9. 9. ▲ Polylogarithm Values at a Golden Ratio-Based Argument (zenodo.org) 7 points · 7 months ago · 0 comments
10. 10. ▲ The Mirror Math Spell-Book: The Definitive Compendium (First Edition Preprint) [pdf] (github.com) 1 point · 7 months ago · 0 comments