News for hackers. Stuff that matters.

A comment on Solving `UK Passport Application` with Haskell. Parent comment

Re:Solving `UK Passport Application` with Haskell by gylterud on Sunday June 29, 2025 @03:38AM (#44411031)
Oh, I owe a lot to freenode and #haskell and #math in particular. I remember one of them ran a lecture on category theory, live. It was also there I first heard about Martin-Löf type theory.

It was such a great time and place for a young person interested in learning about Haskell.

[ Parent | on HN ]
Re:Solving `UK Passport Application` with Haskell by dmead on Sunday June 29, 2025 @06:37PM (#44417223)
Do you remember who ran it? I used to go to hack phi at UPenn, which attracted a significant chunk of the community.
[ Parent | on HN ]
Re:Solving `UK Passport Application` with Haskell by gylterud on Monday June 30, 2025 @02:07AM (#44419950)
The lecture? No, unfortunately.
[ Parent | on HN ]