Computer Science

Notes that link to this note

• Content Addressing
• P=NP
• Blockchain
• Formal Methods
• Structure and Interpretation of Computer Programs
• Constraint Satisfaction
• Automated Theorem Proving
• Systems Software Research is Irrelevant
• Interaction Net
• Incremental Computation
• Compression
• Natural Language Processing
• On Addressability, or What Even Is Computation?
• Decidability
• Reification
• Graph