nbouscal

15 ms·

91.
by nbouscal 11y ago
... You know that we do have a categorization of clouds, right? I think meteorologists would disagree with you about the utility of that categorization. More to your point: whether you can do something without a tool has no bearing on whe
92.
by nbouscal 11y ago
Applicatives are definitely something that every Haskell programmer knows. I would expect everyone on the team to understand the recommended new version, but it's less clear whether it is actually an improvement. There is a proposal to
93.
by nbouscal 11y ago
This is pretty good, I had never seen autosquash before. Another rebase flag that I find useful is --onto. For example, to rebase only the most recent N commits of a branch onto master: git rebase HEAD~N --onto master
94.
by nbouscal 11y ago
I'm sure it was a combination of a lot of issues. They did have a lot of demand, and with that demand came full advance payments for all of that product, which they got to use interest-free for the entire time from sale to delivery. I&
95.
by nbouscal 11y ago
"a $500 system that successfully managed the first four months of Soylent shipments." Successfully is rather overstating it. The shipment of Soylent was delayed by over a year and went at a snail's pace. My shipment was delay
96.
by nbouscal 11y ago
It's basically just pattern matching. Similar things have been around since at least the 70s (e.g. in SASL).
97.
by nbouscal 11y ago
The post basically read like a summary of the first class in my accounting degree. I would be very surprised if the average software engineer has less tolerance for abstraction than the average accountant. Debits and credits are the found
98.
by nbouscal 11y ago
Thanks for the correction! I wondered about that when I was writing it but didn't have time to go double-check.
99.
by nbouscal 11y ago
You're using a somewhat non-standard definition of "purity", which makes your claims more confusing than they need to be. Haskell is usually referred to as pure, and has had encapsulated effects from the start. Your claims ar
100.
by nbouscal 11y ago
Rural population is <20% of the total population of the US, so in the scheme of things I don't think this matters much. It sucks to be on the wrong side of that, but Tesla doesn't have to cater to every market.
101.
by nbouscal 11y ago
I didn't say I don't use and need math: I apply category theory and type theory all the time, and I'm sure the time I've put into studying algebraic topology and abstract algebra has shaped how I think about problems. I
102.
by nbouscal 11y ago
The software development experience is the real world problem. Programming languages are force multipliers. My argument is that statically typed programming languages are force multipliers with bigger coefficients. I doubt that Haskell wo
103.
by nbouscal 11y ago
It wouldn't surprise me at all if static typing was capable of offering useful help. If it can't today, I wouldn't be surprised to see us make progress over the next few years. I think interesting conversations could be had a
104.
by nbouscal 11y ago
In my experience, most application-level domain problems benefit significantly from strong static types. My most salient experience in the area is from working on a data analysis pipeline web app written in Haskell. The type checker regul
105.
by nbouscal 11y ago
I can't answer the question directly, because as a web engineer I haven't once in my career actually had to do linear algebra in my code. That said, the entire mindset behind this article strikes me as fundamentally wrong-headed.
106.
by nbouscal 11y ago
Why do you need the code to look obviously wrong when you have a compiler capable of telling you that it's wrong? It doesn't require a full-blown IDE to get fast feedback; I use a fairly lightweight vim config that gives me type
107.
by nbouscal 11y ago
This is so exactly the argument for a decent type system that seeing it used to argue for a naming convention is downright surreal.
108.
by nbouscal 11y ago
> they were there for you when you were programmatically young and they introduced you gently into a world that's otherwise extremely complex. This may be true for you, but it is not true for everyone. You assume that learning Haske
109.
by nbouscal 11y ago
On top of that, the colors are so similar that the graphs where you have to identify which color corresponds to which language are basically unintelligible. The designer desperately needs to read a Tufte book.
110.
by nbouscal 11y ago
My understanding of the criminal system is fine. Your ability to reason sensibly, rather than using the "victim blaming" semantic stop-sign, is more questionable. Your ability to carry on a polite conversation is quite obviously d
111.
by nbouscal 11y ago
Even when the victim legitimately deserves the blame? If I jump in front of someone shooting a gun at target practice, are you going to support charging them with manslaughter? If I jump off a bridge, are you going to blame the bridge build
112.
by nbouscal 12y ago
No, the market economy is sold as a surplus-maximizing decentralized price system. I was attempting to reason by analogy. You've pointed to a difference between the two, but haven't given an explanation of why that difference is s
113.
by nbouscal 12y ago
I'm out of my league here technically, but I'm having a hard time seeing how your critiques don't apply to the entire market economy just as well. The collective actions of all participants result in an effective price model,
114.
by nbouscal 12y ago
Since 1979, out of 33,949 requests submitted, the FISA court has denied 12 of them, 4 of which were later partially granted after being resubmitted. You're correct in saying that it's good that this number is documented, but it al
115.
by nbouscal 12y ago
Your comment was downvoted for what I hope are obvious reasons. The parent comment was probably downvoted because it didn't contribute anything to the conversation. (I did not downvote the parent comment. I did downvote your comment.)
116.
by nbouscal 12y ago
There is also evidence that moderate consumption of alcohol has health detriments. And of course, there's evidence that the benefits outweigh the detriments, and also evidence that the detriments outweigh the benefits. I haven't s
117.
Annotate with anyone, anywhere(hypothes.is)
4 points by nbouscal 12y ago|0 comments
118.
by nbouscal 12y ago
You would prefer errors to be caught by a human needing to exercise their English-proficiency over errors being caught by the compiler? Seriously? That can't actually be what you mean.
119.
by nbouscal 12y ago
I think the exact opposite: the only good judges of syntax are people who understand the semantics deeply enough to understand whether the syntax accurately reflects them. It's all well and good to say that people should be able to bou
120.
by nbouscal 12y ago
Yes, it's very important that people who work in the language be able to read and understand it easily. It is not, however, important that people who do not work in the language be able to do so. The most persistent critique of Haskell

More ›