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.
-
Tábor, Czech Republic
-
Member for 7 years, 3 months
-
0 profile views
-
Last seen Feb 3 at 16:46
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 →
Keeping a low profile.
This user hasn't posted yet.
Badges (9)
Gold
—
Silver
7
Rarest
Bronze
2
Rarest
-
Dec 2 '13
-
Nov 19 '13