Hackernews posts about Aristotle

1. Fable Built a 3D Model of Aristotle's Cognitive Architecture (conceptual-spaces.vercel.app)
   14 points by mikemangialardi 24 days ago | 10 comments
2. Sylvia Plath, Aristotle, and Jean-Paul Sartre Walk into a Bar (techandsundry.medium.com)
   2 points by sgkey28 12 days ago | discuss
3. Grok is a surprisingly good automated theorem prover
   3 points by henryrobbins00 8 days ago | 1 comments
4. Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com)
   3 points by henryrobbins00 30 days ago | discuss
5. The Metaphysics (350 BCE) (classics.mit.edu)
   2 points by andsoitis 19 days ago | 1 comments
6. Aristotle – How to live a good life (ralphammer.com)
   262 points by thread_id almost 2 years ago | 167 comments
7. Who can claim Aristotle? (aeon.co)
   86 points by sillybilly over 1 year ago | 93 comments
8. Harmonic's automated theorem prover Aristotle solves open Erdős problem in Lean (www.erdosproblems.com)
   16 points by mathfan 8 months ago | 2 comments
9. The output doesn't matter: Thoughts on Aristotle's Craftsmen in the age of LLMs (lambdacreate.com)
   10 points by durrendal 3 months ago | discuss
10. Aristotle's Rhetoric, Strunkified (lukebechtel.com)
    4 points by lukebechtel 7 months ago | 3 comments
11. The Elements by Tom Lehrer (Aristotle's Version) (tomlehrersongs.com)
    4 points by lisper about 1 year ago | discuss
12. Aristotle and the so-called Tragic Flaw (jonathanbate.substack.com)
    3 points by B1FF_PSUVM 6 months ago | discuss
13. Aristotle: IMO-Level Automated Theorem Proving (arxiv.org)
    3 points by jasondavies 10 months ago | discuss
14. Aristotle Finance (aristotle.finance)
    3 points by wapiou about 1 year ago | discuss
15. Show HN: Aristotle, an AI-powered e-reader that helps you read deeper (www.aristotlereader.com)
    2 points by smahendrakar 7 months ago | 1 comments
16. Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (www.erdosproblems.com)
    2 points by Davidzheng 8 months ago | 1 comments
17. Aristotle (en.wikipedia.org)
    2 points by hkopp 6 months ago | discuss
18. Aristotle from Harmonic has solved this Erdos problem (www.erdosproblems.com)
    2 points by cjbarber 8 months ago | discuss
19. Aristotle Reasoning Agent (aristotle.harmonic.fun)
    1 points by bananaflag 4 months ago | 1 comments
20. [Aristotle], On Trolling (2016) (philarchive.org)
    1 points by aebtebeten 9 months ago | 1 comments
21. Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)
    1 points by unprovable 8 months ago | discuss
22. From Aristotle to John Searle and Back Again: Metaphysics and Computation (2016) (www.academia.edu)
    1 points by danielam 10 months ago | discuss
23. Introduction to Aristotle's Virtue Ethics (mahmoudrasmi.com)
    1 points by decafquest almost 2 years ago | discuss
24. Show HN: I built a journaling app to reflect with history's greatest minds (www.mylifenote.ai)
    2 points by cryptozenmaster over 1 year ago | discuss
25. Show HN: Life Note – Guided Personal Growth Tool with 1,000 Great Minds (mylifenote.ai)
    1 points by cryptozenmaster almost 2 years ago | discuss
26. Why Cloudflare CEO Matthew Prince is the internet's unlikely defender (2024) (www.theverge.com)
    5 points by jc_811 over 1 year ago | discuss
27. Empedocles fragments found in Egypt (metro.co.uk)
    2 points by Iuz 4 months ago | discuss
28. Science and Sanity: Introduction to Non-Aristotelian Systems&General Semantics [pdf] (ilam3d.wordpress.com)
    2 points by bookofjoe over 1 year ago | 1 comments
29. An Aristotelian understanding of object-oriented programming (dl.acm.org)
    2 points by b-man 3 months ago | discuss
30. Aristotelian Physics (en.wikipedia.org)
    1 points by nyc111 over 1 year ago | discuss
31. Show HN: Pantheon-CLI – Open-Source Python Claude Code and Smart Notebook (github.com)
    6 points by steorra 11 months ago | 7 comments
32. Vibe-learning: the answer to cognitive debt (blog.airistotle.org)
    3 points by tigitouchdown 2 months ago | discuss