it just shows that language design is part of IT that moves slowly, because they are good enough. Also, we do happen to have a few millenia of experience with languages, whereas most people get by quite alright without…
guess they have enough burger flippers and taxi drivers? /s
nwatson, the first part of that sentence doesn't make any sense, neither the rest
Maths should be preparing for this in advance. after all it's just maths, even with the sorting and all. We are not talking about systems programming or such like. Still, as others mention, having a pc with a debugger…
The spread of this opinion has an upstart attitude to it. There might be a profit to be made in raising donations, or otherwise awareness, for the cause.
to assume that maths is itself the absolute truth ,which suppesedly actual mathematics are supposed to lead to, is an apt syllogism. It's saying, any kind of math that doesn't reveal an absolut truth isn't real maths.
it's a bit tongue in cheek, but many people agree, that's telling
It's a sense of realism where only those rights have meaning, that you can up hold, with brute force, the same way wealth f.ex. allows threatening and engaging adversaries with lawyers and court fees.
We don't have school nurses in, i believe, all of europe. Are children here dying in school? I didn't think so.
So let me put it this way. Your description of mathematics is not very amusing to me.
Zermalo-Frenkel Set theory with the Axiom of Choice is not proven to be consistent. One might argue that consistency is a natural requirement for a rule to be a rule. Especially for peano axioms, consistency is a given,…
But if so, it just shows that there are way too many laws.
If it from the latter sentence means the derivative, the sentence makes sense, because with y'=f(x,y(x)) we wanna solve the equation for y.
it's overwhelmingly not coal, a majority share is imported gas. Local energy is coal and renewables are under 5% last time I checked, that's true.
Legality should follow morality. You argued that it is immoral to prohibit drugs, if that fosters an underground market, because that market is likely violent and otherwise criminal. I say, drug abuse leads to violent…
What if it is the idea, to let criminals deal with criminals. It's a circular reasoning if then the organizdd crime is said to be bad because it supplies drugs, that are dangerous and should be controled. I mean, if…
eztv the site or the group? the site is just a front. It also ran zoink.it as torrent-file host, but files are spread on other hosts, as well. Hardly anyone relies on the site anyway. Not to mention, I suspect I once a…
* vice versa
reading the book still requires a significant amount of time
>Agda’s logic is constructive, which means it’s impossible to prove the statement that all statements are either true or false, . This proposition is called the law of the excluded middle. This makes it impossible to…
there is an agda shell for interactice proving in emacs, with some automations. convenience offered by agda-mode: automatic generation of case analysis, refinement of holes, autocompletion of code based on types to name…
it's called pro-gress. the optimistic interpretation is for a move to the better
Engineers tend to read specs and apply standards.
just as with many other online media, a lot of content is artificially constructed. The work going into wordplay and ironic remarks with potential for virality are not unlike what we have seen in marketing and media for…
it just shows that language design is part of IT that moves slowly, because they are good enough. Also, we do happen to have a few millenia of experience with languages, whereas most people get by quite alright without…
guess they have enough burger flippers and taxi drivers? /s
nwatson, the first part of that sentence doesn't make any sense, neither the rest
Maths should be preparing for this in advance. after all it's just maths, even with the sorting and all. We are not talking about systems programming or such like. Still, as others mention, having a pc with a debugger…
The spread of this opinion has an upstart attitude to it. There might be a profit to be made in raising donations, or otherwise awareness, for the cause.
to assume that maths is itself the absolute truth ,which suppesedly actual mathematics are supposed to lead to, is an apt syllogism. It's saying, any kind of math that doesn't reveal an absolut truth isn't real maths.
it's a bit tongue in cheek, but many people agree, that's telling
It's a sense of realism where only those rights have meaning, that you can up hold, with brute force, the same way wealth f.ex. allows threatening and engaging adversaries with lawyers and court fees.
We don't have school nurses in, i believe, all of europe. Are children here dying in school? I didn't think so.
So let me put it this way. Your description of mathematics is not very amusing to me.
Zermalo-Frenkel Set theory with the Axiom of Choice is not proven to be consistent. One might argue that consistency is a natural requirement for a rule to be a rule. Especially for peano axioms, consistency is a given,…
But if so, it just shows that there are way too many laws.
If it from the latter sentence means the derivative, the sentence makes sense, because with y'=f(x,y(x)) we wanna solve the equation for y.
it's overwhelmingly not coal, a majority share is imported gas. Local energy is coal and renewables are under 5% last time I checked, that's true.
Legality should follow morality. You argued that it is immoral to prohibit drugs, if that fosters an underground market, because that market is likely violent and otherwise criminal. I say, drug abuse leads to violent…
What if it is the idea, to let criminals deal with criminals. It's a circular reasoning if then the organizdd crime is said to be bad because it supplies drugs, that are dangerous and should be controled. I mean, if…
eztv the site or the group? the site is just a front. It also ran zoink.it as torrent-file host, but files are spread on other hosts, as well. Hardly anyone relies on the site anyway. Not to mention, I suspect I once a…
* vice versa
reading the book still requires a significant amount of time
>Agda’s logic is constructive, which means it’s impossible to prove the statement that all statements are either true or false, . This proposition is called the law of the excluded middle. This makes it impossible to…
there is an agda shell for interactice proving in emacs, with some automations. convenience offered by agda-mode: automatic generation of case analysis, refinement of holes, autocompletion of code based on types to name…
it's called pro-gress. the optimistic interpretation is for a move to the better
it's called pro-gress. the optimistic interpretation is for a move to the better
Engineers tend to read specs and apply standards.
just as with many other online media, a lot of content is artificially constructed. The work going into wordplay and ironic remarks with potential for virality are not unlike what we have seen in marketing and media for…