Hacker News new | ask | show | jobs
user: tristenharr
created: 2023-02-15
karma: 166

submissions:

0 points | 0 comments
Ask HN: What are the best robot arms with car/chasis for under $500 in 2026?
2 points | 0 comments
Logos Programming Language is now on Grokipedia
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: The Logos Programming Language and Theorem Prover
3 points | 3 comments
0 points | 0 comments
RFC: Distributed Computation Mesh in Logos Language
3 points | 0 comments
0 points | 0 comments
Logos Theorem Prover: Auto Tactic
1 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Logos Language Guide: Compile English to Rust
53 points | 34 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Golden Algebra (The Textbook: Preview Edition)
2 points | 4 comments
0 points | 0 comments
Polylogarithm Values at a Golden Ratio Based Argument
2 points | 1 comments
Ask HN: Why do none of the LLM providers let you delete/edit messages in the UI?
3 points | 3 comments
Polylogarithm Values at a Golden Ratio-Based Argument
7 points | 0 comments
0 points | 0 comments
The Mirror Math Spell-Book: The Definitive Compendium (First Edition Preprint) [pdf]
1 points | 0 comments
0 points | 0 comments