Event JSON
{
"id": "9318078359e773a0202618ad7efe32c8b18a99444dd64b6e2f46e69555b291bc",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1771154156,
"kind": 1,
"tags": [
[
"t",
"rustlang"
],
[
"t",
"prolog"
],
[
"t",
"minlog"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"lisp"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"coqprover"
],
[
"t",
"clojure"
],
[
"t",
"agda"
],
[
"t",
"ai4math"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/116074358832008134",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "Readings shared February 14, 2026. https://jaalonso.github.io/vestigium/posts/2026/02/15-readings_shared_02-14-26 #AI4Math #Agda #Clojure #CoqProver #FunctionalProgramming #Haskell #ITP #LeanProver #Lisp #Logic #Math #Minlog #Prolog #RustLang",
"sig": "7b001029905e93fdf8fb141720ac501e87bccf5e4ed56c061b413d6120e5076fca05c34e51d86755d5e4dd7f7b9b096ac33e4e9d5526c290590883135e0a84a3"
}
