HNHacker News
TopNewBestAskShowJobs

tristenharr

178 karma · joined February 15, 2023

Building Logos Language
submissionscomments

The AI may have a spot in it's Jacobian representing YOU

author2vec.com·1 pts·tristenharr·
0

Guide to help people Transplant to the Bay from the Midwest

transplantfrommissouri.com·1 pts·tristenharr·
1

Ask HN: Do your tests clear "If the tests pass, you cannot break the code" bar?

1 pts·tristenharr·
1

Show HN: Jacobian Fingerprinting in LLM's

author2vec.com·2 pts·tristenharr·
0

Verbalizable Representations Form a Global Workspace in Language Models

transformer-circuits.pub·5 pts·tristenharr·
1

Adiabatic Circuit

en.wikipedia.org·1 pts·tristenharr·
0

Zero Copy

en.wikipedia.org·2 pts·tristenharr·
0

Reversible Computing

en.wikipedia.org·1 pts·tristenharr·
0

Landauer's Principle

en.wikipedia.org·2 pts·tristenharr·
0

Proving Claude Knows You by Your Code Style: Author2Vec

author2vec.com·4 pts·tristenharr·
1

Gaussian Function

en.wikipedia.org·3 pts·tristenharr·
0

The Three Projections of Doctor Futamura

blog.sigfpe.com·1 pts·tristenharr·
0

Partial Evaluation

en.wikipedia.org·2 pts·tristenharr·
0

Show HN: Author2Vec

author2vec.com·2 pts·tristenharr·
1

Kolmogorov Complexity

en.wikipedia.org·4 pts·tristenharr·
0

Ask HN: Why don't we just JIT to WASM/ASM? Why are compilers like GCC SO slow?

1 pts·tristenharr·
3

Symmetry Breaking

en.wikipedia.org·6 pts·tristenharr·
0

Ask HN: What are the best robot arms with car/chasis for under $500 in 2026?

2 pts·tristenharr·
0

Logos Programming Language is now on Grokipedia

grokipedia.com·2 pts·tristenharr·
0

Show HN: The Logos Programming Language and Theorem Prover

logicaffeine.com·3 pts·tristenharr·
3

RFC: Distributed Computation Mesh in Logos Language

github.com·3 pts·tristenharr·
0

Logos Theorem Prover: Auto Tactic

logicaffeine.com·1 pts·tristenharr·
1

Logos Language Guide: Compile English to Rust

logicaffeine.com·53 pts·tristenharr·
34

Golden Algebra (The Textbook: Preview Edition)

zenodo.org·2 pts·tristenharr·
4

Polylogarithm Values at a Golden Ratio Based Argument

zenodo.org·2 pts·tristenharr·
1

Ask HN: Why do none of the LLM providers let you delete/edit messages in the UI?

3 pts·tristenharr·
3

Polylogarithm Values at a Golden Ratio-Based Argument

zenodo.org·7 pts·tristenharr·
0

The Mirror Math Spell-Book: The Definitive Compendium (First Edition Preprint) [pdf]

github.com·1 pts·tristenharr·
0

The K-Metallic Mirror: An Algebraic System and Its Foundational Symbolic Proofs

github.com·1 pts·tristenharr·
4

Golden Algebra: A unifying mathematical framework

github.com·13 pts·tristenharr·
3
Page 1 of 2Next →