Skip to main content
Computer Science
Sean's user avatar
Sean's user avatar
Sean's user avatar
Sean
  • Member for 6 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
580
reputation
21k
reached
7
answers
11
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
18
bronze badges
Top tags
View all tags
2
Score
5
Posts
28
Posts %
2
Score
5
Posts
28
Posts %
2
Score
2
Posts
11
Posts %
2
Score
2
Posts
11
Posts %
0
Score
5
Posts
28
Posts %
0
Score
3
Posts
17
Posts %
Top posts
View all questions and answers
question
7
LET REC recursive expression static typing rule
Dec 7, 2018
question
6
Why is the start symbol "not allowed" on the right hand side in Chomsky normal form?
May 28, 2018
question
6
Soundness and completeness w.r.t. programming languages
Dec 5, 2018
question
5
Removing lambda-productions when it's at the start symbol
May 23, 2018
question
4
What's the difference between environment and memory in terms of programming languages?
Nov 10, 2018
question
3
Why do we have to make variables unique when evaluating $\lambda$-calculus?
Dec 14, 2018
question
2
Why is this grammar an LL(2) grammar?
Jun 16, 2018
answer
2
Does this constitute as an LL grammar?
May 29, 2018
answer
2
Since physical memory is the RAM where is logical memory stored on the computer?
May 30, 2018
answer
2
is an empty string accepted by this NFA accepters
Jun 1, 2018
Top network posts
View all network posts
312
What exactly are keys, queries, and values in attention mechanisms?
26
How to disable selection highlighting on iTerm2?
25
Is there really no padding=same option for PyTorch's Conv2d?
22
How does the __getitem__'s idx work within PyTorch's DataLoader?
22
`UnencryptedCookieSessionFactoryConfig` error when importing Apex