tome

6 ms·

1.
by tome 6d ago
What's the difference?
2.
by tome 7d ago
In Bluefin, IOE (which allows you to do I/O, i.e. what Haskell's IO also allows you to do) is an argument, and therefore not a color under your interpretation. https://hackage.haskell.org/package/bluefin-0.0
3.
by tome 15d ago
Cool, my contact details are on the front page of that site.
4.
by tome 16d ago
Interesting, I have not heard of Spritely Goblins! But neither Bluefin nor effectful could be described as distributed capability systems/effect systems, so I don't think they're comparable. On infection, I think it's
5.
by tome 16d ago
I think nextaccountic is not technically fully correct, but he/she is at least correct in the most important part: Safe Haskell is not really practical. But if you don't want an ironclad guarantee and instead you're content
6.
by tome 18d ago
Here you go! It's a complete document, but I'll continue to edit it over the next few days before I announce it. I'd love to hear any thoughts you have. https://h2.jaguarpaw.co.uk/posts/bluefin-capability
7.
by tome 18d ago
Yeah, I think they're basically identical concepts. I'm writing an article on that topic right now.
8.
by tome 20d ago
Yes! It started as an implementation of the effect system I always wanted: effects passed on the value level, rather than implicitly on the type level. Once I'd done that I realise that it was actually a capability system (and that was
9.
by tome 20d ago
People don’t say "Haskell makes it impossible to write bugs"! You may have heard "if it compiles it works" which is somewhat tongue in cheek, but also true for a sufficiently loose interpretation of "works" in
10.
by tome 20d ago
Yeah you can write a capability that encapsulates exactly whatever effects that you like!
11.
by tome 20d ago
I'll blow my own trumpet and promote my own Haskell capabilities library, Bluefin: https://hackage.haskell.org/package/bluefin Bluefin is used in production, and as far as I know capability is not.
12.
by tome 20d ago
> The Twitter experience is a highly algorithmic feed ... that is, things they want you to see. Not on Nitter! Which is the point, for me at least.
13.
by tome 20d ago
It's fascinating to me that there's no one in this thread arguing that AI is a bubble and it's all going to crash soon.
14.
by tome 20d ago
Which provider do you use for artificial compassion?
15.
by tome 20d ago
> Aristocracy became useless around 1600-1700, when gunpowder meant that peasant armies took over instead of knights Does this view rest on the claim that the only use of the aristocracy is warfare?
16.
by tome 21d ago
> so do most of the servers except the most popular 2 Are you sure? All three servers I regularly use, as well as all of the mirrors that I found with a quick search, are down. If there are other servers still working then can you please
17.
by tome 26d ago
Are you sure? If I visit https://old.reddit.com/r/haskell/ in private mode (i.e. without my auth cookies) then I am asked to log in.
18.
by tome 26d ago
Yes, I'm sure about that. I said that it is a systems language, not that it is as fast as C! I don't mind if your terminology excludes Haskell from being a systems language, as long as it also excludes Go. They are both managed,
19.
by tome 26d ago
Haskell is a fast, compiled systems language like Rust (or rather, Rust is like Haskell).
20.
by tome 26d ago
I don't think that's actually what one wants in practice from an RDBMS, but if it really is then one can add UNIQUE to all your SQL queries and get it. SQL is not somehow lacking in that regard.
21.
by tome 29d ago
Sets and bags are trivially interconvertible so it's really not a big deal: https://h2.jaguarpaw.co.uk/posts/set-bag-irrelevance/
22.
by tome 1mo ago
> Would you be willing to do free work for a corporate entity that explicitly financializes that work's benefits? Yes, that was one of the things that I hope happens with the open source software I write. > Would you be willing t
23.
by tome 1mo ago
I would be grateful if you could explain how that is related to my question.
24.
by tome 1mo ago
Why are they gone?
25.
by tome 1mo ago
Is he? Why? People never read blog articles any more, and only consume content generated by AI? > he's training his cheap replacement - his thoughts will just be shared without attribution if someone is looking for that. So? That&
26.
by tome 1mo ago
OK, and there's still some chance, right? I don't understand why you say it can't happen any more.
27.
by tome 1mo ago
> The downside ... is implicitly supporting the LLM data ingestation pipeline by providing fresh content I don't understand why that's a downside. > It's not a direct harm in itself I don't understand how it's
28.
by tome 1mo ago
Is there some downside of that to you? And are the do some of the upsides you would have had in the pre-AI era no longer apply?
29.
by tome 2mo ago
What is "un-distribution"?
30.
by tome 2mo ago
It's easy to talk at cross purposes in discussions like this. There are two implicit claims * Few bugs occurred due to type issues (which I think you are asserting) * You can design your program with types so that what would be a bug

More ›