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