Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
1,077
reputation
6
8

Lee

I ❤ PL and counting things.

20
answers
0
questions
~10k
people reached
  • Sunnyvale, CA, United States
  • leegao
  • phailed.me
  • Member for 6 years, 10 months
  • 48 profile views
  • Last seen Jun 10 at 3:44

Communities (9)

Top network posts

Top tags (28)

Score 13
Posts 3
Posts % 15
Score 11
Posts 5
Score 11
Posts 3
Score 11
Posts 2
Score 11
Posts 2
Score 10
Posts 2
View all tags →

Top posts (20) All Questions Answers | Votes Newest

8 Upper bound of of fib(n+2) Nov 16 '16
7 Why isn't it simple to count the number of words in a regular language? Mar 10 '17
6 Intuitive explanation of Hoare assignment axiom Nov 18 '16
6 Solving divide & conquer reccurences if the split-ratio depends on $n$ Nov 15 '16
5 Can we express the program to find last element of a list as a catamorphism? Dec 2 '16
5 Understanding this answer: A CFG defines a language as a the smallest solution to a system of language equations Nov 3 '16
5 Number of balanced binary trees (The Art of Computer Programming) Nov 2 '16
4 How to use structural induction to prove law on lists Apr 11 '17
4 Showing Optimal Substructure for Stacking Boxes DP Problem? Nov 16 '16
4 Why aren't existential types implemented in any mainstream language? Nov 9 '16
View all questions and answers →

Badges (14)

Gold

—

Silver

6

Rarest

Bronze

8

Rarest

View all badges →