Event JSON
{
"id": "9cdf4e2a536cd2dd4d3c4c688283626dc74fbaf45ce764f9586cb6b1850a4253",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1739795143,
"kind": 1,
"tags": [
[
"t",
"reasoning"
],
[
"t",
"logic"
],
[
"t",
"lambdacalculus"
],
[
"t",
"LLMs"
],
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"categorytheory"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/114019214544808071",
"activitypub"
]
],
"content": "Readings shared February 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/16-readings_shared_02-16-25 #CategoryTheory #FunctionalProgramming #Haskell #LLMs #LambdaCalculus #Logic #Reasoning",
"sig": "e40459f2b1caee7975b92a0955a339e545138469c12bd2f83263b23d22cbf26d6a58c414724be068d8c3788fe195d9c5b81f2f59561f56f17895694b34c070c1"
}
