As of May 31, 2023, we have updated our Code of Conduct.
Computer Science
Lee's user avatar
Lee's user avatar
Lee's user avatar
Lee
  • Member for 10 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
1,057
reputation
19k
reached
20
answers
0
questions
Communities
View all
About

I ❤ PL and counting things.

Senior Software Engineer @ Google

Badges
View all badges
This user doesn’t have any gold badges yet.
6
silver badges
8
bronze badges
Top tags
View all tags
13
Score
3
Posts
15
Posts %
11
Score
5
Posts
25
Posts %
11
Score
3
Posts
15
Posts %
11
Score
2
Posts
10
Posts %
11
Score
2
Posts
10
Posts %
10
Score
2
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
8
Upper bound of of fib(n+2)
Nov 16, 2016
answer
8
Why isn't it simple to count the number of words in a regular language?
Mar 10, 2017
answer
6
Why aren't existential types implemented in any mainstream language?
Nov 9, 2016
answer
6
Solving divide & conquer reccurences if the split-ratio depends on $n$
Nov 15, 2016
answer
6
Intuitive explanation of Hoare assignment axiom
Nov 18, 2016
answer
5
Number of balanced binary trees (The Art of Computer Programming)
Nov 2, 2016
answer
5
Understanding this answer: A CFG defines a language as a the smallest solution to a system of language equations
Nov 3, 2016
answer
5
Can we express the program to find last element of a list as a catamorphism?
Dec 2, 2016
answer
4
Showing Optimal Substructure for Stacking Boxes DP Problem?
Nov 16, 2016
answer
4
How to use structural induction to prove law on lists
Apr 11, 2017
Top network posts
View all network posts
261
How do function pointers in C work?
29
Latex rendering in README.md on Github

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.