Event JSON
{
"id": "f7d94cf83ed3a9ded0c855544e1d271ef0ad91af6ee3399c0f80f379d9210b86",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731741502,
"kind": 1,
"tags": [
[
"t",
"LLMs"
],
[
"t",
"ai"
],
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"settheory"
],
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113491411138155912",
"activitypub"
]
],
"content": "Readings shared November 15, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/15-readings_shared_11-15-24 #ITP #LeanProver #Math #SetTheory #Haskell #FunctionalProgramming #AI #LLMs",
"sig": "6d27182bdbc0802ed3862dbb56979460757b5861b90f5606c65ba0470fa3242f32d3214ab573356cf1776ecd8ac4e030eb118a158341abdf80d92b34be48b7f5"
}
