Gwern — Epistemology↗

And if we accept #1, we’re saying that no one will ever attain the heights of power necessary to simulate worlds—that the necessary computing power will not come into existence.

Designed formal notations & distinct vocabularies are often employed in STEM fields, and these specialized languages are credited with greatly enhancing research & communication.

Defining the security/hacker mindset as extreme reductionism: ignoring the surface abstractions and limitations to treat a system as a source of parts to manipulate into a different system, with...

Online & mainstream media and social networking have become increasingly misleading as to the state of the world by focusing on ‘stories’ and ‘events’ rather than trends and averages.

A logically-valid argument which takes the form of a modus ponens may be interpreted in several ways; a major one is to interpret it as a kind of reductio ad absurdum , where by ‘proving’ a...

What did he make of those problems? Newton declined to commit his beliefs to publication, but an interesting summary survives thanks to a relative of his.

How close does formal mathematical proof empirically come to perfection?

Annotations sorted by machine learning into inferred 'tags' . This provides an alternative way to browse: instead of by date order, one can browse in topic order.

It’s been just a month [since [ Stable Diffusion ](!W) was released] . What about in a year? I probably won’t be able to find my work out there because [the Internet] will be flooded with AI art.