gizi

26 ms·

181.
by gizi 11y ago
According to the Curry-Howard correspondence, all mathematical proofs are actually programs. This is normal. A proof is a series of steps, and if you unambiguously describe these steps, a computer will obviously be able to execute them. Fur
182.
by gizi 11y ago
Your average coder already is working at a high abstraction level Scripting is not more abstract than C. You can perfectly-well script in C too. Add a garbage collector. You no longer need to call the free() function. Add a few dynamicall
183.
by gizi 11y ago
If that were true, everybody and their little sister would understand the Bolzano–Weierstrass theorem by now. It was discovered in 1817. They teach it everywhere in high schools as a mandatory item in the math class. However, there is no ho
184.
by gizi 11y ago
That depends on how innovative your programming is. Let's take two examples of billionaire programmers: The Google Search guys and the Bitcoin guy. What you see is that they have never, ever asked anybody what problems they needed solv
185.
by gizi 11y ago
Application engineering is getting easier and easier to the point where people no longer need a degree or even extensive training to be able to do application engineering work. There has never been a positive correlation between the abili
186.
by gizi 11y ago
I came to the project only a few months ago. The project was "90% finished" but full of bugs too. We recently went live anyway. In the meanwhile, I have asked the manager/client for finding help with QA, because it is quite h
187.
by gizi 11y ago
Imagine you have a series S=[[datetime1,amount1], [datetime2,amount], ..., [datetimek,amountk]] of withdrawals in which the amounts are lower than 10 000 dollars. From there, it should be possible to define the predicate function isCrime(S)
188.
by gizi 11y ago
The FBI should first clearly spell out a definition for encryption. Encryption is a function[&] that maps a number on another number. ([&] technically, this is a simplification because encryption tends to map a given number on an en
189.
by gizi 11y ago
some tools such as Verum Dezyne and Quantum Leaps can generate 100% correct source code in C, C++, Java ... The input into these tools, from which they generate source code, is therefore, the real program and the real source code. How do
190.
by gizi 11y ago
Women seem to happily use android. So, technically, they are on linux. In the article, they probably mean: a linux desktop distribution, such as for example ubuntu. I am not so sure that there would be just a few women using ubuntu. Further
191.
by gizi 11y ago
And more women were needed in the workforce to avoid economic problems. Maybe there is a link between lots of women in the workforce and the low birth rate? Maybe if they stopped micromanaging these problems, they would spontaneously solv
192.
by gizi 11y ago
I disagree with many things he writes. For example, safety in a language has never and will never come from particular language constructs. In the best case, we can isolate particular pieces of the program and look for counterexamples that
193.
by gizi 11y ago
Expensive urban areas suffer from an excess of demand for housing, while the stock of houses is naturally limited, pushing the rental rates through the roof. A good example would be London, UK. New York and San Francisco in the US are other
194.
by gizi 11y ago
I find Eric Raymond's example for Conway's Law quite funny: If you have four groups working on a compiler, you'll get a 4-pass compiler .
195.
by gizi 11y ago
For every theorem in sociology, for example, can you show us what experiment they set up, and what results they obtained and how we can repeat their experiment in order to find counterexamples for their theorem? From there, I will acknowled
196.
by gizi 11y ago
Science is a method, producing statements about facts. A type of behaviour is not a fact (e.g. "killing someone"). It is statement. Therefore morality produces statements about statements. How could a method dealing with statement
197.
by gizi 11y ago
Science id defined by its method: to set up experiments in order to look for counterexamples for a theorem. It is pretty much impossible to set up experiments in economics. While I agree that sociology and anthropology do not satisfy the de
198.
by gizi 11y ago
The essence of science is its method: Setting up experiments in order to look for counterexamples for a scientific statement. Therefore, anybody who is uncritical of scientific results and does not desire to find counterexamples, is not eng
199.
by gizi 11y ago
It sounds too much like you are requesting an exemption from the governing anti-alchemy policy that you would like to see suspended -- as a matter of exception -- in order to let through the gates some questionable things that we should not
200.
by gizi 11y ago
Indeed, the first problem starts already with just the title of that notorious book: On the origin of species . What exactly is a species? If we cannot etch a reasonable definition for that term in stone, then all statements that make use
201.
by gizi 11y ago
An experiment must be conducted in a controlled environment. Merely staring at iguanas that they found on an island, does not constitute an experiment. What are the inputs, the outputs and the function that they have unleashed during their
202.
by gizi 11y ago
"Why is it bothersome that the goverment decides that it is illegal for schools to teach a lie?" Creationism is not a lie. It is just not science. But then again, the same holds true for evolutionism, which is also not a lie. It i
203.
by gizi 11y ago
If it needs no proof, it is not science either, and that was exactly the point I was making.
204.
by gizi 11y ago
They may indeed try to evolve a species out of another. In all examples in your link, they stay within the same species, however. There is simply no convincing experiment in which they evolve one species out of another. It does not exist.
205.
by gizi 11y ago
Can you produce a link to a repeatable experiment in which one species is being "evolved" from another?
206.
by gizi 11y ago
Creationism has obviously no foundation in science but neither has evolutionism. Where are the repeatable experiments required in order to be able to look for counterexamples for evolutionism? Has anybody ever "evolved" a species
207.
by gizi 11y ago
It is funny to see how 30+ different governments are now up in arms against something that is essentially just a set of computers running on the internet, i.e. the Uber platform. I wonder how many copycats will spring up in the future, and
208.
by gizi 11y ago
Being located in Cambodia, I get even fewer job offers. However, that is probably because they can see beforehand that I would not relocate to UK or DE. For 10 years, I made less than what I used to make in Europe, but with the much lower c
209.
by gizi 11y ago
In Germany itself, that would indeed be a major issue. Imagine, however, a company from Canada employing a German in France? Which country would manage to get in a position that they could collect social security payments? Germany would not
210.
by gizi 11y ago
The less the product matters, the more the salesman does. So, yes, in order to sell something that the other side has no interest in buying, you should go face-to-face. Google, on the other hand, has never sent out even a single salesman to

More ›