Computer Science
Lee
  • Member for 9 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
1,097
reputation
17k
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 %
12
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, answers, and articles
All Questions Answers Articles
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
Why aren't existential types implemented in any mainstream language?
Nov 9 '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
Top network posts
View all network posts
248
How do function pointers in C work?
27
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.