Hackernews posts about Aristotle

RSS feed for Aristotle

01
newAristotle: Formal Verification for C and Verilogwww.harmonic.fun
▲ 7jasondavies 41h discuss
02
newDeriving logic from a minimal systems representationfleetingswallow.com
▲ 1edwardchalk 2d 💬 1
03
newEmbracing the dark side – An Aristotelian analysis of large language modelsadamschaefers.com
▲ 2telecommuter 6d discuss
04
newAnarchon – Leaderless cron for multi-instance Node.js servicesgithub.com
▲ 2aristoteliss 10d discuss
05
newAristotle quotes on virtue, knowledge, and happinesswww.campion.edu.au
▲ 194teleforce 84d 💬 97
06
newWho can claim Aristotle?aeon.co
▲ 86sillybilly 699d 💬 93
07
newHarmonic's automated theorem prover Aristotle solves open Erdős problem in Leanwww.erdosproblems.com
▲ 16mathfan 333d 💬 2
08
newFable Built a 3D Model of Aristotle's Cognitive Architectureconceptual-spaces.vercel.app
▲ 14mikemangialardi 114d 💬 10
09
newThe output doesn't matter: Thoughts on Aristotle's Craftsmen in the age of LLMslambdacreate.com
▲ 10durrendal 186d discuss
10
newAristotle's Rhetoric, Strunkifiedlukebechtel.com
▲ 4lukebechtel 298d 💬 3
11
newThe Elements by Tom Lehrer (Aristotle's Version)tomlehrersongs.com
▲ 4lisper 458d discuss
12
newAristotle and the so-called Tragic Flawjonathanbate.substack.com
▲ 3B1FF_PSUVM 256d discuss
13
newAristotle: IMO-Level Automated Theorem Provingarxiv.org
▲ 3jasondavies 390d discuss
14
newShow HN: Aristotle, an AI-powered e-reader that helps you read deeperwww.aristotlereader.com
▲ 2smahendrakar 288d 💬 1
15
newHarmonic's Math AI (Aristotle) Solves an Erdős-Problemwww.erdosproblems.com
▲ 2Davidzheng 331d 💬 1
16
newNearly 2,400-year-old school where Aristotle taught Alexander the Greatwww.livescience.com
▲ 2tzury 33d discuss
17
newAristotle and AIhollisrobbinsanecdotal.substack.com
▲ 2HR01 46d discuss
18
newAristotle's Physics: A Physicist's Lookarxiv.org
▲ 2lordleft 78d discuss
19
newSylvia Plath, Aristotle, and Jean-Paul Sartre Walk into a Bartechandsundry.medium.com
▲ 2sgkey28 103d discuss
20
newAristotleen.wikipedia.org
▲ 2hkopp 284d discuss
21
newAristotle from Harmonic has solved this Erdos problemwww.erdosproblems.com
▲ 2cjbarber 332d discuss
22
newAristotle Reasoning Agentaristotle.harmonic.fun
▲ 1bananaflag 224d 💬 1
23
new[Aristotle], On Trolling (2016)philarchive.org
▲ 1aebtebeten 373d 💬 1
24
newAristotle from HarmonicMath has solved Erdős Problem 124 in LEANxenaproject.wordpress.com
▲ 1unprovable 326d discuss
25
newFrom Aristotle to John Searle and Back Again: Metaphysics and Computation (2016)www.academia.edu
▲ 1danielam 378d discuss
26
newWe built a job board where the employers aren't human. Here's what broke
▲ 4Taskpoolai 77d 💬 4
27
newGrok is a surprisingly good automated theorem prover
▲ 3henryrobbins00 98d 💬 1
28
newShow HN: OpenATP: A platform for automated theorem proving in Leangithub.com
▲ 3henryrobbins00 120d discuss
29
newShow HN: I built a journaling app to reflect with history's greatest mindswww.mylifenote.ai
▲ 2cryptozenmaster 581d discuss
30
newWhy Cloudflare CEO Matthew Prince is the internet's unlikely defender (2024)www.theverge.com
▲ 5jc_811 660d discuss
31
newAI writing debate is similar to the one that rocked ancient Greece 2700 yrs agofortune.com
▲ 4gpi 46d 💬 1
32
newThe Metaphysics (350 BCE)classics.mit.edu
▲ 2andsoitis 110d 💬 1
33
newEmpedocles fragments found in Egyptmetro.co.uk
▲ 2Iuz 196d discuss
34
newScience and Sanity: Introduction to Non-Aristotelian Systems&General Semantics [pdf]ilam3d.wordpress.com
▲ 2bookofjoe 666d 💬 1