Event JSON
{
"id": "f4728fe962365b697f8cb1878b3d6f0a1fd45d63a75f287c7ab05e09ed9a72d7",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736667373,
"kind": 1,
"tags": [
[
"t",
"genai"
],
[
"t",
"education"
],
[
"t",
"computersci"
],
[
"t",
"categorytheory"
],
[
"t",
"math"
],
[
"t",
"python"
],
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"agda"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113814232985253534",
"activitypub"
]
],
"content": "Readings shared January 11, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/11-readings_shared_01-11-25 #ITP #LeanProver #Coq #Rocq #Agda #FunctionalProgramming #Haskell #Python #Math #CategoryTheory #ComputerSci #Education #GenAI",
"sig": "df1c38111a111e31768d48e5aa92efeb25bc64b86acbceae8213b04674588d1407930ce64db4a850dc6042cf12532822254f0e152a15bb32c4b6b32a374d63b5"
}
