Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
nmrm
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
61.
▲
by
nmrm
12y ago
> ACH is infuriatingly slow. Tell me about it. > If you'd like a payroll run to arrive in employee accounts on a Friday, it must be initiated almost a week prior. Right. It'd love to see BC companies do well and then die off
62.
▲
by
nmrm
12y ago
> transactions, once confirmed are not reversible. Oh wonderful! So if I (as a customer or as a service) make a mistake I'm completely hosed. And since the service isn't insured (yay no regulation), a mistake on one customer&#x
63.
▲
by
nmrm
12y ago
The rhetoric around explanations of the utility of cryptocurrency has changed a lot in the past few years. These days, the major emphasis is on circumventing the fees/processes associated with banking (as opposed to the libertarian and
64.
▲
by
nmrm
12y ago
I have another apt application of this already-stretched analogy, but I think it works well w.r.t. the pain of doing large projects without the right tools: A bicycle ride to the next town is enjoyable. Paddle boating across the Atlantic ge
65.
▲
by
nmrm
12y ago
okay, fair enough.
66.
▲
by
nmrm
12y ago
What about the Code Complete examples posted somewhere on this thread? ("above", at the moment)? What about checkable specifications together with a comment explaining the formula, particularly for anything with a nice physical in
67.
▲
by
nmrm
12y ago
> For scientific coding, comments should align with the underlying theory for the code 100x this. Scientific software should be held to a different set of standards than non-scientific software, primarily because you can probably not ass
68.
▲
by
nmrm
12y ago
I'm not sure I would describe Racket as recent.
69.
▲
by
nmrm
12y ago
> All those can steal users money if compromised. Not in a vacuum; they have to be deployed in a setting where that's possible. > Would you include web browsers, OSs, system libraries and such in that definition? It's sort-o
70.
▲
by
nmrm
12y ago
I'm referring only to the specific case of regulations which cover engineering practice (as opposed to more industry-specific regulations, for instance, which I don't know enough to comment on). In these cases, absolutely yes! The
71.
▲
by
nmrm
12y ago
I think this makes a lot more sense in the case of gas/oil, where you actually need something to fill the tubes.
72.
▲
by
nmrm
12y ago
This is great to hear. The best way for software to keep itself relatively unburdened by (poorly implemented) regulation is for industry to hold itself to high standards. And why wouldn't we? We're proud of what we build. I'l
73.
▲
by
nmrm
12y ago
The honest answer is that I don't know, because I don't know how much money the reddit tipbot handles or how long the money stays vulnerable to a potential bug in the software. This is criteria I suggest: > for any piece of so
74.
▲
by
nmrm
12y ago
Professional auditing and security testing should be necessary for any piece of software from which it's possible to drain large sums of money, regardless of who's running the software or holding the money. In fact, I'd argue
75.
▲
by
nmrm
12y ago
So, I tried to think of counter-examples to "most (and possibly all?) early application of mathematics required computation" just for the sake of discussion. I think I have only one, which is the establishment of axioms, both phil
76.
▲
by
nmrm
12y ago
> Premises are not part of the argument, they're assertions that the argument is based on You kind of answer yourself by identifying the fact that premises are often called into question during the course of an argument: > If we
77.
▲
by
nmrm
12y ago
> It doesn't take 20 years to evaluate an argument. Yes it can, and even in barely contrived scenarios if your proof calculus isn't nice enough. More importantly, in very practical cases even not assuming adversarial (e.g. Micr
78.
▲
by
nmrm
12y ago
> I disagree with your premise. I believe that all arguments rest of the degree of truth of their premises I categorically wasn't referring to the choice of premises, but rather to the cost of finding and evaluating valid arguments
79.
▲
by
nmrm
12y ago
> Why would you do that? Because I have a finite amount of time in the world. Because we need to decide which policy to enact (or not) today and not in 20 years. Because producing and evaluating arguments takes time, and -- most importan
80.
▲
by
nmrm
12y ago
> One party claims to be right, states its premises, and how those premises lead to their conclusion. This is a very vague sentence. What does "how those premises lead to their conclusion" mean? A formal system? If not a form
81.
▲
by
nmrm
12y ago
> And if there aren't better arguments for the other things, then those are the things that should be done. As a tangential but related point, I think this can be a very dangerous position. Arguments aren't created in a vacuum,
82.
▲
by
nmrm
12y ago
I think our fundamental disagreement boils down to a question of tractability. It's not that better arguments don't exist . Rather, it's a matter of whether the argument is even worth our time. > It may be important to no
83.
▲
by
nmrm
12y ago
I disagree. The term "computer" was typically reserved for people who exclusively did often pre-defined computations, and didn't contribute much other than the computation to the mathematics at hand. That is, someone else h
84.
▲
by
nmrm
12y ago
> A good argument made with bad intentions is still a good argument. I agree with your parent here, though. There's almost always a good argument for any given thing, and often several. It's sometimes useful to be able to say &
85.
▲
by
nmrm
12y ago
This comment is fairly comical, since most of the groups singled out in the book are typically associated with conservative politics (religious arguments are singled out several times, for instance). I agree with grandparent for pragmatic r
86.
▲
by
nmrm
12y ago
> Mathematics in the broadest sense is nothing but logic applied to axioms. mmmm. Lots of people would disagree with this :-) > Until computers came along, math was entirely a theoretical pursuit Not at all; mathematics always had a
87.
▲
by
nmrm
12y ago
> because I don't have the background, and I wish I could. Differential equations and fft come to mind. You should just resolve learn these things and work through a section a day. I have a math degree but never learned these things
88.
▲
by
nmrm
12y ago
> violent and bloody revolutions will be necessary to regain the rights we thought we already (re)gained decades or centuries ago. Digital privacy is one of these funny freedoms which everyone either greatly over or under-estimates. I do
89.
▲
by
nmrm
12y ago
What's up with the yellow lines going from already-excluded parties?
90.
▲
by
nmrm
12y ago
> The same should be able to be said about everything on Wikipedia I don't think so. Well-written encyclopedic entries are in far shorter supply than bare lists of facts. I guess the fundamental difference of opinion is between thos
More ›