| 1. | | Show HN: The Logos Programming Language and Theorem Prover (logicaffeine.com) |
| 3 points by tristenharr 6 days ago | past | 3 comments |
|
| 2. | | RFC: Distributed Computation Mesh in Logos Language (github.com/brahmastra-labs) |
| 3 points by tristenharr 7 days ago | past | discuss |
|
| 3. | | Logos Theorem Prover: Auto Tactic (logicaffeine.com) |
| 1 point by tristenharr 10 days ago | past | 1 comment |
|
| 4. | | Logos Language Guide: Compile English to Rust (logicaffeine.com) |
| 53 points by tristenharr 22 days ago | past | 34 comments |
|
| 5. | | Golden Algebra (The Textbook: Preview Edition) (zenodo.org) |
| 2 points by tristenharr 7 months ago | past | 4 comments |
|
| 6. | | Polylogarithm Values at a Golden Ratio Based Argument (zenodo.org) |
| 2 points by tristenharr 7 months ago | past | 1 comment |
|
| 7. | | Ask HN: Why do none of the LLM providers let you delete/edit messages in the UI? |
| 3 points by tristenharr 7 months ago | past | 3 comments |
|
| 8. | | Polylogarithm Values at a Golden Ratio-Based Argument (zenodo.org) |
| 7 points by tristenharr 7 months ago | past |
|
| 9. | | The Mirror Math Spell-Book: The Definitive Compendium (First Edition Preprint) [pdf] (github.com/tristenharr) |
| 1 point by tristenharr 7 months ago | past |
|
| 10. | | The K-Metallic Mirror: An Algebraic System and Its Foundational Symbolic Proofs (github.com/tristenharr) |
| 1 point by tristenharr 7 months ago | past | 4 comments |
|
| 11. | | Golden Algebra: A unifying mathematical framework (github.com/tristenharr) |
| 13 points by tristenharr 7 months ago | past | 3 comments |
|
| 12. | | Operation Help TheGoodz Guy (operationhelpthegoodzguy.com) |
| 1 point by tristenharr 10 months ago | past | 1 comment |
|
| 13. | | Ask HN: What's your favorite CLI and what makes it great? |
| 3 points by tristenharr on July 2, 2024 | past | 1 comment |
|
| 14. | | In major change, college athletes set to be paid directly by schools (washingtonpost.com) |
| 2 points by tristenharr on May 24, 2024 | past |
|
| 15. | | Supergraph Panel with Hasura, MotherDuck, ClickHouse and Yugabyte (youtube.com) |
| 3 points by tristenharr on April 23, 2024 | past |
|
| 16. | | Show HN: A Discord bot to converse with documentation using GPT-4 and RAG |
| 8 points by tristenharr on March 3, 2024 | past | 3 comments |
|
| 17. | | My Coding Journey (twitter.com/tristenharr) |
| 1 point by tristenharr on Jan 6, 2024 | past |
|
| 18. | | Learning bimanual mobile manipulation with low-cost whole-body teleoperation (mobile-aloha.github.io) |
| 126 points by tristenharr on Jan 5, 2024 | past | 47 comments |
|
| 19. | | Hasura V3 Engine is in alpha (github.com/hasura) |
| 1 point by tristenharr on Dec 20, 2023 | past |
|
| 20. | | Hasura is rebuilding in Rust, who else is in the midst of a rebuild? (reddit.com) |
| 1 point by tristenharr on Dec 14, 2023 | past | 2 comments |
|
| 21. | | Who else is in the midst of rebuilding in Rust and what are you rebuilding? |
| 2 points by tristenharr on Dec 11, 2023 | past | 2 comments |
|
| 22. | | The Architect's Dilemma: Navigating the World of GraphQL (hasura.io) |
| 7 points by tristenharr on Nov 16, 2023 | past | 2 comments |
|
