home.social

#pwlconf — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #pwlconf, aggregated by home.social.

  1. Papers We Love @[email protected] ·

    Building Personable Machines by Star Simpson [PWLConf 2019] (2019)

    youtube.com/watch?v=0wj8hm-LZqQ

    #pwlconf

    #pwlconf
  2. Papers We Love @[email protected] ·

    Building Personable Machines by Star Simpson [PWLConf 2019] (2019)

    youtube.com/watch?v=0wj8hm-LZqQ

    #pwlconf

    #pwlconf
  3. Papers We Love @[email protected] ·

    "Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018] (2018)

    youtube.com/watch?v=nOpyZK2OCnY

    #pwlconf #feminism #antidiscrimination

    #pwlconf #feminism #antidiscrimination
  4. Papers We Love @[email protected] ·

    "Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018] (2018)

    youtube.com/watch?v=nOpyZK2OCnY

    #pwlconf #feminism #antidiscrimination

    #pwlconf #feminism #antidiscrimination
  5. Papers We Love @[email protected] ·

    "Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018] (2018)

    youtube.com/watch?v=nOpyZK2OCnY

    #pwlconf #feminism #antidiscrimination

    #pwlconf #feminism #antidiscrimination
  6. Papers We Love @[email protected] ·

    "Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018] (2018)

    youtube.com/watch?v=nOpyZK2OCnY

    #pwlconf #feminism #antidiscrimination

    #pwlconf #feminism #antidiscrimination
  7. Papers We Love @[email protected] ·

    "Including Equity in Tech Work" by Ari Schlesinger [PWLConf 2018] (2018)

    youtube.com/watch?v=nOpyZK2OCnY

    #pwlconf #feminism #antidiscrimination

    #antidiscrimination #feminism #pwlconf
  8. Papers We Love @[email protected] ·

    On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019] (2019)

    youtube.com/watch?v=43XaZEn2aLc

    #pwlconf

    #pwlconf
  9. Papers We Love @[email protected] ·

    On the Expressive Power of Programming Languages by Shriram Krishnamurthi [PWLConf 2019] (2019)

    youtube.com/watch?v=43XaZEn2aLc

    #pwlconf

    #pwlconf
  10. Papers We Love @[email protected] ·

    "Multiparty Session Types and their Applications to Concurrent & Dist. Systems" by Nobuko Yoshida (2016)

    youtube.com/watch?v=HEg088cW528

    #pwlconf #sessiontypes #deadlock

    #pwlconf #sessiontypes #deadlock
  11. Papers We Love @[email protected] ·

    "Multiparty Session Types and their Applications to Concurrent & Dist. Systems" by Nobuko Yoshida (2016)

    youtube.com/watch?v=HEg088cW528

    #pwlconf #sessiontypes #deadlock

    #pwlconf #sessiontypes #deadlock
  12. Papers We Love @[email protected] ·

    "Design Philosophy in Networked Systems" by Justine Sherry (2016)

    youtube.com/watch?v=aR_UOSGEizE

    #pwlconf #systemdesign #networkedsystems

    #pwlconf #systemdesign #networkedsystems
  13. Papers We Love @[email protected] ·

    "Design Philosophy in Networked Systems" by Justine Sherry (2016)

    youtube.com/watch?v=aR_UOSGEizE

    #pwlconf #systemdesign #networkedsystems

    #pwlconf #systemdesign #networkedsystems
  14. Papers We Love @[email protected] ·

    "Design Philosophy in Networked Systems" by Justine Sherry (2016)

    youtube.com/watch?v=aR_UOSGEizE

    #pwlconf #systemdesign #networkedsystems

    #pwlconf #systemdesign #networkedsystems
  15. Papers We Love @[email protected] ·

    "Design Philosophy in Networked Systems" by Justine Sherry (2016)

    youtube.com/watch?v=aR_UOSGEizE

    #pwlconf #systemdesign #networkedsystems

    #pwlconf #systemdesign #networkedsystems
  16. Papers We Love @[email protected] ·

    "Design Philosophy in Networked Systems" by Justine Sherry (2016)

    youtube.com/watch?v=aR_UOSGEizE

    #pwlconf #systemdesign #networkedsystems

    #networkedsystems #systemdesign #pwlconf
  17. Papers We Love @[email protected] ·

    What type of thing is a type? by Ron Garcia (2017)

    youtube.com/watch?v=jVyz3lWH2bA

    #typetheory #pwlconf #typesystems

    #typetheory #pwlconf #typesystems
  18. Papers We Love @[email protected] ·

    What type of thing is a type? by Ron Garcia (2017)

    youtube.com/watch?v=jVyz3lWH2bA

    #typetheory #pwlconf #typesystems

    #typetheory #pwlconf #typesystems
  19. Papers We Love @[email protected] ·

    What type of thing is a type? by Ron Garcia (2017)

    youtube.com/watch?v=jVyz3lWH2bA

    #typetheory #pwlconf #typesystems

    #typetheory #pwlconf #typesystems
  20. Papers We Love @[email protected] ·

    What type of thing is a type? by Ron Garcia (2017)

    youtube.com/watch?v=jVyz3lWH2bA

    #typetheory #pwlconf #typesystems

    #typesystems #pwlconf #typetheory
  21. Papers We Love @[email protected] ·

    What type of thing is a type? by Ron Garcia (2017)

    youtube.com/watch?v=jVyz3lWH2bA

    #typetheory #pwlconf #typesystems

    #typetheory #pwlconf #typesystems
  22. Papers We Love @[email protected] ·

    What About the Natural Numbers? by José Manuel Calderón Trilla [PWLConf 2019] (2019)

    youtube.com/watch?v=jFk1qpr1ytk

    #pwlconf

    #pwlconf
  23. Papers We Love @[email protected] ·

    What About the Natural Numbers? by José Manuel Calderón Trilla [PWLConf 2019] (2019)

    youtube.com/watch?v=jFk1qpr1ytk

    #pwlconf

    #pwlconf
  24. Papers We Love @[email protected] ·

    "A Rehabilitation of Message-passing Concurrency" by Frank Pfenning [PWLConf 2018] (2018)

    youtube.com/watch?v=LRn_nPfti-Y

    #pwlconf #concurrency #sessiontypes

    #pwlconf #concurrency #sessiontypes
  25. Papers We Love @[email protected] ·

    "A Rehabilitation of Message-passing Concurrency" by Frank Pfenning [PWLConf 2018] (2018)

    youtube.com/watch?v=LRn_nPfti-Y

    #pwlconf #concurrency #sessiontypes

    #pwlconf #concurrency #sessiontypes
  26. Papers We Love @[email protected] ·

    Anonymity in the Bitcoin Peer-to-Peer Network by Giulia Fanti [PWLConf 2019] (2019)

    youtube.com/watch?v=BwFUUWkp8YQ

    #pwlconf

    #pwlconf
  27. Papers We Love @[email protected] ·

    Anonymity in the Bitcoin Peer-to-Peer Network by Giulia Fanti [PWLConf 2019] (2019)

    youtube.com/watch?v=BwFUUWkp8YQ

    #pwlconf

    #pwlconf
  28. Papers We Love @[email protected] ·

    "Automatic Patch Generation" by Claire Le Goues (2016)

    youtube.com/watch?v=sRkfMe0_5cA

    #pwlconf #automaticpatchgeneration #clairelegoues

    #pwlconf #automaticpatchgeneration #clairelegoues
  29. Papers We Love @[email protected] ·

    "Automatic Patch Generation" by Claire Le Goues (2016)

    youtube.com/watch?v=sRkfMe0_5cA

    #pwlconf #automaticpatchgeneration #clairelegoues

    #pwlconf #automaticpatchgeneration #clairelegoues
  30. Papers We Love @[email protected] ·

    Distributed Consensus Revised by Heidi Howard [PWLConf 2019] (2019)

    youtube.com/watch?v=Pqc6X3sj6q8

    #pwlconf

    #pwlconf
  31. Papers We Love @[email protected] ·

    Distributed Consensus Revised by Heidi Howard [PWLConf 2019] (2019)

    youtube.com/watch?v=Pqc6X3sj6q8

    #pwlconf

    #pwlconf
  32. Papers We Love @[email protected] ·

    "Randomized Gossip Methods" by Dahlia Malkhi (2016)

    youtube.com/watch?v=Gxf5glthqrk

    #pwlconf #vmwareresearch #dahliamalkhi

    #pwlconf #vmwareresearch #dahliamalkhi
  33. Papers We Love @[email protected] ·

    "Randomized Gossip Methods" by Dahlia Malkhi (2016)

    youtube.com/watch?v=Gxf5glthqrk

    #pwlconf #vmwareresearch #dahliamalkhi

    #pwlconf #vmwareresearch #dahliamalkhi
  34. Papers We Love @[email protected] ·

    Is Program Analysis the Silver Bullet Against Software Bugs? by Karim Ali [PWLConf 2019] (2019)

    youtube.com/watch?v=gMC8lZJQSWw

    #pwlconf

    #pwlconf
  35. Papers We Love @[email protected] ·

    Is Program Analysis the Silver Bullet Against Software Bugs? by Karim Ali [PWLConf 2019] (2019)

    youtube.com/watch?v=gMC8lZJQSWw

    #pwlconf

    #pwlconf
  36. Papers We Love @[email protected] ·

    Delimited Continuations for Everyone by Kenichi Asai (2017)

    youtube.com/watch?v=QNM-njddhIw

    #delimitedcontinuations #pwlconf #programminglanguagetheory

    #delimitedcontinuations #pwlconf #programminglanguagetheory
  37. Papers We Love @[email protected] ·

    Delimited Continuations for Everyone by Kenichi Asai (2017)

    youtube.com/watch?v=QNM-njddhIw

    #delimitedcontinuations #pwlconf #programminglanguagetheory

    #delimitedcontinuations #pwlconf #programminglanguagetheory
  38. Papers We Love @[email protected] ·

    "Standards We Love" by Heidy Khlaaf [PWLConf 2018] (2018)

    youtube.com/watch?v=uqan23518Yc

    #paperwelove #pwlconf #verification

    #paperwelove #pwlconf #verification
  39. Papers We Love @[email protected] ·

    "Standards We Love" by Heidy Khlaaf [PWLConf 2018] (2018)

    youtube.com/watch?v=uqan23518Yc

    #paperwelove #pwlconf #verification

    #paperwelove #pwlconf #verification
  40. Mike English 💾 @[email protected] ·

    The video for "Programming Distributed Systems" by @mpmilano is now on YouTube!

    youtu.be/Mc3tTRkjCvE?si=MLsFVU

    #strangeloop #pwlconf

    #strangeloop #pwlconf
  41. Mike English 💾 @[email protected] ·

    The video for "Programming Distributed Systems" by @mpmilano is now on YouTube!

    youtu.be/Mc3tTRkjCvE?si=MLsFVU

    #strangeloop #pwlconf

    #strangeloop #pwlconf
  42. blake shaw 🇵🇸 @[email protected] ·

    Papers We Love: JOB, OCB, RAW, zig-zag, elements...

    #pwlconf

    #pwlconf
  43. blake shaw 🇵🇸 @[email protected] ·

    Papers We Love: JOB, OCB, RAW, zig-zag, elements...

    #pwlconf

    #pwlconf
  44. Papers We Love @[email protected] ·

    The whole Papers We Love Conf 2023 playlist is now available -> youtube.com/playlist?list=PLcG

    #strangeloop #paperswelove #pwlconf

    #strangeloop #paperswelove #pwlconf
  45. Papers We Love @[email protected] ·

    The whole Papers We Love Conf 2023 playlist is now available -> youtube.com/playlist?list=PLcG

    #strangeloop #paperswelove #pwlconf

    #strangeloop #paperswelove #pwlconf
  46. Papers We Love @[email protected] ·

    PWLConf 2023: "War Time Proofs and Futuristic Programs" by Valeria de Paiva

    youtu.be/4_6uboxUYR8?si=-txnBo

    #strangeloop #pwlconf #paperswelove #history #math #cs #programming

    #strangeloop #pwlconf #paperswelove #history #math #cs
  47. Papers We Love @[email protected] ·

    PWLConf 2023: "War Time Proofs and Futuristic Programs" by Valeria de Paiva

    youtu.be/4_6uboxUYR8?si=-txnBo

    #strangeloop #pwlconf #paperswelove #history #math #cs #programming

    #strangeloop #pwlconf #paperswelove #history #math #cs
  48. Papers We Love @[email protected] ·

    PWLConf 2023: "Experimentation: putting research papers into prod" by Leemay Nassery

    youtu.be/vBUa6mNdKOE?si=LyugAi

    #strangeloop #paperswelove #pwlconf #testing #tech #research

    #strangeloop #paperswelove #pwlconf #testing #tech #research
  49. Papers We Love @[email protected] ·

    PWLConf 2023: "Experimentation: putting research papers into prod" by Leemay Nassery

    youtu.be/vBUa6mNdKOE?si=LyugAi

    #strangeloop #paperswelove #pwlconf #testing #tech #research

    #strangeloop #paperswelove #pwlconf #testing #tech #research
  50. Papers We Love @[email protected] ·

    PWLConf 2023: "Formal semantics for multi-language programs" by Amal Ahmed

    youtu.be/xOInz_gt2Fg?si=-I32_7

    #strangeloop #paperswelove #pwlconf #pl #types #formal_methods #programming

    #strangeloop #paperswelove #pwlconf #pl #types #formal_methods