tristenharr

Recent Submissions

1. 1. ▲ Ask HN: What are the best robot arms with car/chasis for under $500 in 2026? 2 points · 1 month ago · 0 comments
2. 2. ▲ Logos Programming Language is now on Grokipedia (grokipedia.com) 2 points · 1 month ago · 0 comments
3. 3. ▲ Show HN: The Logos Programming Language and Theorem Prover (logicaffeine.com) 3 points · 2 months ago · 3 comments
4. 4. ▲ RFC: Distributed Computation Mesh in Logos Language (github.com) 3 points · 2 months ago · 0 comments
5. 5. ▲ Logos Theorem Prover: Auto Tactic (logicaffeine.com) 1 point · 2 months ago · 1 comment
6. 6. ▲ Logos Language Guide: Compile English to Rust (logicaffeine.com) 53 points · 2 months ago · 34 comments
7. 7. ▲ Golden Algebra (The Textbook: Preview Edition) (zenodo.org) 2 points · 8 months ago · 4 comments
8. 8. ▲ Polylogarithm Values at a Golden Ratio Based Argument (zenodo.org) 2 points · 8 months ago · 1 comment
9. 9. ▲ Ask HN: Why do none of the LLM providers let you delete/edit messages in the UI? 3 points · 9 months ago · 3 comments
10. 10. ▲ Polylogarithm Values at a Golden Ratio-Based Argument (zenodo.org) 7 points · 9 months ago · 0 comments