amw-zero

38 ms·

511.
by amw-zero 6y ago
I didn’t find anything confusing about it.
512.
by amw-zero 6y ago
This is a personal obsession of mine. I don’t subscribe at all to the philosophy of “just build and ship it and let the users give feedback on any bugs.” I think that’s totally a misunderstanding of agile - agile assumes that your code was
513.
by amw-zero 6y ago
The keywords in what you said is “to me.” For some reason, passionate work from home workers assume everyone likes what they like and everyone has the same situation as them. I prefer going to the office. It’s not a moral failing, it’s just
514.
by amw-zero 6y ago
I found their overall response to be thoughtful and objective, and painted an overview of the situation. I found your response to hone in on one detail and contribute nothing useful to the conversation.
515.
by amw-zero 6y ago
Avoiding the “boilerplate” of error handling means that you have implicitly coupled code now. Exceptions make local reasoning not possible. I guess you may want that in a small minority of cases, but I don’t understand the benefit they give
516.
by amw-zero 6y ago
Haskell choose syntax that is similar, if not exactly based on math. I would argue that all other programming languages have chosen completely arbitrary syntax, we’re just used to them.
517.
by amw-zero 6y ago
None of the constraints you provided are useful in any way. That’s the problem - for some reason people get addicted to the machinery of types, but fail to use them for anything of substance in a real system.
518.
by amw-zero 6y ago
Yea and I consider dependent types to be a false idol for the reasons I outlined before. Eventually you just need to compute an arbitrary program within a type check, which is equivalent to just executing the program to begin with.
519.
by amw-zero 6y ago
You either misunderstood or misstated the Curry-Howard isomorphism. Types correspond to _propositions_, programs themselves correspond to proofs. Now, that is one hell of a correspondence and I don’t mean to downplay it at all. But the reas
520.
by amw-zero 6y ago
There is no need to have “type” tests in dynamically typed languages. Dynamically typed objects are implementation details, you test without referring to the underlying types. Also, static types _are_ manual testing, you need to write the t
521.
by amw-zero 6y ago
I said that they can catch typos. They’re not generally useless, they are just useless with respect to software correctness.
522.
by amw-zero 6y ago
You just have to recognize that Lisp is the only true path, and let that guide you to salvation. That’s not even a joke. The ability to write elisp and bind it to keys is much more useful than the “text editing as programming language” para
523.
by amw-zero 6y ago
You can’t invent a Turing machine without math, so your question doesn’t make sense.
524.
by amw-zero 6y ago
Testing / verification is the hardest problem in computing. I don’t think the author actually understands why that is and has a few superficial gripes with how codebase are tested. That’s not to say that a lot of test suites are actual
525.
by amw-zero 6y ago
All of the important ideas in all of the fields that you mentioned have an absolute foundation in math. Just because we are able to work without using math everyday does not reduce the relevance of math to programming at all. Programming is
526.
by amw-zero 6y ago
CS needs to move much farther toward math and not away from it. Naming things well is always a worthy goal, but just like DDD tells us, it’s a fool’s errand in a global namespace. The distinction between certain concepts are so subtle that
527.
by amw-zero 6y ago
How is the complexity increased?
528.
by amw-zero 6y ago
You really hit the nail on the head here. It’s so easy for people to see something that took years to create, and pick out the one or two flaws in it. Meanwhile, those flaws are exponentially small compared to the benefit that an idea might
529.
by amw-zero 6y ago
You specifically said correctness. You brought up speed and maintainability. I specifically want to know how _incorrect_ code, which is code that doesn’t perform its intended function, can make a business money or have any value at all.
530.
by amw-zero 6y ago
Can you help me understand this logic - what business can make money off of software that doesn’t work?
531.
by amw-zero 6y ago
For me the best analogy is carpentry vs. architecture. I’m not saying anything about FP In particular. But there’s a cohort of people that just want to “build stuff” like you said. And then there’s people who want to architect a solution be
532.
by amw-zero 6y ago
The path you describe ("input data to database query") is most certainly representable by a graph. I'm not sure what you mean by "static graph." I do believe our memory is persistent, "static," and finite.
533.
by amw-zero 6y ago
I used AOL Instant Messenger in the year 1997. Chromium didn't even exist yet, right? You think that HTML and CSS somehow unlocked some magical powers that had never existed before? That's pretty surprising given that DOOM came ou
534.
by amw-zero 6y ago
I think a graph is how we perceive code, I just think the human brain has a very unique way of comprehending graphs. It seems to me like the graph is “indexed” in multiple different ways, so that multiple paths exist between nodes. The brai
535.
by amw-zero 6y ago
I’m very skeptical that 60% of all people prefer to work from home. In my experience, it’s a small but vocal minority who don’t value the social component of an office. I think work from home should totally be optional, but why do work-from
536.
by amw-zero 6y ago
What you described is exactly what I’ve been doing when building UIs. All of the logic of the front end application is completely outside of the view layer. I think this coupling of the view vs. the front end application is bad, and it’s th
537.
by amw-zero 6y ago
What math notation uses curly braces and angle brackets? All math notation is terse and focused on efficient expressions of ideas. Haskell syntax is much closer to all of math than C-families.
538.
by amw-zero 6y ago
I can’t think of any noteworthy idea in computing that didn’t exist in 1971.
539.
by amw-zero 6y ago
Gotcha. React Suspense is trying to be the best of both worlds. It allows you to load code for components on the fly, when they are needed, and not all up front.
540.
by amw-zero 6y ago
When I said “amortized” in this case, I just mean that the cost of the initial page load is spread out throughout the length of the session. Like you said, if you just want to quickly open an email then close the app, the session time will

More ›