Petr Hudeček
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 postsharp-related questions in that capacity.
4
answers
2
questions
~847
people reached
-
Tábor, Czech Republic
-
Member for 5 years, 9 months
-
5 profile views
-
Last seen Jun 25 '20 at 10:34
Communities (43)
- Role-playing Games 2.5k 2.5k 1212 silver badges2727 bronze badges
- Stack Overflow 1.4k 1.4k 1717 silver badges2828 bronze badges
- Law 723 723 44 silver badges1212 bronze badges
- English Language & Usage 295 295 11 gold badge44 silver badges88 bronze badges
- Board & Card Games 212 212 11 silver badge77 bronze badges
- View network profile
Top 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?
- 12 What is the origin of "Improved", "Lesser", and "Greater" in spell names?
- 11 Are there any limits on the crimes a corporation can be convicted of?
- View more network posts →
Top tags (7)
Score
18
Posts
6
Posts %
100
Score
6
Posts
1
Score
5
Posts
1
Badges (8)
Gold
—
Silver
3