Event JSON
{
"id": "dd47e0b391d75310ab25b92237e9110aeafb383438ce0d081e1ec16fd4ad772f",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737184614,
"kind": 1,
"tags": [
[
"t",
"reasoning"
],
[
"t",
"LLMs"
],
[
"t",
"ai"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"leanprover"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"t",
"python"
],
[
"t",
"haskell"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113848130916280902",
"activitypub"
]
],
"content": "Readings shared January 17, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/17-readings_shared_01-17-25 #Haskell #Python #ITP #Coq #Rocq #LeanProver #Logic #Math #AI #LLMs #Reasoning",
"sig": "e6ca5dee94b9a6f008f512272eb64b79531bf66226c31d65d9d6445aafd043e5523a64d7494b6cd86f638d7ee784c57e2edd3ab58e38cc2f0bbd11ab8075cbd3"
}
