• The next time someone says ‘all lives matter,’ show them these 5 paragraphs
• BubbleSort Zines
• Jean Yang
• F*: A Higher-Order Effectual Language Designed for Program Verification
• F* Tutorial
• Richard Smallwood & Vision featuring Kim Burrell
• Titan: Distributed Graph Database
• Amazon DynamoDB