- 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.
Edit: I just realized from 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?
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 I'd recommend reading first though.
I'm Tudor, CEO of Harmonic. We're huge believers in formal verification, and started Harmonic in 2023 to make this technology mainstream. We built a system that achieved gold medal performance at 2025 IMO (https://harmonic.fun/news), and recently opened a public API that got 10/12 problems on this year's Putnam exam (https://aristotle.harmonic.fun/).
If you also think this is the future of programming and are interested in building it, please consider joining us: https://jobs.ashbyhq.com/Harmonic. We have incredibly interesting challenges across the stack, from infra to AI to Lean.
Proton’s product changes over the last couple years are the exact opposite of that. I think they’re the only credible game in town for an email/drive service in the cloud that doesn’t have AI data mining risks.
I have, and the technical support representative at Proton confirmed
it, but not without implying that it was my fault for using rclone. I
asked the official recommendation for Linux users to do automated or
scriptable backups onto a Proton drive and the answer was that some
kind of SDK was planned for the future. Proton drive stopped working
completely with rclone shortly after that, which was about two months
ago.
To be honest, all consumer cloud storage providers get touchy when you access them via API.
Dropbox API refuses to sync certain 'sensitive' files like game backups (ROMs or ISOs). There is no way for Dropbox to know if you own the game and thus can own a backup, they just play file police.
Conflicts of interest are taken extremely seriously at the NSF; much more so than at private funding organizations. You can't come within a mile of reviewing grant applications from researchers at your institution, or researchers you have been affiliated with in the past.
> You are implying a few things here; that it is the responsibility of others to fund your success and that there were not, or will not be, alternative means of such funding.
Yes, the government funds research, the benefit of which accrues to all of society. There is no credible alternative to government funding for public research; the scales are not the same. Private funding of basic research (internal R&D budgets) accrues benefits to the funders directly.
Knock-on effects to cutting the government funding include a decimation of future research leadership by the US by making it unattractive to study and do basic research here. Other countries are taking advantage of this (like any private sector company would if one of its competitors makes such a drastic mistake).
> Lastly you are implying that your graduate research was something that advanced some combination of science, humanity, the country...or maybe that the current work you do is of such value that the government should have paid your way to your current status.
You're overly indexing on the benefits any specific researcher gets from research funding. Research is currently done by humans; if we want more research done, then the people doing that research will necessarily get some of the benefits.
Also, since you're commenting on a software-focused web forum -- you should be aware that the compensation for government-funded researchers is a fraction of what these folks could make in the private sector. Framing it as some greedy theft of resources from the public is foolish and disingenuous to readers who don't know about how science funding works in the US.
When you speak in abstracts and generic terms about the value of government funding research, you are saying nothing meaningful in terms of knowing whether the government should spend more or less on research. If the OP's specific research was into The Changing Mating Habits of the Delta Smelt Due to Habitat Destruction, then probably it was money that could far better spent paying tuition for, say, medical students or even just letting tax payers keep their money and spend it in a way that directly benefits their family, their community, and themselves. Otherwise you are just handwaving and demanding everyone assume that all research is good and should be publicly funded.
In terms of cutting NSF budget, they have issued grants for things that explicitly violate Title IX of the Civil Rights act.[1] You can't justify all NSF spending by cherry picking successful past spending. We can evaluate the benefits of proposed research and whether it aligns with the intentions and values of society at large. We don't have to spend because someone incanted the words "Because SCIENCE!" over a bubbling beaker.
> If the OP's specific research was into The Changing Mating Habits of the Delta Smelt Due to Habit Destruction, then probably it was money that could far better spent paying tuition for, say, medical students or even just letting tax payers keep their money and spend it in a way that directly benefits their family, their community, and themselves.
The problem is it's very hard to know ahead of time which research directions will yield fruit. If we knew how to only fund good research, then science funding would be very easy. Unfortunately, that's not the case -- oftentimes things that are sure bets fail, and things that are rejected as "not promising" result in a breakthrough. So we have to fund a lot of stuff, some of which is not obviously going to yield a great ROI.
On the one hand, yes, funding science the way we do results in a lot of "wasted" funding. There are tons of inefficiencies. On the other hand, the way we fund science has been wildly successful in terms of the benefits we have reaped. Look around you, you can see them everywhere in every sector.
The danger is we pull back funding to things that are "sure bets" and they turn out to be duds while we miss out on other less sure opportunities. That would be a loss for everyone involved.
I did not stop reading right there, but I may as well have. Invoking this particular area of research has become a popular conservative trope, because casual news readers do not get the point of studying a tiny fish in general or its love life in particular, even though it's a useful indicator species for the overall health of the riparian ecosystem.
You seem you like an intelligent person. Why are you leaning on tropes that exploit and glorify ignorance and anti-intellectualism?
