Viewing profile — jameshh

> the lack of parentheses for function calls plus currying means that to read a function call, you need to already know how many arguments the function takes While I agree with the…

I agree, I also renewed my passport recently and the website and process is quite smooth. It's the more complex cases, first requests from abroad, etc., that lack automation.

At least you got the bonus endscreen credits!

> although I don’t really see why it was relevant anyway, my son’s Britishness is derived from my Britishness, her nationality and the nationality of her parents is essentially irr…

> I think the author may also be born outside the UK which may require other/more documents In fact `applicant's father` (me) was born in the UK in this case, but `applicant's fath…

For those of you still following this story, the flight plan that triggered the chaos has been identified! https://chaos.social/@russss/111048524540643971 ! > Tonight we were wonde…

Thanks for this explanation. So, is the ICAO plan in some sense the "single source of truth", being the international standard and all?

> Bearing in mind this is likely decades old C code that can't be rewritten or replaced because the entirety of the UK's aviation runs on it. It's new code, from 2018 :) Quote from…

That's true, but then, why did engineers try to restart the system several times if they had no clue what was happening, and restarting it could have been dangerous?

That's super interesting (and a little terrifying). It's funny how different industries have developped different "cultures" for seemingly random reasons.

> Conflict resolution doesn’t seem to be an issue for radicle as the owner of the repo (if I understand this correctly) is the one that needs to accepts patches and will have to re…

I think if you have an evolved enough type system, then there isn't such a problem. I have written an Elixir backend for Idris and given some examples of well-typed actor communica…

I'm also making a backend for Idris: https://github.com/jameshaydon/idris-elixir