tristenharr
- Karma
- 0
- Created
- ()
- Submissions
- 0
-
Why or why not? This is how I have found AI to be very powerful. If my tests pass, I know my code won't break. I spend more time on tests than any other part of the code-base. I am curious who else is building in this…
- Show HN: Jacobian Fingerprinting in LLM's (author2vec.com)
- Verbalizable Representations Form a Global Workspace in Language Models (transformer-circuits.pub)
- Adiabatic Circuit (en.wikipedia.org)
- Zero Copy (en.wikipedia.org)
- Reversible Computing (en.wikipedia.org)
- Landauer's Principle (en.wikipedia.org)
- Proving Claude Knows You by Your Code Style: Author2Vec (author2vec.com)
- Gaussian Function (en.wikipedia.org)
- The Three Projections of Doctor Futamura (blog.sigfpe.com)
- Partial Evaluation (en.wikipedia.org)
- Show HN: Author2Vec (author2vec.com)
- Kolmogorov Complexity (en.wikipedia.org)
- Symmetry Breaking (en.wikipedia.org)
-
I'm looking for something to perform some automations moving and aligning ~9x6 inch pieces of slate that weigh <2kg. Looking at things like the HIWONDER arms and want something with vision and such. Trying to determine…
- Logos Programming Language is now on Grokipedia (grokipedia.com)
- Show HN: The Logos Programming Language and Theorem Prover (logicaffeine.com)
- RFC: Distributed Computation Mesh in Logos Language (github.com)
- Logos Theorem Prover: Auto Tactic (logicaffeine.com)
- Logos Language Guide: Compile English to Rust (logicaffeine.com)
- Golden Algebra (The Textbook: Preview Edition) (zenodo.org)
-
This drives me crazy. At one point I built a tool that basically gave me full control over the chats. You were able to delete or edit any message in the chat. But many of the providers lock their best models behind…