FabsMuller

Erlang QuickCheck

What is QuickCheck?

QuickCheck is a language for stating properties of programs.

?FORALL(X, nat(), X*X >= 0)

FabsMuller

Erlang for beginners

• Why erlang?
• Why Use Erlang?
• When would you choose Erlang?
• Erlang: For an absolute beginner
• An Erlang OTP tutorial for beginners
• A Beginners Guide to Erlang
• What is the best way to learn Erlang?
• The Joy of Erlang; Or, How To Ride A Toruk

FabsMuller

PSQL

Magic words:

psql -U postgres

Some interesting flags (to see all, use -h or --help depending on your psql version):

• -E: will describe the underlaying queries of the \ commands (cool for learning!)
• -l: psql will list all databases and then exit (useful if the user you connect with doesn't has a default database, like at AWS RDS)