frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Solving `Passport Application` with Haskell

https://jameshaydon.github.io/passport/
85•jameshh•5h ago

Comments

ggm-at-algebras•4h ago
It's not "quite expensive" if you compare it to the Australian passport which is 2x as expensive and so notoriously badly bound, holders joke Australian Border Protection forces test for forgeries by checking if the blue cover curls: if not, it's a fake.
yen223•2h ago
The Australian passport curl was so disappointing. I have a decade-old passport from my third-world country of origin, and that was in far better shape than my new Australian passport that was freshly delivered.
new299•4h ago
For the benefit of anyone else doing this in Japan, these are the documents I had to submit. It will be different depending on circumstance, in particular I think the author may also be born outside the UK which may require other/more documents.

Anyway I had to submit:

Certified copy of my birth certificate, order from the UK general register office.

Original (not photocopy) of Japanese family register and translation.

Certificate of acceptance of notification of birth, original and translation.

Original Marriage certificate and translation.

Colour photocopy of every page of my childs Japanese passport.

Copy photocopy of the passport of an American or British citizen who confirms that child is mine.

The process is pretty unclear, and in general you seem to have to just keep submitting documents until they are satisfied.

jameshh•3h 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 the extra complications.

crooked-v•1h ago
I have to wonder how they would handle cases where a person doesn't have a legal father at all.
Cyph0n•2h ago
> Colour photocopy of every page of my childs Japanese passport.

But why?

davchana•1h ago
Don't know in this case, but some other countries ask for it to deduce your travel history (any current passport itself goes to them, with color copies of every page of old passports). Qatar wanted it because I shared name with somebody born 40 years before me.
Cyph0n•1h ago
Interesting. Just out of curiosity: did you naturalize as a Qatari (didn’t even know it was possible!), or was it a visa-related thing?
qingcharles•12m ago
I just looked it up. I was dating a Qatari and didn't even dare to explore naturalization. The process is insane. As a man, you can't get citizenship through marriage (only women get that). So, as a guy I would have to live there for 25 continuous years with little time outside the country. Add on that they require you to be rich, Muslim and speak Gulf Arabic at native level. Also, you have to give up your birth citizenship (not always possible) and they can revoke your citizenship on a whim.

Qatar is a fascinating country, though.

mcsniff•3h ago
Not only can you complete a UK Passport Application completely online (save for mailing any required documentations to HMPO), you can apply for a brand new passport as a "new" citizen (by adoption, naturalisation, or descent), online, from outside the UK, with just a mobile device without downloading some special app, including taking the photos.

Sure, you can play it on "hard mode " and do it with paper and pen for the lulz, but my experience was extremely efficient, fast, and straight-forward.

digianarchist•3h ago
Renewed recently which was my first time using the online system. The entire process was exceptionally fast. I got the passport back in less than 2 weeks from California.

In comparison my Canadian passport renewal (damaged after 3 years) from California took 4 months. Was entirely paper based and had ridiculous requirements such as requiring a reference and a photograph stamped by photographer.

I know there's a digital pilot that's ongoing. That should be rolled out ASAP.

kalleboo•3h ago
Just being able to do it via mail sounds like luxury, to renew a Swedish passport you need to visit an embassy in person. And then in 2 weeks go back in person to pick it up. Really fun when the embassy is on the other side of the country and it means expensive plane trips. This was even more of a problem during COVID when borders were closed, since Sweden doesn't have embassies in every single country.

And they expire in 5 years, not 10 like many other countries.

OptionOfT•2h ago
I need to renew my Belgian passport soon, and I live in the United States.

Even though the consulate has my biometric data, I need to visit them in person.

My only saving grace is that they sometimes visit my city., and I can register there. But that registration is only valid for 1 year, and they don't visit every year...

And that is still 2h+ one way of travel for me, for something they already have.

behnamoh•3h ago
Haskell has an interesting syntax: it is intuitive after someone explains it to me, but not intuitive much before the explanation.

I don't think it's because I'm used to Algol-based languages (C, Python, etc.). Every Haskell code I've seen is plagued with a plethora of operators which aim to make the code concise but it's not obvious what they do just by looking at them: https://academy.fpblock.com/haskell/tutorial/operators/

phillipseamore•3h ago
Great read, best laugh of the day!
tanh•3h ago
I just went through hell this with one of my daughters. She was born in Japan and I had a hard time getting my mother’s surname matching what was on my birth certificate.

Long story short, I demonstrated I was born in England and that I have citizenship (a passport) so no matter the possibility, it must be something that can be passed on. That doesn’t match the guidelines of documents required but it’s much less of a pain I reckon.

charcircuit•2h ago
>written in arcane language, in various texts called "acts of parliament".

