Event JSON
{
"id": "bca02857a6aeda35e9c0e4389f19236f94e9d0cc56ff57e1ce4373eb13bba1f2",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736494977,
"kind": 1,
"tags": [
[
"t",
"chatgpt"
],
[
"t",
"neuralnetwork"
],
[
"t",
"ai"
],
[
"t",
"python"
],
[
"t",
"javascript"
],
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113802934847223656",
"activitypub"
]
],
"content": "Readings shared January 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/09-readings_shared_01-09-25 #ITP #LeanProver #Logic #Math #FunctionalProgramming #Haskell #JavaScript #Python #AI #NeuralNetwork #ChatGPT",
"sig": "b109d37b21ee4e403800342a55a16567fbec0d86d5677e9897a3658a8493fba594f6831936506506cfff483dc6c1a30aa6e4a7595a8ad6ce7f79583cf549d73e"
}
