11,498 reputation
52541
bio website
location
age
visits member for 3 years, 6 months
seen 2 hours ago
Very senior embedded real-time systems programmer (Texas law is very picky about the use of the term "engineer"), unsuccessful candidate for U.S. Congress, and unreconstructed Cold Warrior.

Oct
21
revised Why does a proportional controller have a steady state error?
Expansion and correction
Oct
20
awarded  Fanatic
Oct
19
answered Why does a proportional controller have a steady state error?
Oct
15
revised Which is the best style: for loop with unused control variable and expensive termination condition?
Add comment about optimization of Option 1 to Option 2
Oct
15
answered Which is the best style: for loop with unused control variable and expensive termination condition?
Oct
13
comment Using Functions for Never-Repeated Code
@DonalFellows, if the window of market opportunity is perceived to be that short, your company probably should reconsider whether it should be competing in that niche.
Oct
13
answered Using Functions for Never-Repeated Code
Oct
11
answered How small is the footprint of a small C compiler?
Oct
4
comment Is it OK to use same variable to store similar stuff sequentially?
Yes, @DocBrown, some of us really do. It helps us remember that those variable are SHORT-TERM, and it helps the compiler do live-variable analysis for register allocation.
Oct
4
comment Making some methods mostly contain method calls, while others doing “the lowest level” work
@k3b: True. If you're going to insist on doing C++, or some other allegedly object-oriented language, and you insist on organizing things into classes, then layers are disjoint sets of classes. (Sets of classes, as opposed to single classes, because you want to organize things at each layer. Disjoint, because layers are not allowed to overlap.)
Oct
3
answered Making some methods mostly contain method calls, while others doing “the lowest level” work
Oct
3
comment What is the most orthogonal programming language?
@Kheldar, no programming language can prevent management f***ups like the one that was responsible for the Ariane V failure. You should do your homework on this one.
Sep
30
answered Optimizing code generation for expressions in a compiler
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