John Hughes
138 posts
John Hughes
@rjmh
Professor at Chalmers, long-time functional programmer, founder of Quviq AB.
Göteborg Katılım Aralık 2008
64 Takip Edilen3.2K Takipçiler
This is the last week to submit an abstract to Lambda Days--we've had excellent submissions so far, it's going to be particularly good this year. #call-for-talks" target="_blank" rel="nofollow noopener">lambdadays.org/lambdadays2025…
English
John Hughes retweetledi
We are advertising tenured faculty positions in any area of CS at Chalmers! The deadline for application is January 15th.
chalmers.se/en/about-chalm…
English
The call for talks is closing very soon, so it's time to submit!
Lambda Days@LambdaDays
Join us in February 2022 to experience the very first hybrid edition! 500 participants (in-person + virtual) 40 talks, TFP and TFPiE track, 2 days and an afterparty in between. Register and meet all the inventors, leaders and innovators! lambdadays.org/lambdadays2022
English
The lambdadays.org/lambdadays2022 call is out--Krakow in November (with a virtual back-up plan). It's a great event for FP:ers of all flavours. The talk slots will fill up, so don't wait until the last moment to submit yours!
English
I'll be talking to Fred Hebert about property-based testing.
Code BEAM@CodeBEAMio
ANNOUNCEMENT Time - The #schedule for Code BEAM V America is now live and available on the website #schedule" target="_blank" rel="nofollow noopener">codesync.global/conferences/co…
Find out the exciting keynotes, panels, Q&As we have planned for the 10-12 March. #erlang #myelixirstatus #BEAM English
The panel discussion I chaired last week is online. Adam Chlipala, Edwin Brady, Niki Vazou, Stephanie Weirich and Thorsten Altenkirch. I learned a lot--check it out!
youtu.be/x3y22-cMBMQ
YouTube
Gothenburg, Sweden 🇸🇪 English
I'll be hosting this, and we'll have Niki Vazou on the panel too. Should be a great discussion... Join us!
Lambda Days@LambdaDays
3 weeks left till #LambdaDays! Not sure what to expect? Join our free meetup and see for yourself: Dependent Types - salvation or plague? with experts @fancytypes, @edwinbrady, Adam Chlipala and @taooftypes hosted by @rjmh: ow.ly/hZtx50DiENY
Gothenburg, Sweden 🇸🇪 English
@KathiFisler @LambdaDays @BartoszMilewski @thompson_si @SusanPotter @edwinbrady @oubiwann Looking forward to it very much!
English
@LambdaDays @rjmh @BartoszMilewski @thompson_si @SusanPotter @edwinbrady @oubiwann Whoa: no pressure after @rjmh says he's looking forward to a talk you've agreed to give! Looking forward to speaking data science and functional programming education at @lambdadays in 2021!
English
John Hughes retweetledi
Interested why @rjmh, our Lambda Days PC member, loves the Lambda Days? Watch the newest LD video, check the updated speakers line up: @KathiFisler, @BartoszMilewski, @thompson_si, @SusanPotter, @edwinbrady, @oubiwann and make sure you save your seat: ow.ly/JQhU50CMZIm
English
Graham Hutton explains compiler correctness in 17 minutes, with a bit of QuickCheck at the end. Beautiful! youtube.com/watch?v=T_IINW…
YouTube
English
I'm getting quite excited about my #CodeMeshV tutorial next week. Here's what I'll be talking about: introducing both #Haskell and property-based testing with #QuickCheck.
English
John Hughes retweetledi
One of our favourite keynotes - youtu.be/FGQAP0GxlW8 from Mary Sheeran and @rjmh 5-6 November will be time for #CodeMeshV and John will delivering a #Haskell Tutorial - From Zero To Hero! #FunctionalProgramming #AlternativeTech
YouTube
English
I'm working on my online Haskell tutorial for #CodeMeshV: codesync.global/speaker/john-h…. 3 1/2 hours of #Haskell hacking. #QuickCheck will loom large :-)
English
I'm working on a new talk for this as we speak...
GitHub Next@GitHubNext
OCTO Speaker Series #2 is coming next week! Episode 2 will be hosting @rjmh to share his take on property-based software testing and experiences with QuickCheck. 📅 Oct 8th, 09:30a Pacific, signups below! 👇 octo.github.com/speakerseries/…
English
About 300 downloads of the TFP 2020 proceedings so far-- more for some of the papers: link.springer.com/chapter/10.100…
Time to plan a submission for the 2021 edition: tfp2021.org.
English
The call for (virtual) Trends in Functional Programming 2021 is out! Time to turn ideas from ICFP into papers to submit in November. Deadline: 20th Nov. tfp2021.org.
English
The proceedings of Trends in Functional Programming 2020 is now published! Free access for four weeks via this link: cse.chalmers.se/~rjmh/tfp/proc….
English
Don't forget Jeremy Gibbons seminar later today, on "Algorithm Design with Haskell"! chalmersfp.org
Gothenburg, Sweden 🇸🇪 English