#computersciencefieldofstudy — Public Fediverse posts

Jean Yang on An Axiomatic Basis for Computer Programming (2014)

https://www.youtube.com/watch?v=GQi-6-d5ooQ

#ComputerScienceFieldOfStudy #ComputerProgrammingConferenceSubject #MathematicsFieldOfStudy

PWLSF- 11/2014 - Leif Walsh on Level Ancestor Simplified (2014)

https://www.youtube.com/watch?v=lbqGee8a-jA

#ComputerScienceFieldOfStudy #SoftwareEngineeringIndustry

PWLTO#10 – Ben Darwin on Programming with Algebraic Effects and Handlers (2015)

https://www.youtube.com/watch?v=RpqGG-N5p1I

#ComputerScienceFieldOfStudy #ProgrammerProfession

Jeff Larson - On the resemblance and containment of documents (2014)

https://www.youtube.com/watch?v=zbIt245amAw

#ComputerScienceFieldOfStudy #MinHash #PapersSoftware

PWLTO#4 – Chris Saunders on Teaching Garbage Collection (2015)

https://www.youtube.com/watch?v=z5Eheg5i3nY

#ComputerScienceFieldOfStudy

PWLTO#11 – Peter Sobot on An Industrial-Strength Audio Search Algorithm (2015)

https://www.youtube.com/watch?v=WhXgpkQ8E-Q

#ComputerScienceFieldOfStudy #AudioSignalProfession

Sam Tobin-Hochstadt on Composable and Compilable Macros (2015)

https://www.youtube.com/watch?v=pK2E63mhRxI

#ComputerScienceFieldOfStudy #ComputerProgrammingConferenceSubject #ProgrammingLanguages

PWLTO#8 – Donny Nadolny on Raft (2015)

https://www.youtube.com/watch?v=aaCD9zJFcYw

#ComputerScienceFieldOfStudy #DistributedComputingConferenceSubject

Erik Hinton on The Derivative of a Regular Type is its Type of One-Hole Contexts (2014)

https://www.youtube.com/watch?v=K7tQsKxC2I8

#PapersSoftware #ComputerScienceFieldOfStudy #papers_we_love