Java programmer, theoretical computer science enthusiast

My blog

Jul
8
awarded Yearling
Jul
8
awarded Yearling
Jul
8
answered Why are computers so complicated?
Jul
7
revised Track performance numbers
added 108 characters in body
Jul
7
answered Track performance numbers
Jul
7
comment Track performance numbers
SonarQube has great graphs that measure software quality, unit test coverage and the number of unit tests passed.
Jul
7
comment Is reading+modifying existing code better than making your own?
@gnasher729 you also need to review or make review to somebody else what you have written. Otherwise you it is very difficult to make progress.
Jul
7
revised Is reading+modifying existing code better than making your own?
added 71 characters in body
Jul
7
comment Is reading+modifying existing code better than making your own?
@randomA thanks! I have updated my answer adding informations about places to find good writing.
Jul
7
revised Is reading+modifying existing code better than making your own?
How to find good code to read
Jul
7
answered Is reading+modifying existing code better than making your own?
Jul
2
awarded Curious
Jul
2
awarded Curious
Jul
2
awarded Curious
Jun
12
asked JBPM5: verifying that a transition between nodes is valid
Jun
9
revised Cubic MacLaurin $e^{x^2}$
formulae formatting
Jun
8
accepted Consequences of difference between "strong" and weak Church-Rosser property
Jun
8
answered Consequences of difference between "strong" and weak Church-Rosser property
Jun
2
accepted Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
Jun
2
revised Proving that $\Omega = (\lambda x.xx)(\lambda x.xx)$ is not typable in the simply typed lambda calculus
Clarified my proof
1 2 3 4 5