Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @haskellhutt
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @haskellhutt
-
Pinned Tweet
Interested in a PhD studentship in the Functional Programming lab in Nottingham? 10 PhD studentships for Home/EU applicants are currently being advertised. Deadline 6 March 2020. Please share, and encourage excellent students to apply! https://tinyurl.com/wh2oo3g
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Baked monkfish with herbs, steamed samphire, and new potatoe salad was a perfect Friday night takeaway treat from the
@TheCodsScallops, the best fish and chip shop in the UK.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Interesting to see our moodle server throwing a monadic error! :-)pic.twitter.com/I9CtF6Kwt5
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Haskell lecture 1/11 - what is FP, and where did it come from? http://www.cs.nott.ac.uk/~pszgmh/ch1.pdf
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Just started teaching Haskell to our first year students this semester. For anyone interested, all the course materials are available here: http://www.cs.nott.ac.uk/~pszgmh/pgp.html …pic.twitter.com/ua3atEaRiZ
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Shot a new
@computer_phile video today on one of my favourite topics. Looking forward to seeing how it works out!#HaskellThanks. Twitter will use this to make your timeline better. UndoUndo -
After a lot of behind the scenes work, I've finally managed to get my 5pm Friday lecture this semester moved to a more reasonable time. Apparently "I'll be in the pub at 5pm on Friday" isn't a valid reason for moving a lecture!
Thanks. Twitter will use this to make your timeline better. UndoUndo -
By induction, Saturday 18th January is not part of January either. This works, right?
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Alcohol free January has been temporarily suspended. We've declared that Friday 17th January is not part of January.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Graham Hutton Retweeted
Congratulations are in order! Hopkins mathematician
@emilyriehl received the President's Frontier Award today, a $250,000 award that will support her continuing research. Read more: https://hub.jhu.edu/2020/01/16/emily-riehl-mathematics-frontier-award-999-em1-art1-dtd-news/ …pic.twitter.com/qGG8xRizXJJHU Mathematician Emily Riehl Receives President's Frontier AwardThanks. Twitter will use this to make your timeline better. UndoUndo -
Graham Hutton Retweeted
Looking for semantics and verification postdocs (and research engineers) to make real systems less terrible: http://www.jobs.cam.ac.uk/job/24501/ . Find me at
#POPL2020 if you're there, or email.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Folks teaching using my Haskell book might be interested in the revised and updated set of powerpoint slides, which now also includes the chapter on lazy evaluation: http://www.cs.nott.ac.uk/~pszgmh/pih.html …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Graham Hutton Retweeted
Constructive real arithmetic is alive on a billion devices!https://twitter.com/HigherGeometer/status/1216518303440457728 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Preparing for this semester's courses,teaching introductory Haskell to our 1st year students, and advanced Haskell to our 2nd years
#dreamjobThanks. Twitter will use this to make your timeline better. UndoUndo -
FP folks - looking for some interesting reading for the weekend? 10 new PhD dissertation abstracts have just been published in the Journal of Functional Programming in open access form: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F66CECFC31BDB7D2790F39DE25426EEA/S0956796819000200a.pdf/phd_abstracts.pdf …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
It's great to see the recent interest in 'Simple Haskell'. My (not so secret) plan has been to use Haskell 98 throughout my career, as there is still a vast amount of interesting and useful new ideas to explore in this setting. Hope to see more people embracing simplicity too.pic.twitter.com/jCBLgzDQf3
Thanks. Twitter will use this to make your timeline better. UndoUndo -
The deadline for PhD applications to the FP lab in Nottingham is coming up soon (Friday 17 January). Come and join us!https://twitter.com/haskellhutt/status/1206882611139874816 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
So many great places to eat in Nottingham these days! And very surprised to get a mention in the article :-)https://www.nottinghampost.com/whats-on/food-drink/best-meals-weve-eaten-nottingham-3684214?fbclid=IwAR1ecmyl6FIQsFMBDptUtx9c60CDE_l3XiZgoM5UVtUUaUhIHMPyYkI9UpY …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Graham Hutton Retweeted
You know about functional. You know about dysfunctional. Time to learn about DE-functional!
@jimmykoppel tells us about "Defunctionalization: Everybody Does It, Nobody Talks About It" in PL Perspectives. https://blog.sigplan.org/2019/12/30/defunctionalization-everybody-does-it-nobody-talks-about-it/ …pic.twitter.com/s7RdAjtELm
Thanks. Twitter will use this to make your timeline better. UndoUndo
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Author of Programming in Haskell
Food Nerd
Glaswegian 