nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqlg9lw55qs5hzd6s2rm7rhxdyzw9qvn24udezwvx2r2r9dkz95tlqktny5f (nprofile…ny5f)
You could use it to run a (dependently-typed) neural network. I tried implementing it in Idris, but I got bogged down.
https://bartoszmilewski.com/2024/03/22/neural-networks-pre-lenses-and-triple-tambara-modules/
Bartosz Milewski /
npub15c…wczp5
2025-01-14 16:39:05
in reply to nevent1q…zt8c
Author Public Key
npub15c9gsd6d3cw0pyk8a2fkv248snan8vl8t0nhy5qhqvhxj20tch2swwczp5Published at
2025-01-14 16:39:05Event JSON
{
"id": "7b10b51e769017f5ca485be044565ece1bafa2cd5bfadb68957606eef7a5b900",
"pubkey": "a60a88374d8e1cf092c7ea93662aa784fb33b3e75be7725017032e6929ebc5d5",
"created_at": 1736872745,
"kind": 1,
"tags": [
[
"p",
"fa0bf75280852e26ea0a1efc3b99a4138a064d55e3722730ca1a8656d845a2fe",
"wss://relay.mostr.pub"
],
[
"p",
"506f1166f0c59bdafddb566d1fe782e29f23a659958b9445415c8a41c010c674",
"wss://relay.mostr.pub"
],
[
"e",
"13f5403863357e3b7c0121eff253c71bcb64d5a3991ef3e3312047ccdbcd4cb5",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/BartoszMilewski/statuses/113827692277651605",
"activitypub"
]
],
"content": "nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqlg9lw55qs5hzd6s2rm7rhxdyzw9qvn24udezwvx2r2r9dkz95tlqktny5f \nYou could use it to run a (dependently-typed) neural network. I tried implementing it in Idris, but I got bogged down.\nhttps://bartoszmilewski.com/2024/03/22/neural-networks-pre-lenses-and-triple-tambara-modules/",
"sig": "74e384060c24ac1d4492b5fca1a748932676cd047b0dff335282f18579ff4fdf559c0ac08902f73a857760f0337781bd0ac557e7d40d9a0dd3989dcd239e7b96"
}