2026-07-28 20:50 UTC
@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. "
Replies (0)
No replies.