2026-07-28 15:04 UTC
@em_and_future_cats@mastodon.social I'm also a huge bird admirer so this is more fun :)
Replies (1)
-
@pt_ickle@mastodon.social 2026-07-28 20:50
@drwhax@infosec.exchange @em_and_future_cats@mastodon.social wrt > I’m not a coder or understand much about coding & birds see also " a gentle and humorous introduction to combinatory logic and the associated metamathematics, built on an elaborate ornithological metaphor.." https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird "Combinatory logic, functionally equivalent to the lambda calculus, is a branch of symbolic logic having the expressive power of set theory, and with deep connections to questions of computability and provability. "