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

Lee

I ❤ PL and counting things.

Senior Software Engineer @ Google

20
answers
0
questions
~11k
people reached
  • Sunnyvale, CA, United States
  • leegao
  • phailed.me
  • Member for 7 years, 3 months
  • 48 profile views
  • Last seen yesterday

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 →