Event JSON
{
"id": "70999accc4103c9aaca88ff0482e5724b8d3c795a4d50b3de92842570dc57003",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731052114,
"kind": 1,
"tags": [
[
"t",
"education"
],
[
"t",
"programming"
],
[
"t",
"ai"
],
[
"t",
"chatgpt"
],
[
"t",
"LLMs"
],
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"agda"
],
[
"t",
"Lean4"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113446231406872684",
"activitypub"
]
],
"content": "Readings shared November 7, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/07-readings_shared_11-07-24 #ITP #Coq #Lean4 #Agda #Logic #Math #Haskell #FunctionalProgramming #LLMs #ChatGPT #AI #Programming #Education",
"sig": "6ead3c8056f90977860617bf707f036404eff013759cb573cfc3588c5c2ac34f7d1334768458851ff0d43059a25d6e15403588ffa8f301aeb04b4cf42be87d26"
}
