tome

22 ms·

331.
by tome 2y ago
> I think on HN my contempt towards stocism itself has value here, since it invites the person reflecting on stocism to be less automatically respectful of it. In case it's helpful to you, I'll point out that your effect on me
332.
by tome 2y ago
And Haskell is going to make LLMs popular! https://groq.com/
333.
by tome 2y ago
Can't it cut wait times by infinity? For example, if the arrivals are at 1.1 per minute, and a teller processes 1 per minute.
334.
by tome 2y ago
I agree with the recommendation to use (z)diff3. I think the article massively understates the case! Three way diff makes it possible to resolve some conflicts that are literally impossible to resolve without it. Why impossible? Because
335.
by tome 2y ago
This is just begging the question! So "restaurateur" was first, but did "restaurant" get an "n"? Why isn't it "restaurat"? The reason is that in French (ultimately from Latin) "-ateur&quo
336.
by tome 2y ago
Yeah, Hickey was just wrong about this. For me, watching his talks goes like this: Hickey: I value X, Y, Z Me: Yeah man! Hickey: We get great consequences A, B, C Me: Ah yeah, I love programming like that. That's why I love Haskell! Hi
337.
by tome 2y ago
So the decline is even bigger than it looks?
338.
by tome 2y ago
TIL that Apple holds the keys to my iCloud encrypted data!
339.
by tome 2y ago
I'm confused. I thought iCloud was end-to-end encrypted anyway, and I've never heard of ADP before. Is ADP encryption at rest , whereas normal iCloud storage is only encrypted from the device to the server?
340.
by tome 2y ago
Cheap snarky comments like this have no place on HN.
341.
by tome 2y ago
Effect systems such as Bluefin (my own) and effectful allow you to have multiple possible exception effects in scope without having to cram them all into one type (with some sort of "variant" or "open sum" type). It&#x27
342.
by tome 2y ago
> What, to your knowledge, has Haskell similarly done ? Haskell also has significant usage in "building dynamic websites" and "certain slices of finance/banking".
343.
by tome 2y ago
> The "can program in the imperative mode" thing is however important. You can. We should teach more people to do this. I'm trying very hard to do this through by effect system Bluefin. More here: https://hacka
344.
by tome 2y ago
That's fair enough. Both of those are indeed week points of the ecosystem.
345.
by tome 2y ago
I find it an extremely annoying behaviour, and it seems to be implemented in such a simplistic way. If one searches for "redhead" then it's likely one also wants results for "ginger", but not all such results, only
346.
by tome 2y ago
> the Haskell ones are almost all bit rotten since I haven’t kept them up to date with GHC FWIW, over the last couple of years the stability story has got hugely better, thanks largely to the efforts of the Haskell Foundation Stability
347.
by tome 2y ago
On what basis do you declare Elon Musk "conservative"? (No less, the one man whose actions define conservatism!) Are you perhaps confusing conservatism with "current support of a Republican politician"? I agree with yo
348.
by tome 2y ago
They also have Glean: https://github.com/facebookincubator/Glean
349.
by tome 2y ago
> > Conservatism consists of exactly one proposition, to wit: > > There must be in-groups whom the law protectes but does not bind, alongside out-groups whom the law binds but does not protect. But this is completely false. The
350.
by tome 2y ago
> Islam is the only remaining religion with a political element and an existing desire for statehood What do you mean by this? There are several countries that declare themselves to be Islamic.
351.
by tome 2y ago
Yup, there's never enough time. If you do try feel free to reach out to me at any time.
352.
by tome 2y ago
Actually, I think I understand now. From the point of view of "the alternative is people earn less", "disease" does seem a misnomer. I was thinking from the point of view of "the alternative is sectors become more p
353.
by tome 2y ago
But if we had robotic wait staff then that would be a net benefit for society, and the human former wait staff would go and do something else that's slightly more valuable for an amount of pay that's either slightly less or slight
354.
by tome 2y ago
Right, I think that's a valid way of seeing it, and you pay them not to do the next highest productivity gaining job because their current job is productive, particularly in price inelastic sectors like healthcare. The reason I think
355.
by tome 2y ago
The bottleneck is the cause of the Baumol effect. If medicine didn't require qualified and licensed human labour to provide then we wouldn't have such high healthcare costs. Now admittedly, there is a gap between the increase in
356.
by tome 2y ago
It is the same issue. The reason that medical care is so expensive is that it's bottlenecked on a small number of people who are qualified and licensed to provide it. If it weren't bottlenecked on them then it would be a massive
357.
by tome 2y ago
Personally I'd prefer it if good quality healthcare were cheaply available to all without having to be bottleneck on expensive-and-time-consuming-to-train human labour, even if it did mean that the 0.5% of the population that are docto
358.
by tome 2y ago
> The way I think about effectful computation and IO in Haskell is as a kind of enforced metaprogramming If you think of effectful computation in Haskell to be a sort of metaprogramming, then indeed it will seem very complex, absurdly co
359.
by tome 2y ago
> I've followed along with a lot of your posting on the Haskell discourse Ah, that's great to know, thanks. It's rarely clear to me whether people read or are interested in what I say! Well, yes, in principle even a design
360.
by tome 2y ago
I see. You're probably correct about that. I guess I got thrown off by your suggestion that dependently typed provide good support for numeric programming, because I doubt any dependently typed language that put a lot of thought into f

More ›