llabs

4 ms·

1. 1.▲
   Show HN: LLM CAS tools (math verification)(auteng.ai)

   4 points by llabs 9mo ago|1 comments
2. 2.▲
   by llabs 9mo ago

   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{
3. 3.▲
   Show HN: AutEng Docs – Google Docs x Gist x LLM chat(auteng.ai)

   1 points by llabs 10mo ago|0 comments
4. 4.▲
   by llabs 3y ago

   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.
5. 5.▲
   by llabs 3y ago

   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.
6. 6.▲
   Show HN: A Domain Name Generator that's useful(domainowl.ai)

   15 points by llabs 3y ago|7 comments