Lemmy.VG
  • Communities
  • Create Post
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
PhilipTheBucket@ponder.cat to Videos@lemmy.world · 2 months ago

What is plus times plus? A short introduction to the lambda calculus

youtu.be

external-link
message-square
1
fedilink
16
external-link

What is plus times plus? A short introduction to the lambda calculus

youtu.be

PhilipTheBucket@ponder.cat to Videos@lemmy.world · 2 months ago
message-square
1
fedilink
What is PLUS times PLUS?
youtu.be
external-link
ERRATA:• The "Church-Turing Thesis" is different from the "Church-Turing Theorem". The "theorem" is the claim which I discussed in the video- namely, that th...
alert-triangle
You must log in or register to comment.
  • HessiaNerd@lemmy.world
    link
    fedilink
    arrow-up
    3
    ·
    1 month ago

    Super interesting. Definitely over my head.

Videos@lemmy.world

videos@lemmy.world

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

For sharing interesting videos from around the Web!

Rules

  1. Videos only
  2. Follow the global Mastodon.World rules and the Lemmy.World TOS while posting and commenting.
  3. Don’t be a jerk
  4. No advertising
  5. No political videos, post those to [email protected] instead.
  6. Avoid clickbait titles. (Tip: Use dearrow)
  7. Link directly to the video source and not for example an embedded video in an article or tracked sharing link.
  8. Duplicate posts may be removed

Note: bans may apply to both [email protected] and [email protected]

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 144 users / day
  • 653 users / week
  • 2.4K users / month
  • 7.77K users / 6 months
  • 5 local subscribers
  • 15.7K subscribers
  • 2.84K Posts
  • 8.47K Comments
  • Modlog
  • mods:
  • Flutter@lemmy.world
  • Ghostalmedia@lemmy.world
  • can@sh.itjust.works
  • qaz@lemmy.world
  • qaz@lemmy.blahaj.zone
  • BE: 0.19.5
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org