Viewing profile — tristenharr

I'm still working on Logos Language. Just launched v0.10.0 :) https://logicaffeine.com/benchmarks

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…

This is the silliest take I’ve ever read. Strong type systems are an AI’s best friend.

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 f…

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. S…

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…

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 L…

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 cre…

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…

Author recognition seems to climb as a smooth gradient with author exposure in LLM's. :)

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 …