User: p0

• Created: 1302 days ago
• Karma: 3
• Senior Director of Engineering @ GitHub, responsible for CodeQL, code search, and code navigation

submissions | comments