Event JSON
{
"id": "40370e0545e6bc868345e20faad439aec17c3c5b9ccd6af498e9629e044c8f43",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736579832,
"kind": 1,
"tags": [
[
"t",
"LLMs"
],
[
"t",
"NeuroSymbolicAI"
],
[
"t",
"ai"
],
[
"t",
"logicprogramming"
],
[
"t",
"asp"
],
[
"t",
"python"
],
[
"t",
"haskell"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113808495923226919",
"activitypub"
]
],
"content": "Readings shared January 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-25 #ITP #LeanProver #Logic #Math #Haskell #Python #ASP #LogicProgramming #AI #NeuroSymbolicAI #LLMs",
"sig": "bc0e98943d036557e27bdf20670ba31e21516219aebd8be91d47c468f673a8afef724b6167bd3078f46c43f35c07512e9d9882b09858cd2682846d465f6b197b"
}
