amw-zero

47 ms·

481.
by amw-zero 6y ago
There is a very clear flaw in your mathematical reasoning here, let's walk through it. Consider your second probability comparison: the difference between a probability of 0.500 and 0.501. You have this correct, the difference is 0.001
482.
by amw-zero 6y ago
This really shows how much we depend on (and exploit) open source software. The amount of infrastructure needed for a very simple product is tremendous.
483.
by amw-zero 6y ago
That’s not what I asked. I know what the distinction is. I asked why would I ever need that distinction in a program. In 10 years I’ve never come across a situation where I found that distinction useful.
484.
by amw-zero 6y ago
Why is this distinction important practically?
485.
by amw-zero 6y ago
Computation cannot be reduced to simply functions, that’s why we need something like the lambda calculus to express computation. There are functions within the calculus, but to say that “computation is a function” is not correct.
486.
by amw-zero 6y ago
This mapping of inputs to outputs is only superficial and hides that fact that computation is inherently “sequential” as you say. That’s why the even lambda calculus requires reductions. Of course I prefer writing in a functional style, bec
487.
by amw-zero 6y ago
Even if I don’t use it at work, learning TLA+ has changed the depth of my understanding of software.
488.
by amw-zero 6y ago
Thanks for that.
489.
by amw-zero 6y ago
> Linus Thorvalds The Norse God spirit of Linus Torvalds.
490.
by amw-zero 6y ago
Based on what? What evidence is there that FP actually has any effect on a project?
491.
by amw-zero 6y ago
I wouldn’t say he tried to destroy functional programming. If you read his response he pretty clearly says that he just thinks that FP as a solution to all problems is “overselling” the solution. And I 100% agree. Thinking that functional p
492.
by amw-zero 6y ago
This is such a great and actually important comment. I’ve been obsessed with program correctness / verification for a while now. It just seems like the holy grail that we can’t fully attain yet. But you keep bumping into certain walls,
493.
by amw-zero 6y ago
All web frameworks are equivalent.
494.
by amw-zero 6y ago
That's called temporal coupling, where some code only works if some previous code set some variable earlier in time. And it's a sign that you're building an implicit state machine.
495.
by amw-zero 6y ago
Tabs have always bothered me. You have the OS, which has its own mechanism for launching and switching between applications. And then one of those applications (the browser) launches and switches between applications within it. It’s always
496.
by amw-zero 6y ago
Lots of negativity around the polymorphic JSON types. I don't think this will be a problem at all in practice. It's fairly simple to limit the conditional that checks the type to exactly one place via a parsing step. This is basic
497.
by amw-zero 6y ago
How many wrappers of abstractions of wrappers of abstractions do we need?
498.
by amw-zero 6y ago
I don't understand - how is this a loss for CS? You used algorithm analysis to identify an inefficiency an improved that inefficiency. That is what Computer Science is. CS is not its notation - it is the act of doing what you just desc
499.
by amw-zero 6y ago
What does the number of commits have to do with anything? That doesn’t imply any kind of quality, right? Also, have you taken a look at the source code for Redux let’s say? It’s an extremely small library. Not exaggerating, it’s on the orde
500.
by amw-zero 6y ago
Lawyers and doctors are such a hysterical example here because they work a notorious amount. Especially when coming out of school.
501.
by amw-zero 6y ago
I am and always have been in the left “bubble” and I can’t say that I’ve witnessed any example of someone challenging any hypocrisy or lack of critical thinking. I see no challenging of groupthink, only demeaning people for not conforming.
502.
by amw-zero 6y ago
Relational algebra notation is so much more concise and readable. We’ve mangled so many very simple concepts because someone decided that math is offensive or something, so any math notation is automatically “not fit for software.” Computin
503.
by amw-zero 6y ago
While TLA+ is not intended to verify specific code implementations, we have to admit that that is the holy grail. In my view there are 2 main spheres of practical software: design and construction. Unfortunately, today's construction t
504.
by amw-zero 6y ago
He found that Erlang (and to a large extent OTP) certainly "helped" to write reliable code, it didn't just "make it possible."
505.
by amw-zero 6y ago
The unfortunate truth is that once you pick apart the definitions of deep things like logic and math, you see that we don’t even all agree on them. We like to think that because we can describe something with math it’s inherently true, but
506.
by amw-zero 6y ago
Why do you want that? Interestingly, Joe Armstrong said that people always asked about a static type system, but he couldn’t figure out the value of them. They were able to build extremely reliable systems with Erlang’s existing type system
507.
by amw-zero 6y ago
I think you need a refresher on the philosophy of mathematics: https://en.m.wikipedia.org/wiki/Philosophy_of_mathematics .
508.
by amw-zero 6y ago
We really don’t know that to be certain (the fact that math is invented). This is a very longstanding philosophical debate with arguments on both sides. Now, of course the symbols of math are invented. But math is the study of mathematical
509.
by amw-zero 6y ago
He’s a comedian. The fact that people assume he has any kind of moral responsibility to do anything at all is pretty surprising. I also don’t view him as anti-intellectual at all. He also calls his guests out constantly.
510.
by amw-zero 6y ago
They aren’t saying to not use has_many. They’re saying to not use the association method that gets put on the AR object from has_many. For example, if a User has_many Posts, they’re saying to avoid calling user.posts. That may seem weird, b

More ›