musername

5 ms·

1.
by musername 11y ago
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 solving numerical puz
2.
by musername 11y ago
guess they have enough burger flippers and taxi drivers? /s
3.
by musername 11y ago
nwatson, the first part of that sentence doesn't make any sense, neither the rest
4.
by musername 11y ago
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 and other distrac
5.
by musername 11y ago
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.
6.
by musername 11y ago
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.
7.
by musername 11y ago
it's a bit tongue in cheek, but many people agree, that's telling
8.
by musername 11y ago
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.
9.
by musername 11y ago
We don't have school nurses in, i believe, all of europe. Are children here dying in school? I didn't think so.
10.
by musername 11y ago
So let me put it this way. Your description of mathematics is not very amusing to me.
11.
by musername 11y ago
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, so your comparison
12.
by musername 11y ago
But if so, it just shows that there are way too many laws.
13.
by musername 11y ago
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.
14.
by musername 11y ago
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.
15.
by musername 11y ago
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 or otherwise illegal,
16.
by musername 11y ago
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 crime was only abou
17.
by musername 11y ago
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 got a virus from a sh
18.
by musername 11y ago
* vice versa
19.
by musername 11y ago
reading the book still requires a significant amount of time
20.
by musername 11y ago
> 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 perform, for exampl
21.
by musername 11y ago
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 a few. http:&#x2F
22.
by musername 11y ago
it's called pro-gress. the optimistic interpretation is for a move to the better
23.
by musername 11y ago
Engineers tend to read specs and apply standards.
24.
by musername 11y ago
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 a while, just at dif
25.
by musername 11y ago
Is I'm pretty sure yet enough to warrant a report?
26.
by musername 11y ago
protoype for sel4 is written in .hs
27.
by musername 11y ago
> Composing functions out of other, smaller functions offers a big reduction in complexity. If they’re named well, this allows you to write functions that are easy to read. there are only two problems in CS, cache invalidation and nami
28.
by musername 11y ago
localization has to deal with differing laws, too. Differing customs in general.
29.
by musername 11y ago
last time i ordered from swiss to germany, tax used to be paid on import and there is the possibility to file for tax return on export. So, this change only moves the responsibility of paying the tax back to the seller. Offering a billing a
30.
by musername 11y ago
the ypeface isn't semantic so the name reflecting the typeface isn't either. emphasis has semantic value (think of the latex command \emph), but italics is styling

More ›