>British passports are issued to those who have a claim to British nationality under the British Nationality Act 1981.

Has the British language really evolved that much in the last 50 years?

hombre_fatal•2h ago
The more obvious interpretation is that it’s written in a bureaucratic way that not everyone would understand.

Legal copy written in 2025 could be considered arcane.

It doesn’t mean the language of the time is hard to understand.

Jhsto•2h ago
There was a law change about European Union citizens settlement scheme last week. It's a UK law which is like a tutorial for getting to play the passport game. Anyway, the following was written this year. It starts off by checking if you are a Lisp interpreter:

Changes to Appendix EU

APP EU1. In Annex 1, in sub-paragraph (a) of the definition of ‘continuous qualifying period’, after “(b)(i)(ee) below”, insert “(or unless sub- paragraph (b)(i)(ii) below applies)”.

APP EU2. In Annex 1, for sub-paragraph (b)(i)(ii) of the definition of ‘continuous qualifying period’, substitute:

“(ii) (where the person has limited leave to enter or remain granted under paragraph EU3 or EU3A of this Appendix) any period(s) of absence which did not exceed a total of 30 months in the most recent 60-month period, as at the date of application or (as the case may be) at the date on which, under paragraph EU4, the Secretary of State is considering whether to grant them indefinite leave to enter or remain under paragraph EU2 or (as the case may be) EU2A, without a valid application under this Appendix having been made; or

(jj) any period of absence due directly to an order or decision to which sub-paragraph (b)(iii) below refers, where that order or decision has been set aside or revoked; or”.

APP EU3. In Annex 1, for sub-paragraph (c)(v) of the definition of ‘continuous qualifying period’, substitute:

“(v) a relevant reference is concerned; or

(vi) sub-paragraph (b)(i)(ii) above applies, where, under paragraph EU4 of this Appendix, the Secretary of State is considering whether to grant the person indefinite leave to enter or remain without a valid application under this Appendix having been made”.

nkrisc•1h ago
It’s arcane because it’s technical, legal language. British English as a whole has not meaningfully changed that much in just 50 years.
agnishom•1h ago
The sarcasm here is off the charts.

My First Reaction: Given that the game can be read as a deconstruction of the concept of Nation States and Citizenship, why would the UK government run such a thing?

After a few minutes: Oh wait a minute...

imarkphillips•23m ago
Classic!
franciscop•3m ago
I have noticed in Japan the crazy bureaucratization of document applications in the 7-8 years I've been living here. I've had 2 Japanese documents expire, "MyNumber" and "Driving License" in these years, and when trying to re-obtain them the process has become MUCH more complex. I'm bad at remembering all these processes in detail, but these are from memory:

- For the mynumber, first time, it was a simple application, and maybe a trip or two to the City Hall. This was at a moment where Japan was trying everyone to have/use the mynumber system so that might've made it easier on purpose.

- The second time I needed to book an appointment to request the application forms, which were (snail)mailed to me so then I could apply for the card. Yes, that sentence is as bad as it reads.

Now the crazier one is the driving license (conversion process):

- The first time I needed to get a translation, I went to JAL, showed my documents and paid, then received the translation. Took that and 2-3 documents, went to the driving license center, and gave the documents and passports and IDs. Waited few hours and had it done. Oh, I also got the Motorbike license for free.

- The second time I am applying now: need to get the translation, first register online for the translation, for which you need to create an account and a 8-step process. Hard, but still doable [1]. Then you need to book a meeting for the driving license center. But it's very hard to do so, in fact I couldn't find the link at all. I went in person and they showed me a QR code for the booking, I suspect this is hard to find on purpose. Every place is full and cannot be booked, except for 1 of them, 2 months later. Okay, I try to apply. First basic questions, sure, then asks for travel history on my passport that I need to input manually. Note that dates in one part of the form are on the shape of `YYYYMMDD` and in other they are 3 fields of "YYYY", "MM", "DD" (3 different inputs), having to write a dozen of them is maddening. Oh wait, but if I want the motorbike one, which was automatic before, I now need a document from the Spanish embassy as well, another side quest. I'm hoping they can at least provide it in Japanese. I guess I'm halfway that process now, got a meeting booked 2 months later.

[1] https://english.jaf.or.jp/driving-in-japan/drive-in-japan/ab...

JavaScript Trademark Update

https://deno.com/blog/deno-v-oracle4
573•thebeardisred•9h ago•199 comments

Solving `Passport Application` with Haskell

https://jameshaydon.github.io/passport/
86•jameshh•5h ago•23 comments

MCP: An (Accidentally) Universal Plugin System

