ViewTube

Opportunistically Parallel Lambda Calculus (Video, OOPSLA2 2025) Stephen Mell, Konstantinos Kallas, Steve Zdancewic, and ...

... an Untyped Lambda Calculus Interpreter in C Twitch Chat in Subtitles generated by: https://github.com/kam1k4dze/subchat ...

The interpreter used in the video: https://github.com/tsoding/lamb.

This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ...

Recorded talks from NewCrafts 2019 - May 16+17, 2019 in Paris, France https://ncrafts.io ...

Alonzo Church introduced the Lambda Calculus. A formal system (an abstract structure) for expressing computation based on ...

This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ...

Introduction to MetaPhysics FOR ALL via RIFT TOMOGRPAHIC TESTING RT.

Master's degree lectures at MIPT on modern C++ in English. Department of Microprocessor Technologies. In this lecture we ...

Let's give a calculus 2 proof of the fact that 0.99999 0.9 periodic is equal to one and I say calculus 2 because I am going to use ...

Tauchen Sie ein in die Feinheiten von C+ + -Lambdas und erfahren Sie, wann und warum erfasste Variablen konstruiert und ...

Star Alpha(Αστέρας Α) Organic farming/Biological farming Beta(Βιολογική καλλιέργεια Β) Grammar Gamma(Γραμματική Γ) ...

Source Code: https://gist.github.com/rexim/6f2349b548fdead7ed790d1a40915ae1 Chapters: - 00:00 - The Most Important ...

I build intelligent distributed systems, both local-first and cloud-aware, but my career began with embedded microcontrollers in ...

This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ...

Knative Lambda Operator automatically builds and deploys containerized functions on Kubernetes with scale-to-zero, ...

Solving Advent of Code 2025, Day 3 (0:04), I'm working in Wolfram Language to extract two digits from a given number that form ...

Fixing K6 tests for Knative Lambda Operator in My Homelab with Cursor Full unedited debugging session where I fix K6 load tests ...

"On the structure of residuated po-semigroups as models of Lambek Calculus and MLL" Peter Jipsen 11 December 2025 ...