jameshh

8 ms·

1.
Using algebra and LLMs to verify a flight-plan bug fix in Lean(jameshaydon.github.io)
5 points by jameshh 4mo ago|0 comments
2.
by jameshh 1y ago
> 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 general sentiment of what you are saying, note that the
3.
by jameshh 1y ago
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.
4.
by jameshh 1y ago
At least you got the bonus endscreen credits!
5.
by jameshh 1y ago
> 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 irrelevant This is essentially happened to me, the "75%
6.
by jameshh 1y ago
> 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 father's father` was not, the cause of th
7.
Solving `Passport Application` with Haskell(jameshaydon.github.io)
308 points by jameshh 1y ago|125 comments
8.
by jameshh 3y ago
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 wondering why nobody had identified the f
9.
by jameshh 3y ago
Thanks for this explanation. So, is the ICAO plan in some sense the "single source of truth", being the international standard and all?
10.
by jameshh 3y ago
> 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 the report: > An FPRSA sub-system has
11.
by jameshh 3y ago
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?
12.
by jameshh 3y ago
That's super interesting (and a little terrifying). It's funny how different industries have developped different "cultures" for seemingly random reasons.
13.
UK air traffic control meltdown(jameshaydon.github.io)
932 points by jameshh 3y ago|436 comments
14.
by jameshh 8y ago
> 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 republish on IPNS This isn't quite what happens. Anyon
15.
by jameshh 9y ago
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 communication here: https://github.com/jameshayd
16.
by jameshh 9y ago
I'm also making a backend for Idris: https://github.com/jameshaydon/idris-elixir