progscrape: philosophy

A new paper in Philosophy of Science argues that understanding how an AI finds a proof isn’t necessary for knowing that the proof is correct, as long as the reasoning can be transparently checked.

9 months ago cambridge.org ai mathematics

No Military Funding (2004)

9 months ago web.eecs.umich.edu philosophy

Software can be finished

9 months ago rosswintle.uk philosophy

Design for the trash can

9 months ago arpi.se philosophy

Why Tech Inevitability is Self-Defeating

10 months ago deviantabstraction.com philosophy

Free software hasn't won

10 months ago dorotac.eu law philosophy

Exit the Feed: The Best Coders Should Walk Away

10 months ago abner.page culture philosophy

How I Learned to Code (using Japanese Method)

10 months ago blog.stackademic.com japan philosophy

A Refreshing Philosophy of Software Design [Book Review]

9 months ago theaxolot.wordpress.com

valuetier.org (and some thoughts on LLMs)

10 months ago ericphanson.com llm philosophy vibecoding