Event JSON
{
"id": "192b272f374927934af1b1fbb202aeaa955b5be6a394b934cde3317554351788",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1735648891,
"kind": 1,
"tags": [
[
"t",
"ai"
],
[
"t",
"categorytheory"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"emacs"
],
[
"t",
"emacslisp"
],
[
"t",
"commonlisp"
],
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113747485757835585",
"activitypub"
]
],
"content": "Readings shared December 30, 2024. https://jaalonso.github.io/vestigium/posts/2024/12/30-readings_shared_12-30-24 #ITP #Coq #Rocq #FunctionalProgramming #Haskell #CommonLisp #EmacsLisp #Emacs #Logic #Math #CategoryTheory #AI",
"sig": "386130bfcadea491c9be7b19b7af32a4d3c49dddd5888bc662dde8d2ccd8e5a5d528ad809ef6d0f61ae30df7868da3912805b35d08156228bbb6667f441df633"
}
