Skip to content

Instantly share code, notes, and snippets.

@antiagainst

antiagainst/KnowledgeTips.md

Last active August 29, 2015 13:57
Show Gist options
  • Save antiagainst/9838157 to your computer and use it in GitHub Desktop.
Save antiagainst/9838157 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
KnowledgeTips.md

Knowledge

Endianness

  • Big-endian: the most significant byte is stored in the smallest address
  • Small-endian: the least sigificant byte is stored in the smallest address

safety and liveness

Any specification can be expressed as the conjunction of a safety property and a liveness property.

  • safety: something bad will never happen
  • liveness: something good eventually happens

HTTP status code

  • 1xx: informational
  • 2xx: successful
  • 3xx: redirection
  • 4xx: client error
  • 5xx: server error

type erasure

  • languages using type erasure: Java, Scala, Haskell, ML, OCaml
  • lanugages keeping type parameters at runtime: C++, C#, F#
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment