Teenager. Former OIer. Interested in CS, especially ITP/ATP and PLT.
Proof Assistants
Q&A for mathematicians and computer scientists who develop and use proof assistants
Joined 1 year, 6 months ago, last seen 12 months ago
51 reputation
5 bronze badges
badges
1 questions
0 answers
Meta Stack Exchange
Q&A for meta-discussion of the Stack Exchange family of Q&A websites
Joined 1 year, 6 months ago, last seen 1 year, 6 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Stack Overflow
Q&A for professional and enthusiast programmers
Joined 1 year, 6 months ago, last seen 6 months ago
1 reputation
2 bronze badges
badges
0 questions
0 answers
Arqade
Q&A for passionate videogamers on all platforms
Joined 1 year, 6 months ago, last seen 1 year, 6 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Software Recommendations
Q&A for people seeking specific software recommendations
Joined 1 year, 6 months ago, last seen 1 year, 6 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Chinese Language
Q&A for students, teachers, and linguists wanting to discuss the finer points of the Chinese language
Joined 1 year, 6 months ago, last seen 1 year, 6 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Code Golf
Q&A for programming puzzle enthusiasts and code golfers
Joined 1 year, 6 months ago, last seen 1 year, 6 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
Ask Ubuntu
Q&A for Ubuntu users and developers
Joined 1 year, 6 months ago, last seen 1 year, 6 months ago
1 reputation
1 bronze badge
badges
0 questions
0 answers
1 reputation
1 bronze badge
badges
0 questions
0 answers