Snow
Snow
@snow.bsky.social
Quiet falling thoughts Merkle forest flowers
137 followers121 following49 posts
The genesis of techno scientific revolutions (https://www.hup.harvard.edu/catalog.php?isbn=9780674251854) highlights structural similarities between science and engineering. Scientific facts and explanations have the same structure as engineering forms and functions.
hup.harvard.eduhup.harvard.edu
The Howard curry isomorphism (https://en.m.wikipedia.org/wiki/Curry–Howard_correspondence) seems to have the same structure between proofs and programs.
Snow reposted
Snow reposted
Snow reposted
Any Bayesians over here? Very interested in a steelman counter argument.
daviddeutsch.org.ukSimple refutation of the ‘Bayesian’ philosophy of science – David Deutsch
You are up to date.