Event JSON
{
"id": "eb3ef1463921575fb0d8af98eae975d7f083a62ce7664cc1aabe5bd3a181f5d2",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737097844,
"kind": 1,
"tags": [
[
"t",
"LLMs"
],
[
"t",
"ai"
],
[
"t",
"matematicas"
],
[
"t",
"python"
],
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"smt"
],
[
"t",
"sat"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"agda"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113842444307495239",
"activitypub"
]
],
"content": "Readings shared January 16, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/16-readings_shared_01-16-25 #ITP #LeanProver #Agda #Logic #Math #SAT #SMT #FunctionalProgramming #Haskell #Python #Matemáticas #AI #LLMs",
"sig": "effd13dc4bb77ccdade69a1c9419133e6fe9e42076570363c65e8109b4f9021734d50d6fcb03ac9089c2bc31f0c29783b5039cd6eb257480abe9e6fc9b6a7cf5"
}
