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 17 days ago | 2 comments
  2. Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (www.erdosproblems.com)
    2 points by Davidzheng 15 days ago | 1 comments
  3. Aristotle from Harmonic has solved this Erdos problem (www.erdosproblems.com)
    2 points by cjbarber 16 days ago | discuss
  4. Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN (xenaproject.wordpress.com)
    1 points by unprovable 10 days ago | discuss
  5. Aristotle – How to live a good life (ralphammer.com)
    262 points by thread_id over 1 year ago | 167 comments
  6. Who can claim Aristotle? (aeon.co)
    86 points by sillybilly about 1 year ago | 93 comments
  7. The Elements by Tom Lehrer (Aristotle's Version) (tomlehrersongs.com)
    4 points by lisper 5 months ago | discuss
  8. Aristotle: IMO-Level Automated Theorem Proving (arxiv.org)
    3 points by jasondavies 2 months ago | discuss
  9. Aristotle Finance (aristotle.finance)
    3 points by wapiou 5 months ago | discuss
  10. Aristotle – How to live a good life (ralphammer.com)
    3 points by Vadim_samokhin over 1 year ago | discuss
  11. [Aristotle], On Trolling (2016) (philarchive.org)
    1 points by aebtebeten about 2 months ago | 1 comments
  12. NH Rejects Aristotle Onassis Oil Refinery in 1974 (www.seacoastnh.com)
    1 points by JojoFatsani over 1 year ago | 1 comments
  13. From Aristotle to John Searle and Back Again: Metaphysics and Computation (2016) (www.academia.edu)
    1 points by danielam 2 months ago | discuss
  14. Introduction to Aristotle's Virtue Ethics (mahmoudrasmi.com)
    1 points by decafquest over 1 year ago | discuss
  15. Aristotle's Rhetoric (plato.stanford.edu)
    1 points by squircle over 1 year ago | discuss
  16. Aristotle's Rhetoric (plato.stanford.edu)
    1 points by lovestaco almost 2 years ago | discuss
  17. Aristotle on Friendship: What Does It Take to Be a Good Friend? (2023) (1000wordphilosophy.com)
    1 points by kugurerdem 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 9 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 12 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 4 months ago | 7 comments