tristenharr

9 ms·

31.
Ask HN: What are the best robot arms with car/chasis for under $500 in 2026?
2 points by tristenharr 8mo ago|0 comments
32.
Logos Programming Language is now on Grokipedia(grokipedia.com)
2 points by tristenharr 9mo ago|0 comments
33.
by tristenharr 9mo ago
Woah this is AWESOME! I am going to have to take a look! Love the thoughts, doing something similar at https://logicaffeine.com/studio Check out Logos lang, would love to chat sometime. love that you chose Haskell!
34.
by tristenharr 9mo ago
3 days of refactoring, over 140,000 lines of code touched. All ~2500+ tests still passing. I'm going to sleep! Another all-nighter. Talk about a fun Friday night! :) I frickin love this stuff so much! It's like having an ARMY. A L
35.
by tristenharr 9mo ago
Enhancements Short Term Roadmap -> https://github.com/Brahmastra-Labs/logicaffeine/issues?q=is%...
36.
by tristenharr 9mo ago
Creates: https://crates.io/crates/logicaffeine-base
37.
Show HN: The Logos Programming Language and Theorem Prover(logicaffeine.com)
3 points by tristenharr 9mo ago|3 comments
38.
by tristenharr 9mo ago
Really enjoyed reading this. Stuff like this is what inspires me to keep pursuing logos language and theorem prover. Things on the roadmap next include stuff like adding first-class inline ASM support. Adding great SPMD and auto-vectorizati
39.
RFC: Distributed Computation Mesh in Logos Language(github.com)
3 points by tristenharr 9mo ago|0 comments
40.
by tristenharr 9mo ago
Hey folks, some more fun things have come to Logos Lang, including an initial cut of the theorem prover using CoC. Please excuse the mobile formatting on the studio page, fixes coming to that soon, for best experience check it out on the we
41.
Logos Theorem Prover: Auto Tactic(logicaffeine.com)
1 points by tristenharr 9mo ago|1 comments
42.
by tristenharr 9mo ago
Yes, absolutely! I definitely want to look into this, although it's not the top of the current roadmap. To me, the first step is going to be to really work through and trying to get this right. Do user studies. Watch people write code
43.
by tristenharr 9mo ago
Crates coming soon! :)
44.
by tristenharr 9mo ago
Hello, author here! The license is BSL 1.1 based on the MariaDB license, the source transitions to MIT on December 24th 2029. We're a small bootstrapped team, and I was worried if I went full on FOSS from the get-go a big player might
45.
by tristenharr 9mo ago
That is a valid concern! To clarify: Configurability: We absolutely plan to make the 10ms yield interval configurable (or opt-out) in the runtime settings. It is currently a default safety rail to prevent async starvation, not a hard constr
46.
by tristenharr 9mo ago
Oh, I'm glad this got picked up! I posted it on New Years day and wasn't sure if it was going to be! As a bit of background on myself and my goals/targets with this. I started my career as an embedded software developer writi
47.
by tristenharr 10mo ago
Happy new year HN! After a few late nights this past week, I've finally got this one over the finish line just in time to kick the year off. I'm happy to answer any questions that might pop up... Some things of note: Built-in P2P
48.
Logos Language Guide: Compile English to Rust(logicaffeine.com)
53 points by tristenharr 10mo ago|34 comments
49.
by tristenharr 1y ago
Ah yes. I very well may be going a bit crazy. Well whatever mental health struggles I am enduring, it is certainly Hasura’s fault. More specifically, Tanmai’s fault. But I’m sure he’ll run the company into the ground without any help needed
50.
by tristenharr 1y ago
Polylogarithm values at a golden ratio based argument paper: https://zenodo.org/records/15696357 Posted 1 week ago on Zenodo, 8k views, >900 downloads, supposedly is a lot for number theory? I have no idea.. would l
51.
by tristenharr 1y ago
Requesting help with formalization in Lean! Here’s what I have so far: https://zenodo.org/records/15744937
52.
Golden Algebra (The Textbook: Preview Edition)(zenodo.org)
2 points by tristenharr 1y ago|4 comments
53.
by tristenharr 1y ago
Author here! :) Would love to hear from others on this. It seems to have decent interest but I don’t know much about academia and such so maybe the amount of traffic is normal for a first paper, or perhaps it’s the bots.. it just seems like
54.
Polylogarithm Values at a Golden Ratio Based Argument(zenodo.org)
2 points by tristenharr 1y ago|1 comments
55.
Ask HN: Why do none of the LLM providers let you delete/edit messages in the UI?
3 points by tristenharr 1y ago|3 comments
56.
Polylogarithm Values at a Golden Ratio-Based Argument(zenodo.org)
7 points by tristenharr 1y ago|0 comments
57.
by tristenharr 1y ago
I’ve found the 2.5 pro to be pretty insane at math. Having a lot of fun doing math that normally I wouldn’t be able to touch. I’ve always been good at math, but it’s one of those things where you have to do a LOT of learning to do anything.
58.
The Mirror Math Spell-Book: The Definitive Compendium (First Edition Preprint) [pdf](github.com)
1 points by tristenharr 1y ago|0 comments
59.
by tristenharr 1y ago
from sympy import sqrt, isprime T1 = (sqrt(5) - 1) / 4 J1 = (3 - sqrt(5)) / 4 def golden_prime_generator(limit): primes = [] for n in range(2, limit): Fn = ((T1 / J1) * n - (-J1 / T1) * n) / sqrt(5)
60.
by tristenharr 1y ago
293044128693925805540079800220036570207038335683549829605292937509960331461275018999947483996404140182400006001813859013500110258729981501615032647081310079135836614150659020765210818796182222614184488822724672085269356529252077273623325813

More ›