Skeptics
Petr Hudeček
  • Member for 7 years
  • Last seen this week
Profile Activity
Stats
148
reputation
1k
reached
1
answer
1
question
Communities
View all
About

I am especially interested in compilers, language design and formal proving.

I also make videogames, see here for a list with screenshots: https://hudecekpetr.cz/my-videogames/

I am affiliated with PostSharp Technologies and answer -related questions in that capacity.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
7
bronze badges
Top tags
1
Score
1
Posts
50
Posts %
1
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers Articles
Votes Newest
2
Were millions of people infected by SARS?
Mar 30 '20
1
Is adult life expectancy the same in hunter-gatherer tribes and in industrialized societies?
Jan 17 '16
Top network posts
View all network posts
35
What is the origin of D&D 1-9 spell levels?
32
How to alleviate the tedium of PC death at higher levels?
16
typeof(T) within generic nested types
14
Why are there so many youtube to mp4 and mp3 download websites online when it is illegal?
12
If an identity conversion exists from S to T, must it be that S and T are same type?

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.