Nelson Vides

@josefs can you explain me, or link me to some good read, what are the constrains solving, and how is gradualizer planning to solve this? I'm trying to digest this...

> Again: > > > This would only work if the --infer flag is given, as only then, Gradualizer will decide that atom2 has type {type,_,atom2} > > How about...

Right. My experience is the wonderful book "Types and programming languages" by B. Pierce, years of template metaprogramming in C++, half of the programming language course on Agda by Phillip...

`make tests COVER=1` doesn't do anything since a long time. For a while, `rebar3 cover` was making the pretty html files, but now after the strong cut away from rebar,...

> Why wouldn't you want this to be logged? Put it another way, why would you do so just here? I think that the cause of death should be handled...

> You've made it into a shutdown, shutdowns aren't logged: https://github.com/ninenines/ranch/blob/master/src/ranch_conns_sup.erl#L388 > > The proxy header missing is most likely a configuration error (on the proxy side), it should provide...

I have no idea what broke so much in the CI but wow how red everything is. Nevertheless I'm stuck wondering, how to deal with the crash reported twice (by...

> You've made it into a shutdown, shutdowns aren't logged: https://github.com/ninenines/ranch/blob/master/src/ranch_conns_sup.erl#L388 > > The proxy header missing is most likely a configuration error (on the proxy side), it should provide...

> Is there a deployment that has the combination of PROXY and such load balancer? Obscure swiss providers, and even some older offerings of AWS it seems to me, but...

> I'm happy to make it handle, say, `{error, closed}` if that's what happens. But other errors should probably keep crashing as they're likely a misconfiguration. That sounds fair, I...