Viewing profile — foldr

Phoenix is a big part of the appeal of Elixir, independently of the differences between Elixir and Erlang.

> Clause change doesn't rescue the logic I don’t understand what you mean here. > Fixed Your edit is the same in terms of the negatives (though refusing to do something isn’t reall…

It's not really a double negative as the negations are in different clauses. If you remove both negations, you get a completely different statement: > Hiring junior engineers will …

>You have conservative parties who pay lip service but don't really make any effective change on the migration front Net migration to Germany has fallen sharply since 2022: https:/…

I'm not sure you can really argue that Rust's traits are innovative . Haskell typeclasses, OO-style abstract interfaces, and C++-style associated types were already well-known and …

>You would want Rust traits Go generics does have this feature. You can require a generic type to implement an interface.

Type classes are nice, yes, but SML doesn’t have them, or anything that can really stand in for Go’s interfaces.

Like this, you mean? https://haskellforall.com/2012/05/scrap-your-type-classes Fine in principle, but AFAIK it never really caught on because the ergonomics suck. Interfaces/traits…

Go lets you constrain type parameters with interfaces. To do anything analagous in SML you have to use functors, which is substantially less convenient. I think people who refer to…

HN threads on Go are boring because they always get derailed by someone grousing about the fact that it took a long time to add generics. The history of this has been gone over a t…

The generic methods that have been added are essentially just syntax sugar. You can now use method syntax in cases where you could equivalently define a function. They’re not the f…

Right, that was my understanding, but it seems inconsistent with what I quoted from the review.

It’s the same principle as accessibility. We are all poor programmers sometimes, just as we are all impaired in various ways at times even if we don’t have a disability.

You can easily use arena allocation in a GCed language. With modern GCs there's not usually much performance benefit, so it tends to be limited to hot paths.

> The Homeric epic was already an adaptation. The poem used a relatively new technology – the written alphabet – to rework existing mythical traditions [...] Can someone explain th…

You're right that I haven't spent much time thinking about why a project that I'm not involved with, and that is of only moderate general importance, has decided to switch from one…

The simplest explanation is that the Bun team decided to try rewriting Bun in Rust because they had some frustrations with Zig. I haven't seen any evidence that there's more to it …

Is anyone else failing to understand all the internet drama surrounding this? The rewrite may work out on a technical level or it may not. Let's wait and see. The Bun project did n…

Even in Freedomland most people don't carry firearms. What else are you realistically going to do if someone has a gun except run or hide? This seems like a total non-story. Especi…

That’s interesting, thanks. I agree that with all those extra protections enabled, there is no security issue.

Will it not need unsafe-eval, though? It still creates the potential for HTML injection to lead to execution of untrusted code. Execution of untrusted code is the real issue, regar…

This is a pretty good argument in the case of software written by a small team of experienced engineers. In that scenario, if the engineers don't have the nous to avoid the kinds o…

It means that you have to use a less strict Content-Security-Policy, which increases your vulnerability to various client-side JS attacks.

>do you see any reason that std::optional max; couldn't just be a regular uint8_t? It's so that if (max) is truthy iff max has been assigned (including the case where it's been ass…