José A. Alonso on Nostr: Readings shared November 9, 2024. ...
Readings shared November 9, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/09-readings_shared_11-09-24 #ITP #Agda #Logic #Math #SetTheory #AI #MachineLearning
José A. Alonso /
npub1pma…v8pw
2024-11-10 06:45:46
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-10 06:45:46Event JSON
{
"id": "7ef29840c75694bccf8da302b65801baee7f924eb247abc0832464b37757f116",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731221146,
"kind": 1,
"tags": [
[
"t",
"machinelearning"
],
[
"t",
"ai"
],
[
"t",
"settheory"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"agda"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113457309045469277",
"activitypub"
]
],
"content": "Readings shared November 9, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/09-readings_shared_11-09-24 #ITP #Agda #Logic #Math #SetTheory #AI #MachineLearning",
"sig": "65308babf0b3e5a4b2128ab34352cb5057f3ee74db7250df20a9383f07a1466d7abd177bf4a48af39efc082f02d3474c575021f849d47eda21d07b9294364508"
}