Programmer's Compedium Articles

These are the articles from Destroy all software website made by Gary Bernhardt. Enjoy the content and please support him!

Groups:

• Types
• Digital Electronic
• Software Structure
• Network Protocols

Singles:

• Statically typed languages
• Dynamically typed languages
• Static and dynamic languages compared
• Strong and weak typing
• Gradual typing
• Compiling statically typed code
• Arguments for static and dynamic types
• Diversity of static type systems
• Type system power
• Some static type systems

Digital Electronics:

• Logic Gates
• De Morgan’s Laws
• Building gates from NAND
• The Universality of NAND
• Adding numbers in computers
• Half adders
• Full adders
• Multi-bit addition

Software Structure:

• Programming language structure
• Code is mostly graphs
• Graphs in thought
• The call graph
• Reasoning about call graphs
• Module interaction graphs
• Structure of ubermodules
• Arguments against ubermodules
• Improving the module graph
• The package dependency graph
• Package granularity
• The utility of graph analysis

Network Protocols:

• Network routing
• Packet switching
• Out-of-order packets
• Transmission windows and slow start
• Reliable transmission
• Physical networking
• Networking meets the real world
• The interconnected network stack