eriksank

16 ms·

121.
by eriksank 14y ago
If your claim is void (zero), you could put a bit more effort into elaborating that ;-)
122.
by eriksank 14y ago
Why don't you write a program to show that a particular statement in my article would be wrong?
123.
by eriksank 14y ago
Instead of ad hominem arguments -- bête et méchant -- for any statement that you do not like in my article, write a program to show that it is wrong.
124.
by eriksank 14y ago
Well, for any statement that you did not like in my article, write a program to show me that the statement is wrong.
125.
This is what is wrong with contemporary mathematics(erik-poupaert.blogspot.com)
15 points by eriksank 14y ago|46 comments
126.
by eriksank 14y ago
Well, the mathematical method is pretty much typified by its propensity to engage in derivation of equivalent statements. This is simply what people do when they construct a "proof", which is of course not a proof, but that is another issue
127.
by eriksank 14y ago
I agree that there is requirement for research results to be useful immediately. That would probably be counter-productive. However, there should be some hope that we will be able to apply them some day, even in a rather distant future ...
128.
by eriksank 14y ago
Have you tried the open-source product startups? They are approximately all set up virtually. I have never run into one that actually had a real office. It should not matter to them where you are physically, since they are not dragging alon
129.
by eriksank 14y ago
I am involved in a bunch of smaller things, each with different people that I met along the way of doing other things -- serendipitiously -- and I never felt the need to drop everything to do a big, risky startup around a "great idea" or a
130.
by eriksank 14y ago
On the long term, it is the religious "nuts" who seem to make approximately all the children. It is the same in Israel with the Haredim, I have noticed. Their progeny is growing exponentially. The meek will apparently again inherit the eart
131.
by eriksank 14y ago
The entire infrastructure for this kind of endeavour -- that is, having lots of children -- has gone and not only in Japan. Biology does not work by restoring the birthrate, I suspect. I guess it rather works by exponentially growing the su
132.
by eriksank 14y ago
Well, the problem won't be for just one generation. If the birthrate remains the same, the same problem will repeat itself generation after generation. One child per woman means: 32 - 16 - 8 - 4 - 2 - 1. Furthermore, it seems no problem to
133.
by eriksank 14y ago
Well, the Brits seemed to have been smarter than to create a new law. The Brits just confirmed the existing law. Of course, the Brits were interested in peace, quiet, order, and efficient exploitation, so I understand their motivations too
134.
by eriksank 14y ago
Perhaps we should ask the next Lord Defender of the Faith if he agrees to separations in his church and his state. I wouldn't mind a choicy piece of Wales and Scotland for myselves ;-)
135.
by eriksank 14y ago
As long as nobody gets the brilliant idea to start questioning Dharmasastra (Hindu) or Sharia (Muslim), things will probably keep working fine. The day that anybody thinks that they should start democratically re-inventing these things, all
136.
by eriksank 14y ago
I think it is the British who deserve credit for the 1937 The Muslim Personal Law Application Act which simply confirms existing Islamic/Koranic traditions, while they also insisted that the Hindus would finally agree to unambiguously codi
137.
by eriksank 14y ago
What looks the most like traditional mathematics in computing is the η-conversion in the lambda calculus. The η-conversion is any operation on expressions that yields an equivalent expression, on the condition that it is not just a rename,
138.
by eriksank 14y ago
An efficient algorithm to compute lookahead sets for a LALR1 grammar is seriously intricate. The closure computation algorithm is definitely non-trivial. I don't know about the "Classification of Finite Simple Groups" but LALR1 lookahead co
139.
About enforcing coding standards(erik-poupaert.blogspot.com)
1 points by eriksank 14y ago|0 comments
140.
by eriksank 14y ago
Your definition does not include that a system programming language must be respectful of the dlopen() and dlsym() functions. In all practical terms, it has to be; otherwise, it is not a valid system programming language.
141.
by eriksank 14y ago
Unfortunately, you are beating around the bush. It is perfectly possible to create "duck.so" in C. Any other language having a dlopen() and dlsym() will be able to find the "walk" symbol in it, and execute it. C is being used all the time e
142.
What is low-level or system programming?
2 points by eriksank 14y ago|4 comments
143.
Lambda calculus: Why true and false are functions(github.com)
4 points by eriksank 14y ago|0 comments
144.
Why Rust and Go are both dead-end languages ...
5 points by eriksank 14y ago|6 comments
145.
by eriksank 14y ago
The problem is that C wipes the floor with C++ in high-performance apps, while any scripting engine wipes the floor with C++ in terms of abstraction. C++ is simply losing the war to the combination of C with scripting.
146.
by eriksank 14y ago
It seems quite easy to use C libraries from Rust but not the other way around. Since you cannot easily use Rust libraries from C -- where is the .h header file generator? -- you cannot easily use it from any scripting engine either. How wou
147.
by eriksank 14y ago
The C++ implementation will still lose from an implementation that did the low-level mechanisms -- aka the 1% inner loops -- in C and the remainder with a scripting engine. C++ will not be faster but it will surely be more complicated to de
148.
Alternative compilation method for regular expressions(github.com)
1 points by eriksank 14y ago|0 comments
149.
Permutation Engine: looping and skipping permutations in nodeJS(github.com)
2 points by eriksank 14y ago|0 comments
150.
by eriksank 14y ago
The donations during Katrina were meant to be understood as moral support. These donations were not to be misunderstood as a claim that the US would have been incapable of dealing with Katrina by themselves.

More ›