TIL: Stanford has an online encyclopedia of #philosophy! It's huge and the articles I've skimmed so far are really well written.
I've been went looking for a layman's explanation of the notation for lambda calculus, since I'm filling in gaps in my #compsci education and that lambda calculus is used in a lot of papers. The Stanford article is the best explanation I've seen.
https://plato.stanford.edu/contents.html
Brian Davis /
npub1aw…g08u4
2024-06-27 16:49:30
Author Public Key
npub1awefx40kdrvky06n6gde8t33vcyudmrcuxe85m576xmzhwpue7gs3g08u4Published at
2024-06-27 16:49:30Event JSON
{
"id": "e9d91049556fecc8808812cb4cc76f8a07209a81b023c5002ef9ceb6bc979070",
"pubkey": "ebb29355f668d9623f53d21b93ae316609c6ec78e1b27a6e9ed1b62bb83ccf91",
"created_at": 1719506970,
"kind": 1,
"tags": [
[
"t",
"philosophy"
],
[
"t",
"compsci"
],
[
"proxy",
"https://vmst.io/users/intrepidhero/statuses/112689608825648461",
"activitypub"
]
],
"content": "TIL: Stanford has an online encyclopedia of #philosophy! It's huge and the articles I've skimmed so far are really well written. \n\nI've been went looking for a layman's explanation of the notation for lambda calculus, since I'm filling in gaps in my #compsci education and that lambda calculus is used in a lot of papers. The Stanford article is the best explanation I've seen. \n\nhttps://plato.stanford.edu/contents.html",
"sig": "5c87e6ec878e4752b38a530071028f0abd15d39fa93f63e372295ee908947e44f8ba2e8f2bbdf60b8e73ac0ceff38f2d83397b337efc693e846b75022224e3aa"
}