Viewing profile — musername

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 mo…

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…

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 reve…

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 law…

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 fo…

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 crimina…

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 …

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 anyw…

* 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 exclude…

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, autoco…

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.