Search
1000 results for “ordinal”
-
お早う御座います、指向性 放射線. ☀️
-
私は この 解剖学 的な 知識を オーディナルズの アート に 注ぎ込んだ.
#Ordinals #Digitalartifacts #Digitalassets #Web3D -
わたしは えいえん に あなたの よろこびの ために じょすうしの ごいの なか に みを ささげ ます.
#Ordinals #Digitalartifacts #Digitalassets #Web3 -
わたしは あなたの ために えいえん に ウェブ 3ひろさ に みを ささげ ます.
-
あなたを ゆたか に しょうさん します.
-
おはようございます うつくしい こうたくの ある。☀️
#Ordinals #Digitalartifacts #Digitalassets #Web3 -
おやすみなさい、にんしきの みなもと。🌃
-
ビットコイン ブロックチェーンからの おんしゃ に かんしゃ しています。🙏
-
ゆたか な せいかつ と しゅくふくを ありがとうございます。
#Ordinals #Digitalartifacts #Digitalassets #Web3 -
おはようございます、ひるいないき あいじょう。☀️
#ordinals #digitalartifacts #digitalassets #web3 -
ごと しゅんかん あなたを しょうさん します。🙏
#ordinals #digitalartifacts #digitalassets #web3 -
わたしを しゅくふく して くれる すべての しゅんかんに かんしゃ します。
#ordinals #digitalartifacts #digitalassets #web3 -
Every well-ordered set is isomorphic to an ordinal. Common notion, for example see Introduction to https://arxiv.org/abs/2409.07352
⊢((𝐴∈V∧𝑅We𝐴)↔∃𝑓(dom𝑓∈On∧𝑓IsomE,𝑅(dom𝑓,𝐴)))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists f ( \mathrm{dom} f \in \mathrm{On} \wedge f \mathrm{Isom} \mathrm{E} , R ( \mathrm{dom} f , A ) ) ) \]
Every well-ordered set is isomorphic to
a unique ordinal.⊢((𝐴∈V∧𝑅We𝐴)↔∃!𝑜∈On∃𝑓∈(𝐴↑ₘ𝑜)𝑓IsomE,𝑅(𝑜,𝐴))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists{!} o \in \mathrm{On} \exists f \in ( A \uparrow_\mathrm{m} o ) f \mathrm{Isom} \mathrm{E} , R ( o , A ) ) \]
We can phrase the Axiom of Choice as "Every set injects into an ordinal."
⊢(CHOICE↔∀𝑥∃𝑜∈On𝑥≼𝑜)
\[ \vdash ( \mathrm{CHOICE} \leftrightarrow \forall x \exists o \in \mathrm{On} x \preccurlyeq o ) \]
-
Every well-ordered set is isomorphic to an ordinal. Common notion, for example see Introduction to https://arxiv.org/abs/2409.07352
⊢((𝐴∈V∧𝑅We𝐴)↔∃𝑓(dom𝑓∈On∧𝑓IsomE,𝑅(dom𝑓,𝐴)))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists f ( \mathrm{dom} f \in \mathrm{On} \wedge f \mathrm{Isom} \mathrm{E} , R ( \mathrm{dom} f , A ) ) ) \]
Every well-ordered set is isomorphic to
a unique ordinal.⊢((𝐴∈V∧𝑅We𝐴)↔∃!𝑜∈On∃𝑓∈(𝐴↑ₘ𝑜)𝑓IsomE,𝑅(𝑜,𝐴))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists{!} o \in \mathrm{On} \exists f \in ( A \uparrow_\mathrm{m} o ) f \mathrm{Isom} \mathrm{E} , R ( o , A ) ) \]
We can phrase the Axiom of Choice as "Every set injects into an ordinal."
⊢(CHOICE↔∀𝑥∃𝑜∈On𝑥≼𝑜)
\[ \vdash ( \mathrm{CHOICE} \leftrightarrow \forall x \exists o \in \mathrm{On} x \preccurlyeq o ) \]
-
Every well-ordered set is isomorphic to an ordinal. Common notion, for example see Introduction to https://arxiv.org/abs/2409.07352
⊢((𝐴∈V∧𝑅We𝐴)↔∃𝑓(dom𝑓∈On∧𝑓IsomE,𝑅(dom𝑓,𝐴)))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists f ( \mathrm{dom} f \in \mathrm{On} \wedge f \mathrm{Isom} \mathrm{E} , R ( \mathrm{dom} f , A ) ) ) \]
Every well-ordered set is isomorphic to
a unique ordinal.⊢((𝐴∈V∧𝑅We𝐴)↔∃!𝑜∈On∃𝑓∈(𝐴↑ₘ𝑜)𝑓IsomE,𝑅(𝑜,𝐴))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists{!} o \in \mathrm{On} \exists f \in ( A \uparrow_\mathrm{m} o ) f \mathrm{Isom} \mathrm{E} , R ( o , A ) ) \]
We can phrase the Axiom of Choice as "Every set injects into an ordinal."
⊢(CHOICE↔∀𝑥∃𝑜∈On𝑥≼𝑜)
\[ \vdash ( \mathrm{CHOICE} \leftrightarrow \forall x \exists o \in \mathrm{On} x \preccurlyeq o ) \]
-
Ordinals e o problema dos UTXOs
Você sabia que a implementação dos Ordinals em 2023 tornou muito mais difícil rodar um nó Bitcoin em dispositivos fracos? 🤯
• O problema:
- Crescimento exponencial de UTXOs de 1 satoshi com a chegada dos Ordinals.• Consequência:
- Máquinas de baixo poder (ex: Raspberry Pi) passaram a não conseguir validar o blockchain inteiro sincronizando do zero.• Solução prática (workaround):
- Valide...#Bitcoin #Blockchain #Ordinals #UTXOs #RaspberryPi #MorningCrypto
-
Ordinals e o problema dos UTXOs
Você sabia que a implementação dos Ordinals em 2023 tornou muito mais difícil rodar um nó Bitcoin em dispositivos fracos? 🤯
• O problema:
- Crescimento exponencial de UTXOs de 1 satoshi com a chegada dos Ordinals.• Consequência:
- Máquinas de baixo poder (ex: Raspberry Pi) passaram a não conseguir validar o blockchain inteiro sincronizando do zero.• Solução prática (workaround):
- Valide...#Bitcoin #Blockchain #Ordinals #UTXOs #RaspberryPi #MorningCrypto
-
Ordinals e o problema dos UTXOs
Você sabia que a implementação dos Ordinals em 2023 tornou muito mais difícil rodar um nó Bitcoin em dispositivos fracos? 🤯
• O problema:
- Crescimento exponencial de UTXOs de 1 satoshi com a chegada dos Ordinals.• Consequência:
- Máquinas de baixo poder (ex: Raspberry Pi) passaram a não conseguir validar o blockchain inteiro sincronizando do zero.• Solução prática (workaround):
- Valide...#Bitcoin #Blockchain #Ordinals #UTXOs #RaspberryPi #MorningCrypto
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
Please do read the terrible story I have put here as a graphic. If you are involved in any kind of music scene, or are considering coming to Stockholm, its important for you to know. Thank you.
#fylkingen
#elektronmusikstudion
#editionfestival
#ordinalgarden.social
#fönstret
#frim
#Audiorama
#cafeoto
#radioart
#nutidamusik
#iscm
#internationalsocietyforcontemporarymusic
#KMH
#kkh
#SKH
#gotlandstonsätareskolan
#TEGEN2
#artisticresearch
#konstnärligaforskning
#soundart
#metoo -
Please do read the terrible story I have put here as a graphic. If you are involved in any kind of music scene, or are considering coming to Stockholm, its important for you to know. Thank you.
#fylkingen
#elektronmusikstudion
#editionfestival
#ordinalgarden.social
#fönstret
#frim
#Audiorama
#cafeoto
#radioart
#nutidamusik
#iscm
#internationalsocietyforcontemporarymusic
#KMH
#kkh
#SKH
#gotlandstonsätareskolan
#TEGEN2
#artisticresearch
#konstnärligaforskning
#soundart
#metoo -
Bitcoin DeFi is splitting into two designs: indexer-embedded VMs vs. Decentralized PSBT Signing. We compare MEV, latency, UX, and more... https://hackernoon.com/what-the-battle-of-the-bitcoin-metaprotocols-means-for-the-future-of-bitcoin #ordinals
-
Bitcoin DeFi is splitting into two designs: indexer-embedded VMs vs. Decentralized PSBT Signing. We compare MEV, latency, UX, and more... https://hackernoon.com/what-the-battle-of-the-bitcoin-metaprotocols-means-for-the-future-of-bitcoin #ordinals
-
Bitcoin DeFi is splitting into two designs: indexer-embedded VMs vs. Decentralized PSBT Signing. We compare MEV, latency, UX, and more... https://hackernoon.com/what-the-battle-of-the-bitcoin-metaprotocols-means-for-the-future-of-bitcoin #ordinals
-
Bitcoin DeFi is splitting into two designs: indexer-embedded VMs vs. Decentralized PSBT Signing. We compare MEV, latency, UX, and more... https://hackernoon.com/what-the-battle-of-the-bitcoin-metaprotocols-means-for-the-future-of-bitcoin #ordinals
-
Bitcoin DeFi is splitting into two designs: indexer-embedded VMs vs. Decentralized PSBT Signing. We compare MEV, latency, UX, and more... https://hackernoon.com/what-the-battle-of-the-bitcoin-metaprotocols-means-for-the-future-of-bitcoin #ordinals
-
BitMEX Research Report Flags BRC-20 as the Real Strain on Bitcoin Nodes - In a newly published report, BitMEX Research and its analysts say BRC-20 activity,... - https://news.bitcoin.com/bitmex-research-report-flags-brc-20-as-the-real-strain-on-bitcoin-nodes/ #ordinalinscriptions #bitcoin(btc) #cryptonews