Skip to main content
Medical Sciences Beta
Petr Hudeček's user avatar
Petr Hudeček's user avatar
Petr Hudeček's user avatar
Petr Hudeček
  • Member for 4 years
  • Last seen more than 2 years ago
Profile Activity
Stats
111
reputation
197
reached
1
answer
0
questions
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.
2
bronze badges
Top tags
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
1
Score
1
Posts
100
Posts %
Top posts
answer
1
Are influenza vaccinations the same worldwide?
Sep 6, 2020
Top network posts
View all network posts
37
What is the origin of D&D 1-9 spell levels?
32
How to alleviate the tedium of PC death at higher levels?
32
How to delete a keyboard layout in Windows 10
19
How to fix " Access Denied to perform this action: View user permissions on a resource" while publishing my custom vscode extension
18
Why are there so many YouTube to MP4 and MP3 download websites online when it is illegal?