Hackernews posts about Aristotle

1. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
   16 points by mathfan 5 days ago | 2 comments
2. Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (www.erdosproblems.com)
   2 points by Davidzheng 3 days ago | 1 comments
3. Aristotle from Harmonic has solved this Erdos problem (www.erdosproblems.com)
   2 points by cjbarber 4 days ago | discuss
4. Aristotle – How to live a good life (ralphammer.com)
   262 points by thread_id over 1 year ago | 167 comments
5. Who can claim Aristotle? (aeon.co)
   86 points by sillybilly about 1 year ago | 93 comments
6. The Elements by Tom Lehrer (Aristotle's Version) (tomlehrersongs.com)
   4 points by lisper 4 months ago | discuss
7. Aristotle: IMO-Level Automated Theorem Proving (arxiv.org)
   3 points by jasondavies 2 months ago | discuss
8. Aristotle Finance (aristotle.finance)
   3 points by wapiou 4 months ago | discuss
9. Aristotle – How to live a good life (ralphammer.com)
   3 points by Vadim_samokhin over 1 year ago | discuss
10. [Aristotle], On Trolling (2016) (philarchive.org)
    1 points by aebtebeten about 2 months ago | 1 comments
11. NH Rejects Aristotle Onassis Oil Refinery in 1974 (www.seacoastnh.com)
    1 points by JojoFatsani over 1 year ago | 1 comments
12. From Aristotle to John Searle and Back Again: Metaphysics and Computation (2016) (www.academia.edu)
    1 points by danielam about 2 months ago | discuss
13. Introduction to Aristotle's Virtue Ethics (mahmoudrasmi.com)
    1 points by decafquest over 1 year ago | discuss
14. Aristotle's Rhetoric (plato.stanford.edu)
    1 points by squircle over 1 year ago | discuss
15. Aristotle's Rhetoric (plato.stanford.edu)
    1 points by lovestaco almost 2 years ago | discuss
16. Aristotle on Friendship: What Does It Take to Be a Good Friend? (2023) (1000wordphilosophy.com)
    1 points by kugurerdem almost 2 years ago | discuss
17. Aristotle's Errors (kiwihellenist.blogspot.com)
    1 points by highfrequency almost 2 years ago | discuss
18. Show HN: I built a journaling app to reflect with history's greatest minds (www.mylifenote.ai)
    2 points by cryptozenmaster 8 months ago | discuss
19. Show HN: Life Note – Guided Personal Growth Tool with 1,000 Great Minds (mylifenote.ai)
    1 points by cryptozenmaster over 1 year ago | discuss
20. Why Cloudflare CEO Matthew Prince is the internet's unlikely defender (2024) (www.theverge.com)
    5 points by jc_811 11 months ago | discuss
21. Slack Lists (slack.com)
    2 points by aristotle2 over 1 year ago | discuss
22. Science and Sanity: Introduction to Non-Aristotelian Systems&General Semantics [pdf] (ilam3d.wordpress.com)
    2 points by bookofjoe 11 months ago | 1 comments
23. Aristotelian Physics (en.wikipedia.org)
    1 points by nyc111 about 1 year ago | discuss
24. Show HN: Pantheon-CLI – Open-Source Python Claude Code and Smart Notebook (github.com)
    6 points by steorra 3 months ago | 7 comments
25. Ask HN: How to Get Better at Arguing?
    18 points by divan almost 2 years ago | 15 comments
26. Tracking Down the Original Photo from the End of 'The Shining' (twitter.com)
    2 points by Bogdanp 6 months ago | discuss
27. Ask HN: Are you a people manager using hacky tools?
    2 points by arist0tl3 over 1 year ago | 1 comments
28. Looking for (Engineering Manager) Beta Testers
    1 points by arist0tl3 10 months ago | discuss