Videos from today's stream about Propagators (LVars, CRDTs, SAT, Datalog, etc) are up!
Part 1: https://www.twitch.tv/videos/285041763 …
Part 2: https://www.twitch.tv/videos/285042719 …
Older talks:
Yow! West 2016, @yow_conf: https://www.youtube.com/watch?v=ctT425sPAm4 … (intro)
Boston Haskell: https://www.youtube.com/watch?v=DyPzPeOPgUE … (nuts & bolts)
-
-
এই থ্রেডটি দেখানধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায়
-
-
-
Is there a link to see all previous recordings?
- কথা-বার্তা শেষ
নতুন কথা-বার্তা -
-
-
I'm watching from lecture 1, love it. However, it maybe useful to provide non-examples of typeclasses as well, _along_ with examples (eg. subtraction, exponentiation do not form semigroups). Excited for this!
-
Yeah. I got that feedback from a couple of folks about the first episode. When I tackled the notion of inverse semigroups, I remembered to showcase an example of something that was only regular and not inverse.
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
-
-
Poor `auth`. I liked it too, but the competition is just too tough -- all these algebraic structures with cool names...
ধন্যবাদ। আপনার সময়রেখাকে আরো ভালো করে তুলতে টুইটার এটিকে ব্যবহার করবে। পূর্বাবস্থায়পূর্বাবস্থায়
-
-
-
what is spmd on simd exactly? I mean the ispc compiler supports both vectorization as well as multithreading across cores. are you building some sort of abstraction to combine vectorization and multithreading?
-
ISPC is precisely an "SPMD-on-SIMD" programming model; it's even one of the titled sections of the original technical paper describing it :) https://github.s3.amazonaws.com/downloads/ispc/ispc/ispc_inpar_2012.pdf … section 3
-
oh yes I understand ispc implements the spmd on simd model. I was asking what it means in the context of GHC? I mean ispc exposes new keywords and additional runtime support etc. so would the session be some kind of GHC compiler hacking session or some library around that?
-
well, I don't think you'd have to hack GHC in order to build a Haskell model implementation of the idea itself (no more than we needed it to build models for GPU programming); but it's probably not going to look the exact same. i'd probably just vote and tune in :)
কথা-বার্তা শেষ
নতুন কথা-বার্তা -
লোড হতে বেশ কিছুক্ষণ সময় নিচ্ছে।
টুইটার তার ক্ষমতার বাইরে চলে গেছে বা কোনো সাময়িক সমস্যার সম্মুখীন হয়েছে আবার চেষ্টা করুন বা আরও তথ্যের জন্য টুইটারের স্থিতি দেখুন।