llabs · HackerTrans

llabs

no profile record

Submissions

Show HN: LLM CAS tools (math verification)

auteng.ai

4 pointsby llabsvor 7 Monaten1 comments

Show HN: AutEng Docs – Google Docs x Gist x LLM chat

auteng.ai

1 pointsby llabsvor 8 Monaten0 comments

Show HN: A Domain Name Generator that's useful

domainowl.ai

15 pointsby llabsvor 3 Jahren7 comments

comments

llabs

vor 7 Monatendiscuss

Using an LLM with CAS math validation tools to validate it's work and then to generate a markdown document with CAS blocks:

  :::cas mode=chain engine=sympy assumptions="x \neq 1"
  $$ \frac{x^2 - 1}{x - 1} $$
  $$ = \frac{(x-1)(x+1)}{x-1} $$
  $$ = x + 1 $$
  :::

Which you can run to check it.

llabs

vor 3 Jahrendiscuss

Thanks for the feedback, I originally tried to import all domains ~1b, but that took a week, so I'll always be a week behind unless I do some serious optimisation there! Currently using godaddy API, which has FAST or ACCURATE options. Given the generator requests are already 10s long (most of which is gpt4) I opted for the FAST, but I can trial it with the ACCURATE and see how it goes. Thanks again!

llabs

vor 3 Jahrendiscuss

Thanks for the feedback, I added a handful more TLD's, but need to think harder about the UX for the full list. The corporate feel is interesting, maybe adding a tone dimension like formal, neutral, light hearted could be interesting. You can also add the tone to the description although that's not obvious, I was thinking of adding some examples to help.