https://worksonmymachine.substack.com/p/mcp-an-accidentally-universal-plugin
512•Stwerner•13h ago•236 comments

The Death of the Middle-Class Musician

https://thewalrus.ca/the-death-of-the-middle-class-musician/
71•pseudolus•6h ago•67 comments

Infrastructure at Roblox

https://corp.roblox.com/newsroom/2025/06/roblox-infrastructure-supporting-record-breaking-games
38•ak009•3d ago•36 comments

Tennis Scorigami

https://www.tennis-scorigami.com/
16•jlarks32•2d ago•1 comments

Refurb weekend: Gremlin Blasto arcade board

http://oldvcr.blogspot.com/2025/06/refurb-weekend-gremlin-blasto-arcade.html
26•todsacerdoti•4h ago•1 comments

BusyBeaver(6) Is Quite Large

https://scottaaronson.blog/?p=8972
190•bdr•11h ago•141 comments

Universal pre-training by iterated random computation

https://arxiv.org/abs/2506.20057
13•liamdgray•3h ago•2 comments

Community Is Motivation on Tap

https://alanwu.xyz/posts/community/
44•lunw•4d ago•15 comments

Addictions Are Being Engineered

https://masonyarbrough.substack.com/p/engineered-addictions
433•echollama•13h ago•278 comments

Life of an inference request (vLLM V1): How LLMs are served efficiently at scale

https://www.ubicloud.com/blog/life-of-an-inference-request-vllm-v1
108•samaysharma•9h ago•8 comments

We ran a Unix-like OS Xv6 on our home-built CPU with a home-built C compiler (2020)

https://fuel.edby.coffee/posts/how-we-ported-xv6-os-to-a-home-built-cpu-with-a-home-built-c-compiler/
231•AlexeyBrin•15h ago•20 comments

2025 ARRL Field Day

https://www.arrl.org/field-day
88•rookderby•9h ago•27 comments

Show HN: I'm an airline pilot – I built interactive graphs/globes of my flights

https://jameshard.ing/pilot
1431•jamesharding•1d ago•190 comments

An Indoor Beehive in My Bedroom Wall

https://www.keepingbackyardbees.com/an-indoor-beehive-zbwz1810zsau/
62•gscott•11h ago•24 comments

Gradient Descent Visualiser

https://uclaacm.github.io/gradient-descent-visualiser/
14•hamid914•3d ago•1 comments

Group of investors represented by YouTuber Perifractic buys Commodore

https://www.amiga-news.de/en/news/AN-2025-06-00123-EN.html
23•erickhill•6h ago•1 comments

Generative AI's crippling failure to induce robust models of the world

https://garymarcus.substack.com/p/generative-ais-crippling-and-widespread
29•pmcjones•3h ago•10 comments

Memory Safe Languages: Reducing Vulnerabilities in Modern Software Development [pdf]

https://media.defense.gov/2025/Jun/23/2003742198/-1/-1/0/CSI_MEMORY_SAFE_LANGUAGES_REDUCING_VULNERABILITIES_IN_MODERN_SOFTWARE_DEVELOPMENT.PDF
65•todsacerdoti•10h ago•8 comments

Show HN: AGL a toy language that compiles to Go

https://github.com/alaingilbert/agl
50•alain_gilbert•3d ago•11 comments

Sirius: A GPU-native SQL engine

https://github.com/sirius-db/sirius
93•qianli_cs•13h ago•13 comments

Parsing JSON in Forty Lines of Awk

https://akr.am/blog/posts/parsing-json-in-forty-lines-of-awk
83•thefilmore•12h ago•41 comments

Schizophrenia Is the Price We Pay for Minds Poised Near the Edge of a Cliff

https://www.psychiatrymargins.com/p/schizophrenia-is-the-price-we-pay
62•Anon84•6h ago•87 comments

The European wood pigeon helped me appreciate its omnipresent city cousins

https://www.nytimes.com/2025/06/24/magazine/pigeons-city-nature.html
3•Thevet•2d ago•1 comments

Finding Peter Putnam

https://nautil.us/finding-peter-putnam-1218035/
71•dnetesn•17h ago•61 comments

Blackwell: Nvidia's GPU

https://chipsandcheese.com/p/blackwell-nvidias-massive-gpu
9•pella•3h ago•0 comments

Techie went home rather than fix mistake that caused a meltdown

https://www.theregister.com/2025/06/23/who_me/
9•docmechanic•41m ago•3 comments

Show HN: Vet – A tool for safely running remote shell scripts

https://getvet.sh
51•a10r•8h ago•13 comments

Exploring Trichromacy through Maxwell's Color Experiment (2023)

https://maxwell.kohterai.com/
12•niwrad•6h ago•0 comments