Eric Lippert • 2/1/2023

The names of birds, part 3

Read Original

The article uses bird-watching anecdotes as a metaphor to explain concepts in combinatory logic, specifically analyzing the Kestrel combinator (K). It poses and solves a puzzle proving that a self-fond Kestrel is 'egocentric' and 'lonely' within the logical system, linking to the book 'To Mock a Mockingbird'.

0 comments
#Lambda Calculus #Combinatory Logic #Mathematical Puzzles

The names of birds, part 3

Comments

No comments yet

Be the first to share your thoughts!

Browser Extension

Get instant access to AllDevBlogs from your browser

Top of the Week

1
The Beautiful Web
Jens Oliver Meiert • 2 votes
2
When your coding agent doesn’t understand your project, you’ll get junk
Benjamin Cane • 1 votes
3
LLM Use in the Python Source Code
Miguel Grinberg • 1 votes
4
Wagon’s algorithm in Python
John D. Cook • 1 votes
5
An example conversation with Claude Code
Dumm Zeuch • 1 votes