▽Planet Lisp ●01/15 10:04 Joe Marshall — λ Calculus@2025-01-14 23:04 · 1 hour agoA lambda calculus is a set of rules and strategies for manipulating logical expressions. As Church defined them, these logical expressions are linear lists of symbols. A symbol is effectively a variable. Two expressions in sequence indicate a function application. The special symbol λ is just a marker to indicate a function. P
▽WiLiKi: Recent Changes ●01/15 09:34 2025/01/09 23:45:32 UTC (5 days ago) naoya_t:ﾎﾟｰﾙ･ｸﾞﾚｱﾑのｴｯｾｲと和訳一覧
▽Planet Haskell ●01/15 08:25 January 13, 2025Michael SnoymanIncentives Determine OutcomesMy blog posts and reading material have both been on a decidedly economics-heavy slant recently. The topic today, incentives, squarely falls into the category of economics. However, when I say economics, I’m not talking about “analyzing supply and demand curves.” I’m talking about the true basis of economics: understanding how human be
