tristenharr

6 ms·

1.
by tristenharr 8d ago
Technically the Rust codegen is from the AST, but then we want to base our other backends on the bytecode VM, although that experiment might get lifted back to the AST, I just am trying to think of the best portable format. We have a treewa
2.
by tristenharr 8d ago
Love this!! :) I thought about being that verbose in Logos lang, but I think language design changes a lot in the modern era. I suspect we end up with modular compilers, v0.11.0 of logos lang coming soon with some big updates! We have one f
3.
The AI may have a spot in it's Jacobian representing YOU(author2vec.com)
1 points by tristenharr 2mo ago|0 comments
4.
Guide to help people Transplant to the Bay from the Midwest(transplantfrommissouri.com)
1 points by tristenharr 2mo ago|1 comments
5.
by tristenharr 2mo ago
I'm still working on Logos Language. Just launched v0.10.0 :) https://logicaffeine.com/benchmarks
6.
Ask HN: Do your tests clear "If the tests pass, you cannot break the code" bar?
1 points by tristenharr 2mo ago|1 comments
7.
by tristenharr 2mo ago
This is the silliest take I’ve ever read. Strong type systems are an AI’s best friend.
8.
Show HN: Jacobian Fingerprinting in LLM's(author2vec.com)
2 points by tristenharr 2mo ago|0 comments
9.
by tristenharr 2mo ago
Feels related to research I've been doing with Author2Vec! https://author2vec.com/ I truly believe that now with all the post-training these AI models know some of us not just as fuzzy vectors but as individuals with a
10.
Verbalizable Representations Form a Global Workspace in Language Models(transformer-circuits.pub)
5 points by tristenharr 2mo ago|1 comments
11.
Adiabatic Circuit(en.wikipedia.org)
1 points by tristenharr 2mo ago|0 comments
12.
Zero Copy(en.wikipedia.org)
2 points by tristenharr 2mo ago|0 comments
13.
by tristenharr 2mo ago
Yes that's the language, the v0.10.0 benchmarks are coming very soon and with it some major updates. We've added supercompilation and symmetry breaking to the optimizer pipeline. Sneak peeks available on a branch currently named s
14.
by tristenharr 2mo ago
I wanted to major in Philosophy but was worried I wouldn’t make enough money to support the lifestyle I wanted so majored in Computer Science instead. What irony. Someday I hope to go back to school to get a PhD in philosophy with a focus o
15.
Reversible Computing(en.wikipedia.org)
1 points by tristenharr 2mo ago|0 comments
16.
Landauer's Principle(en.wikipedia.org)
2 points by tristenharr 2mo ago|0 comments
17.
by tristenharr 2mo ago
I’ve been shocked by how much LLVM leaves on the table while designing Logos language! Some very exciting benchmarks coming soon that we’ve been working on for over 6 months, but LLVM misses a LOT of potential optimizations when you have a
18.
by tristenharr 2mo ago
Lately I’ve felt Kolmogorov complexity is an unfair measurement because it takes for granted your underlying programming language as treats it as zero cost. In theory you could create a custom language and embed the program as data and “com
19.
by tristenharr 3mo ago
Hey all, I didn't actually use Claude for the embeddings on this (bc they don't offer embeddings), but I think we can extrapolate that if a tiny open source model has this level of recognition, surely the SOTA models do. Very inte
20.
Proving Claude Knows You by Your Code Style: Author2Vec(author2vec.com)
4 points by tristenharr 3mo ago|1 comments
21.
Gaussian Function(en.wikipedia.org)
3 points by tristenharr 3mo ago|0 comments
22.
The Three Projections of Doctor Futamura(blog.sigfpe.com)
1 points by tristenharr 3mo ago|0 comments
23.
Partial Evaluation(en.wikipedia.org)
2 points by tristenharr 3mo ago|0 comments
24.
by tristenharr 3mo ago
Author recognition seems to climb as a smooth gradient with author exposure in LLM's. :)
25.
Show HN: Author2Vec(author2vec.com)
2 points by tristenharr 3mo ago|1 comments
26.
Kolmogorov Complexity(en.wikipedia.org)
4 points by tristenharr 3mo ago|0 comments
27.
by tristenharr 3mo ago
Thinking about this as I continue working on Logos language prepping for our 0.10.0 release, finished our copy-patch JIT that does hot-tiering and found myself wondering why I was going to all the trouble to native tier with a big game of c
28.
Ask HN: Why don't we just JIT to WASM/ASM? Why are compilers like GCC SO slow?
1 points by tristenharr 3mo ago|3 comments
29.
Symmetry Breaking(en.wikipedia.org)
6 points by tristenharr 3mo ago|0 comments
30.
by tristenharr 7mo ago
I thought for a second you were talking about Logos Lang! The language I’m working on that we believe will be humanities last language. Best of luck, and good to have competition. How’s your FFI support? ;) https://www.logicaffei

More ›