Elektrine lite

← Feed

@pt_ickle@mastodon.social

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.