Event JSON
{
"id": "73a36a8c4df85997b1db930d73b78344dc33e12c515ce4da7c635bf3b2e2defd",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731694067,
"kind": 1,
"tags": [
[
"t",
"LLMs"
],
[
"t",
"ai"
],
[
"t",
"rustlang"
],
[
"t",
"education"
],
[
"t",
"compsci"
],
[
"t",
"formalmethods"
],
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"atp"
],
[
"t",
"coq"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113488302417002500",
"activitypub"
]
],
"content": "Readings shared November 14, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/14-readings_shared_11-14-24 #ITP #LeanProver #Coq #ATP #Logic #Math #Haskell #FunctionalProgramming #FormalMethods #CompSci #Education #RustLang #AI #LLMs",
"sig": "40d90b2c6019737a3a072f0f930d22d963cead6fcdad32ee32f84c427456c77969dbc98557e3e0a1f286d6e2c71d0e5ac06da28d2b158a1eec79ab97a9242224"
}
