Talks.cam will close on 1 July 2026, further information is available on the UIS Help Site
 

University of Cambridge > Talks.cam > CamPoS (Cambridge Philosophy of Science) seminar > Hacks and explanations via program execution

Hacks and explanations via program execution

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Matt Farr.

This talk is about hacks – seemingly ad hoc, unprincipled bits of code used to make a program run more efficiently, or, in some cases, simply run at all. Hacks are exceedingly common, but their philosophical significance has not been fully appreciated. First, using an infamous hack for computing fast inverse square roots as a motivating example, I sketch an account of what it is to explain how hacked programs work. On this account, we cannot explain how a hacked program works without reference to facts about a system’s computational architecture and notation. Then, I suggest that this has ramifications for accounts of computational explanation that foreground a system’s abstract causal structure or its semantic properties. The ramification is that these accounts are in trouble.

This talk is part of the CamPoS (Cambridge Philosophy of Science) seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity