Event JSON
{
"id": "012c117c82c451c7969ad83e6350922f4972a57e8aaabd5f475191891b8929b5",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724483755,
"kind": 1,
"tags": [
[
"t",
"python"
],
[
"t",
"logicprogramming"
],
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"deeplearning"
],
[
"t",
"ai"
],
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113015767411022141",
"activitypub"
]
],
"content": "Readings shared August 23, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/24-readings_shared_08-23-24 #ITP #IsabelleHOL #LeanProver #Lean4 #AI #DeepLearning #Haskell #FunctionalProgramming #LogicProgramming #Python",
"sig": "7b805d4f3cf77352df4e6b70dedbb8b38fef6d99a15d2210796b06a773e53dc1618cb79704802c2415a260a77a843ba520896c02279740e9570c518bd8954fd8"
}
