List of computer-science notes:

• Logic and type theory
• Expressions in Scheme
• Counterexamples in floating-point
• Product type
• Families and dependent types
• Dependent pair type
• Universes of types
• Judgments versus propositions
• Type theory
• Functional programming
• Chopped and rounded floating point
• Declarative programming
• Casting in categories
• Movement commands in Assembly
• Operand forms in Assembly
• Pushing and popping in Assembly
• Arithmetic and logical operations in Assembly
• Commands in Assembly
• Disk
• CPU
• Computer system hardware
• Bus
• SSHing into a local UNIX machine
• Main memory
• UNIX flavors
• Formal language