5 ms·

You can try out Aristotle yourself today https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/. No more waitlist!

by tachim 8mo ago

dang 8mo ago
This deserves a HN thread in its own right! Do you want to submit it and email hn@ycombinator.com so we can put it in the SCP (https://news.ycombinator.com/item?id=26998308 https://news.ycombinator.com/item?id=26998308)? Edit: I just realized from https://news.ycombinator.com/item?id=46296801 https://news.ycombinator.com/item?id=46296801 that you're the CEO! - in that case maybe you, or whoever you think most appropriate from your organization, could submit it along with a text description of what it is, and what is the easiest and/or most fun way to try it out?
- tachim 8mo ago
  Sure! Should this be a "Show HN" or some other type of post?
  - zamadatix 8mo ago
    Absolutely, you've made something new you want to show us that we can try out. dang once posted some tips about making these types of submissions https://news.ycombinator.com/item?id=22336638 https://news.ycombinator.com/item?id=22336638 I'd recommend reading first though. Edit: Also https://hn.algolia.com/?dateRange=all&page=2&prefix=true&query=Show%20HN&sort=byPopularity&type=story https://hn.algolia.com/?dateRange=all&page=2&prefix=true&que... for the most popular Show HNs. Don't be discouraged we like personal/open source projects most often, Obsidian made #1
svat 8mo ago
- Minor nit: The documentation mentions "uvx aristotlelib@latest aristotle" but that doesn't work; it should be "uvx --from aristotlelib@latest aristotle" - It took me a minute or two of clicking around to figure out that the (only?) way to use it is to create an API key, then start aristotle in the terminal and interact with it there. It could be more obvious I think. - Your profile links to http://www.cs.stanford.edu/~tachim/ http://www.cs.stanford.edu/~tachim/ which doesn't work; should be http://cs.stanford.edu/~tachim/ http://cs.stanford.edu/~tachim/ (without the www) (I think Stanford broke something recently for the former not to work.)
7373737373 8mo ago
Do you regularly test your AI on the https://github.com/google-deepmind/formal-conjectures https://github.com/google-deepmind/formal-conjectures collection?

You can try out Aristotle yourself today https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/. No more waitlist!

by tachim 8mo ago

You can try out Aristotle yourself today https://aristotle.harmonic.fun/ https://aristotle.harmonic.fun/. No more waitlist!

dang 8mo ago

This deserves a HN thread in its own right! Do you want to submit it and email hn@ycombinator.com so we can put it in the SCP (https://news.ycombinator.com/item?id=26998308 https://news.ycombinator.com/item?id=26998308)? Edit: I just realized from https://news.ycombinator.com/item?id=46296801 https://news.ycombinator.com/item?id=46296801 that you're the CEO! - in that case maybe you, or whoever you think most appropriate from your organization, could submit it along with a text description of what it is, and what is the easiest and/or most fun way to try it out?

tachim 8mo ago
Sure! Should this be a "Show HN" or some other type of post?
- zamadatix 8mo ago
  Absolutely, you've made something new you want to show us that we can try out. dang once posted some tips about making these types of submissions https://news.ycombinator.com/item?id=22336638 https://news.ycombinator.com/item?id=22336638 I'd recommend reading first though. Edit: Also https://hn.algolia.com/?dateRange=all&page=2&prefix=true&query=Show%20HN&sort=byPopularity&type=story https://hn.algolia.com/?dateRange=all&page=2&prefix=true&que... for the most popular Show HNs. Don't be discouraged we like personal/open source projects most often, Obsidian made #1

svat 8mo ago

- Minor nit: The documentation mentions "uvx aristotlelib@latest aristotle" but that doesn't work; it should be "uvx --from aristotlelib@latest aristotle" - It took me a minute or two of clicking around to figure out that the (only?) way to use it is to create an API key, then start aristotle in the terminal and interact with it there. It could be more obvious I think. - Your profile links to http://www.cs.stanford.edu/~tachim/ http://www.cs.stanford.edu/~tachim/ which doesn't work; should be http://cs.stanford.edu/~tachim/ http://cs.stanford.edu/~tachim/ (without the www) (I think Stanford broke something recently for the former not to work.)

7373737373 8mo ago

Do you regularly test your AI on the https://github.com/google-deepmind/formal-conjectures https://github.com/google-deepmind/formal-conjectures collection?