Introduction: Hacks #12-16
Hack 12. Find Relevant Channels and Servers
Hack 13. Guess the Time Zone of a User
Hack 14. Study Channel Statistics with pisg
Hack 15. Find Users in Channels
Hack 16. Filter Channel Lists
