Skip to main content
Programming Language Design and Implementation Beta
tarzh's user avatar
tarzh's user avatar
tarzh's user avatar
tarzh
  • Member for 2 years, 7 months
  • Last seen more than a week ago
Profile Activity

Stats

4,509
reputation
91k
reached
46
answers
2
questions
Communities
View all

About

PhD student

Badges

View all badges
This user doesn’t have any gold badges yet.
10
silver badges
26
bronze badges

Top tags

View all tags
79
Score
6
Posts
12
Posts %
77
Score
7
Posts
15
Posts %
61
Score
4
Posts
8
Posts %
42
Score
5
Posts
10
Posts %
39
Score
3
Posts
6
Posts %
30
Score
6
Posts
12
Posts %

Top posts

View all questions and answers
answer
38
Colored vs uncolored functions
Dec 24, 2023
answer
34
Why do so many programming languages not have a "built-in" way to do simple math functions?
Nov 13, 2023
answer
32
What are the advantages and disadvantages of implementing reals as rationals?
May 16, 2023
answer
30
What are the pitfalls of using an existing IR/compiler infrastructure like LLVM?
Jul 1, 2023
question
18
What are some techniques for faster, fine-grained incremental compilation and static analysis?
Sep 7, 2023
answer
16
Is there a difference between Rust's `macro_rules!` and Scheme's `syntax-rules`?
Nov 19, 2023
answer
16
"Testing" that something does not compile in metaprogramming
Feb 5, 2024
answer
15
Async Implementation
Dec 22, 2023
answer
14
What options are there for adding formal verification to a general purpose programming language?
Jun 8, 2023
answer
13
Do you need an "Any" type when implementing a statically typed programming language?
Jul 7, 2023

Top Meta posts

0
2
7
What's the right domain name for this site?
4
Should we have a generic tag for DSLs or just specialized ones?

Top network posts

View all network posts
8
Why are these two proofs so different?
7
Where do we draw the line between suspicion, and evidence, of cheating on an exam?
6
Are TAs supposed to get paid for hours it takes to grade?
5
Definitional vs propositional equality