johnday

28 ms·

271.
by johnday 6y ago
This is a good explanation of how the Monad typeclass maps onto data functors, but I'm not sure that it translates well onto Control functors such as (-> r).
272.
by johnday 6y ago
I firmly believe that monads (and monad transformers) are exactly what an industrial engineer needs, for the following important reason. A monad describes its scope in such a way that writing code outside of its scope is a compile time erro
273.
by johnday 6y ago
I think so, yes. I think Haskell helps with this. You can write the top level code first, and be fairly confident that, if the types are sensible, there will be a sensible implementation by the time you reach the bottom. It also helps that
274.
by johnday 6y ago
In my comment (which you responded to) I am using the definite article. "The" language in this case is Haskell, and "the" compiler is GHC. The inference rules and complexities of Haskell as defined in the 2010 report are
275.
by johnday 6y ago
<star> is pronounced either "ap" or "and" depending on context. For example div <$> (Just 5) <star> (Just 7) Would be pronounced "map div over Just 5 and Just 7".
276.
by johnday 6y ago
I've tried to get into Clojure multiple times and it feels quite unergonomic to program. I think my brain is not correctly shaped for its constructs, whereas Haskell fits my mental models perfectly.
277.
by johnday 6y ago
> If your language is slow to compile, it cannot be that good. I know compilation times are a problem, but this seems untrue. Compile times are a problem of the compiler and not the language. GHC is slow because of how much it is doing
278.
by johnday 6y ago
Thanks for hugging my site to death! Note to admins: I've swapped it to Github Pages for the time being and the DNS change should propagate soon. Edit: Github Pages doesn't support adding HTTPS to a newly added domain for some rea
279.
by johnday 6y ago
Suppose that we know, axiomatically, that 99% of people who search "mattresses" want to buy a mattress. Search engine A, when someone queries "mattress", shows a page of options to buy a mattress. Search engine B, when s
280.
by johnday 6y ago
You seem to have missed the critical point from the person you're responding to: > When somebody searches "mattress", 99% of the time, they want to buy one. This is unfounded I suspect but it would be a reasonable justific
281.
by johnday 6y ago
The problem is that for many people, someone appearing persuasive is orthogonal to them actually being correct .
282.
by johnday 6y ago
Because you cannot rely on non-employees to do the job correctly.
283.
by johnday 6y ago
> He’s talking specifically about disposable consumer tech, cranking out machinery that sits and rots [...] Where did you get this impression from? No such thing is mentioned in the article, not that I saw at least.
284.
by johnday 6y ago
The point I am making is the same point you are making with your parenthetical "(finally)". The fact that something can become profitable after nearly 20 years of unprofitability is not a testament to its success; it's a test
285.
by johnday 6y ago
The only reason Tesla didn't go bust, and Uber didn't go bust (yet), is the sheer quantity of capital pumped into the machine. It would be incorrect to describe it as a success story, because the story is not yet over.
286.
by johnday 6y ago
There is a large field in which this is practically a solved problem: computer games. To be sure there isn't a single pattern, and proprietary consoles do go out of their way to make the process as difficult as possible. But the moddin
287.
by johnday 6y ago
The fundamental problem with serverside rendering is that it requires a round trip if the model changes. With modern interactive apps, the model changes a lot. People don't like waiting for things.
288.
by johnday 6y ago
> I have no idea [...] whether it's "} else {" or "}\nelse {". You never read your own code?
289.
by johnday 7y ago
The Latest page is not the final arbiter of colour naming - they are also moderated before becoming "true" names.
290.
by johnday 7y ago
I'm not sure there's a meaningful difference between a strangely shaped operator and a strangely-shaped function. (Indeed they desugar to the same thing, except one is symbolic and one is alphanumeric). Any decent library will des
291.
by johnday 7y ago
I'm with Monzo in the UK and use it similarly, Twice a month or so, £100 goes in there to pay for things like dining out and the occasional grocery shop. It's a nice way of separating the dailies from the monthlies. It means my Ol
292.
by johnday 7y ago
No, because in this setting your original take home was £1.00. To lay it out in numbers: BEFORE £1 pay increase: £X earnings, £Y benefits AFTER £1 pay increase: £X + 1 earnings, £Y - 0.63 benefits DIFFERENCE: £0.37 So a pay increase of £1
293.
by johnday 7y ago
Surely if benefits are part of your income, a £0.63 reduction in your benefits is a £0.63 reduction in your total income (up until the benefits are zero)? In other words, an effective tax rate of 63% on earnings while you receive a nonzer
294.
by johnday 7y ago
> This is such a tediously computer-centric vision. There are hundreds of tools in the world that are used every day that have "friction" and need to be "explained". I would be very interested to hear of some such too
295.
by johnday 7y ago
I'm not convinced there's much (non-real-time) software where performance places legitimate constraints on deadlines. I've seen exactly one case before, which was an ancient script running on a mainframe in a bank which took
296.
by johnday 7y ago
The difficulty here is that the word "div" is still highly overloaded in CSS. That said, I can probably put something together which satisfies what you're asking for - a set of "sensible defaults", like halfway betw
297.
by johnday 7y ago
I wasn't conflating anything! I would be perfectly happy if all forms of advertising went away, targeted or otherwise. This wasn't a conversation about the reasons advertising was bad. I was just commenting that I don't thi
298.
by johnday 7y ago
What would happen if, for example, all advertising was made illegal globally? I strongly doubt the internet would stop working.
299.
by johnday 7y ago
Why is it that advertising is (in your opinion) only openly sponsored and non-personal? I receive plenty of targeted, personal messages which I consider advertising, from mail to abandoned cart notifications. And there are definitely advert
300.
by johnday 7y ago
I think it's easier and more correct to view it the other way round: propaganda is a form of advertising. Specifically it's political advertising which intends to bring you round to some viewpoint. Viewed this way it's much e

More ›