News for hackers. Stuff that matters.
Re:Whither Philosophy? by JonChesterfield on Thursday November 09, 2023 @01:31PM (#38208860)
In a literal sense it is no longer considered philosophy because it did pay off.

The field is somewhat doomed to only contain the good ideas of the future and the bad ideas of the present, because as soon as they are identified as good ideas they get their own branding and are no longer part of philosophy.

For example, my current distraction is homotopy type theory which is a way to reason about computable functions without error, amenable to machine checked proof. That is, it's a credible path to building software that actually works. Here is is under the philosophy department of Cornell. https://www.cmu.edu/dietrich/philosophy/hott/

Re:Whither Philosophy? by dventimi on Thursday November 09, 2023 @08:24PM (#38213851)
That's Carnegie Mellon University, not Cornell.