Skip to main content
Computer Science
Jirka Hanika's user avatar
Jirka Hanika's user avatar
Jirka Hanika's user avatar
Jirka Hanika
  • Member for 9 years, 8 months
  • Last seen more than a week ago
  • Prague
Profile Activity
Stats
219
reputation
10k
reached
2
answers
0
questions
Communities
View all
About

Software developer at NCR, spending most of his working time around machine-to-machine interfaces. Designed and co-developed Epos TTS system in a previous life.

-- #SOreadytohelp

Badges
This user doesn’t have any gold badges yet.
1
silver badge
4
bronze badges
Top tags
View all tags
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
6
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
5
Score
1
Posts
50
Posts %
Top posts
answer
6
The bounded halting problem is decidable. Why doesn't this conflict with Rice's theorem?
Dec 5, 2017
answer
5
Assuming P = NP, how would one solve the graph coloring problem in polynomial time?
Mar 13, 2020
Top network posts
View all network posts
133
How to print VARCHAR(MAX) using Print Statement?
87
Disallow deletion of questions for 24 hours after last answer was posted
82
reading from serial from linux command line
57
Final report rejected, institution asked to return funding and prosecute my supervisor
41
map operator [] and bool as value