Reputation
13,937
Next privilege 15,000 Rep.
Protect questions
Badges
5 31 49
Newest
 Nice Answer
Impact
~529k people reached

Sep
28
comment Can compilers check whether certain axioms hold for a user defined type?
Actually, in most cases, they can. This is what static analysis is all about. I recently spent a couple of days in training on a new static analysis tool, for C. I'd previously (late 1970s) spent time on a research project on formal verification. The static analysis tool was doing a lot of what the verification tools did, over 30 years ago, and the old tools did a much better job.
Sep
28
comment Can compilers check whether certain axioms hold for a user defined type?
Key word "all". In MOST cases, on REAL code, it is trivial to determine that the code will or will not terminate, and that it does or does not meet the specification.
Sep
28
awarded  Yearling
Sep
26
revised Drawing a biggest possible circle inside a polygon - JSXGRAPH
fix typo
Sep
26
answered Drawing a biggest possible circle inside a polygon - JSXGRAPH
Sep
23
awarded  Enlightened
Sep
23
awarded  Nice Answer
Sep
23
answered Why normalization improves numerical precision?
Sep
19
answered Are there any valid use-cases for eager boolean evaluation?
Sep
18
answered Path to learning compiler design
Sep
18
comment In what situations does it make sense to use an enumeration when writing object-oriented code?
It is interesting to note that, when Nicklaus Wirth tackled object-oriented programming, in his Oberon language, enumerations were one of the things he dropped from the language, because he couldn't find an acceptable way to allow "derived objects" to extend the enumeration.
Sep
16
comment Is it ever OK to commit non-working code?
@ThomasOwens, with all due respect, if your DVCS admin set your system up so that local repositories or branches are not backed up, your DVCS admin is an idiot and needs to find a new job more suited to his talents ("Would you like fries with that?"). If your DVCS admin did it that way because your IT guys told him to, that goes for your IT organization as well. If anything, this is arguably an indictment of the entire DVCS concept: committing code to VCS should BY DEFINITION mean committing it to automatic backup.
Sep
15
revised Why is this syntax convention?
Add fair-use quote from interview, rework remainder of answer.
Sep
15
answered Why is this syntax convention?
Sep
15
answered A question about storing passwords
Sep
14
answered Where can I find an authoritative comparison of computer languages?
Sep
8
comment Source code “prints” at release
No, they want that list for a very good reason. They want to be able to audit the build process, to prove that you actually built what you thought and claimed you built. LOTS of projects have had LOTS of problems that were eventually traced back to the wrong version of something getting into the build.
Sep
7
awarded  Custodian
Sep
7
reviewed Edit Is learning C essential for Computer Science?
Sep
7
revised Is learning C essential for Computer Science?
corrected spelling