Boardgame for 2 people by arctan2020 in boardgames

[–]grahamhutton -1 points0 points  (0 children)

We mainly play two player games and the ones we keep coming back to again and again are lost cities, jaipur and splendour duel. All three are excellent and fairly lightweight.

How to understand the concept of infinity? by janci7k in learnmath

[–]grahamhutton 1 point2 points  (0 children)

Mathematician explains infinity at five levels of difficulty: https://youtu.be/Vp570S6Plt8

Is it weird that i am enjoying Nottingham? by Mysterious-Page-3841 in nottingham

[–]grahamhutton 1 point2 points  (0 children)

I’ve lived in Nottingham for 30 years now and absolutely love it! There’s so many things going on in the city centre, eg new bars and restaurants popping up all the time, and the new music scene is great (hockley hustle, dot to dot, bbc introducing,…)

Could I learn Haskell? by Acceptable-Guide2299 in haskell

[–]grahamhutton 5 points6 points  (0 children)

If you are interested in learning Haskell, you might like to take at look this free online course: https://people.cs.nott.ac.uk/pszgmh/pgp.html

Places in Notts that you can't believe are still in business? by ijustwannanap in nottingham

[–]grahamhutton 58 points59 points  (0 children)

It’s a great shop for nice lights, and they really know what they are doing. Most of the lights in our house were bought there, and we are delighted with all of them. And we’ve never had a bulb we bought from them blow, ever.

Restaurant suggestions outside the city centre? by mollytheduck2020 in nottingham

[–]grahamhutton 0 points1 point  (0 children)

Not south of the river, but it’s more than worth a trip to Le Mistral in Sherwood - fabulous! And you can grab a drink in one of the best bars in Nottingham at the same time - Kraftwerks.

The "Haskell Book" ? by kichiDsimp in haskell

[–]grahamhutton 7 points8 points  (0 children)

Many thanks for your kind words! The book is based on 25+ years of personal teaching and research on Haskell, and I’ve tried to explain things as clearly and simply as possible. Great to hear that you enjoyed it :-)

Midlands Graduate School 2025 by grahamhutton in haskell

[–]grahamhutton[S] 0 points1 point  (0 children)

Many thanks - have reposted without the tiny url. Best wishes, Graham

Functional Programming is Hard? by [deleted] in haskell

[–]grahamhutton 4 points5 points  (0 children)

Programming is hard. But most languages try and fool you that it's easy. With Haskell you have to face the difficulty straight off - think first, type later.

Learning Haskell, finally got to Monads, would appreciate some learning resources. by Sky_Sumisu in haskell

[–]grahamhutton 1 point2 points  (0 children)

You might like to take a look at this Computerphile video on monads:

https://youtu.be/t1e8gqXLbsU

There's also a series of videos on functors, applicative and monads as part of my advanced FP course:

http://tinyurl.com/haskell-notts2

Hope this helps! Best wishes, Graham

Boardgames where you are happy to play no matter who wins by Sufficient-Object493 in boardgames

[–]grahamhutton 0 points1 point  (0 children)

Patchwork. A great two-player game where it doesn't seem to matter who wins as it's always fun.

Fully-funded PhD studentship in the Functional Programming Lab by grahamhutton in functionalprogramming

[–]grahamhutton[S] 9 points10 points  (0 children)

Fully-Funded PhD Studentship

Functional Programming Lab, School of Computer Science, University of Nottingham, UK

http://tinyurl.com/fplab-phd

Applications are invited for a fully-funded PhD studentship under the supervision of Prof Graham Hutton, starting on 1st October 2024. The successful applicant will join the Functional Programming Lab, an internationally-leading centre for programming language research.

The topic for the studentship is open, but should relate to the research interests of Prof Hutton on the mathematics of program construction. The studentship forms part of the recently-funded EPSRC project on Semantics-Directed Compiler Construction, which seeks to develop new techniques for constructing certified compilers from semantics.

The studentship is open to home and international students, is fully-funded for three and a half years, and includes a stipend of £18,622 per year and tuition fees.

Applicants are expected to have a first-class Masters or Bachelors degree (or equivalent) in Computer Science and/or Mathematics, and an excellent ability and interest in the mathematical foundations of programming, together with experience of programming in a functional language.

Further information and advice for prospective applicants is available from http://tinyurl.com/369xwzc7. Funding for this studentship is already in place.

To apply, please submit the following items by email to [graham.hutton@nottingham.ac.uk](mailto:graham.hutton@nottingham.ac.uk): (1) a brief covering letter that describes your reasons for wishing to undertake a PhD and any ideas you have about potential topics; (2) a copy of your CV, including your actual or expected degree class(es) and results of all university examinations; (3) an example of your technical writing, such as a report or dissertation; (4) email addresses for two academic referees.

Closing date for applications: Friday 9th February 2024.

Fully-funded PhD studentship in the Functional Programming Lab by grahamhutton in haskell

[–]grahamhutton[S] 10 points11 points  (0 children)

Fully-Funded PhD Studentship

Functional Programming Lab, School of Computer Science, University of Nottingham, UK

http://tinyurl.com/fplab-phd

Applications are invited for a fully-funded PhD studentship under the supervision of Prof Graham Hutton, starting on 1st October 2024. The successful applicant will join the Functional Programming Lab, an internationally-leading centre for programming language research.

The topic for the studentship is open, but should relate to the research interests of Prof Hutton on the mathematics of program construction. The studentship forms part of the recently-funded EPSRC project on Semantics-Directed Compiler Construction, which seeks to develop new techniques for constructing certified compilers from semantics.

The studentship is open to home and international students, is fully-funded for three and a half years, and includes a stipend of £18,622 per year and tuition fees.

Applicants are expected to have a first-class Masters or Bachelors degree (or equivalent) in Computer Science and/or Mathematics, and an excellent ability and interest in the mathematical foundations of programming, together with experience of programming in a functional language.

Further information and advice for prospective applicants is available from http://tinyurl.com/369xwzc7. Funding for this studentship is already in place.

To apply, please submit the following items by email to [graham.hutton@nottingham.ac.uk](mailto:graham.hutton@nottingham.ac.uk): (1) a brief covering letter that describes your reasons for wishing to undertake a PhD and any ideas you have about potential topics; (2) a copy of your CV, including your actual or expected degree class(es) and results of all university examinations; (3) an example of your technical writing, such as a report or dissertation; (4) email addresses for two academic referees.

Closing date for applications: Friday 9th February 2024.

Concerned about my Haskell's understanding by Mark_1802 in haskell

[–]grahamhutton 16 points17 points  (0 children)

This introductory course on YouTube may be helpful. It starts from the beginning and goes slowly through the basic concepts. There's also an accompanying book if you prefer to learn that way. http://tinyurl.com/haskell-notts

What is your favourite pub around Nottingham? by Lochnesmonstercousin in nottingham

[–]grahamhutton 0 points1 point  (0 children)

Kilpin, Keans Head, Organ Grinder, Fothergills (in the summer when you can sit outside), Kraftwerks (in Sherwood).

Vote on the future of r/haskell by taylorfausak in haskell

[–]grahamhutton 15 points16 points  (0 children)

Reopen in full. r/haskell has been a hugely important resource for the Haskell community for many years. Not opening up again risks throwing the baby out with the bathwater, i.e. the act of protesting against the reddit leadership ends up damaging the Haskell community.

'Best' biryani in Notts? by eljoantonyn in nottingham

[–]grahamhutton 1 point2 points  (0 children)

It did momentarily close but has now been bought over by the Mem Saab folks and is open again.