Presented by:

C019f3d9166329b666783188cf542994

Wes Payne

from Jupiter Broadcasting

Podcaster and co-host of LINUX Unplugged and TechSNAP. Background in Physics, Computer Science, and Operations. Runner, reader, and dog owner.

Are you curious about the foundations of computing? Have you ever wondered (after too many hours on Hacker News) "what's a y-combinator?".

In this presentation we will explore the nature of computation through the lens of the lambda calculus, discover how you can create numbers from nothing but functions, and finally explain what a combinator is, and why you might want one.

Topics include: - Computability and the Turing Machine - The Lambda Calculus - Church Encoding - Recursion - Fixpoints - The Y combinator - Functional Programming

Audience members will be introduced to computability theory and the lambda calculus through practical examples and demonstrations with the goal of revealing the fascinating theory underlying day-to-day programming.

Suitable for anyone familiar with a modern programming language and comfortable with code samples in python, ruby, or javascript.

Date:
Duration:
1 h
Room:
HC-104 Jupiter
Conference:
LinuxFest Northwest 2019
Language:
Track:
Jupiter Broadcasting
Difficulty:
Medium

Happening at the same time:

  1. Steganography - Hiding In Plain Sight
  2. Start Time:
    2019 April 28 10:45

    Room:
    CC-114

  3. What Was Old is New Again
  4. Start Time:
    2019 April 28 10:45

    Room:
    CC-208

  5. Lambda Calculus for the Practicing Programmer
  6. Start Time:
    2019 April 28 10:45

    Room:
    HC-104 Jupiter

  7. Paradux: Recovering From Maximum Personal Data Disaster
  8. Start Time:
    2019 April 28 10:45

    Room:
    HC-108

  9. Sex, Secret and God: A Brief History of Bad Passwords
  10. Start Time:
    2019 April 28 10:45

    Room:
    G-103

  11. Past, Present & Future of Blockchain
  12. Start Time:
    2019 April 28 10:45

    Room:
    CC-235

  13. We can fix email server encryption!
  14. Start Time:
    2019 April 28 10:45

    Room:
    CC-200

  15. CompTIA's NEW Linux+ Certification - All You Need to Know!
  16. Start Time:
    2019 April 28 10:45

    Room:
    CC-115

  17. Introducing Snaps and Snapcraft
  18. Start Time:
    2019 April 28 10:45

    Room:
    CC-202 Tutorials

  19. PostgreSQL: An Introduction to BARMAN
  20. Start Time:
    2019 April 28 10:45

    Room:
    HC-103 Postgres

  21. Web of Things API
  22. Start Time:
    2019 April 28 10:45

    Room:
    CC-236