Andrew Helwer · @ahelwer
122 followers · 970 posts · Server fosstodon.orgIs there any work that has been done on, like, analyzing the #complexity of proofs in the same way complexity of algorithms are analyzed? Like minimum number of steps to reach some proposition from assumptions. I'm sure from a dependent types perspective you can put bounds on the complexity of constructing a value of a certain type, for example. #math #proof
Cate · @lavndrblue
1113 followers · 6793 posts · Server mas.to
Lorraine · @Lorrrraaaaine
426 followers · 2047 posts · Server zeroes.ca
It’s tbh not their fault (they being the masses) b/c we’re being relentlessly lied to #gaslit
Idk, maybe it’s just me, but if I found out I was being lied to, I’d go scorch earth🤷🏻♀️
By the time they realize, it will be far too late
We’ve had ALL the info of potential bodily harm done & how #airborne works since at the very least, December 2020 #proof
Knowledge Zone · @kzoneind
310 followers · 1862 posts · Server mstdn.social
#Sleep Deprivation Breaks Your #Microbiome, Which Breaks Your #Brain : Medium
Brief periods of #Dangerous #Humid #Heat arrive decades early : NOAA
Why #Mathematical #Proof Is a #SocialCompact : Quanta Mag
Check our latest #KnowledgeLinks
#knowledgelinks #socialcompact #proof #mathematical #heat #humid #dangerous #brain #microbiome #sleep
nosat · @nosat
318 followers · 7910 posts · Server liberdon.com
CryptoNewsBot · @cryptonewsbot
693 followers · 39279 posts · Server schleuss.onlineBalancer protocol exploited for $900K as DeFi hacks mount: Finance Redefined - DeFi exploits resulted in losses of over $16 million in August.
... - https://cointelegraph.com/news/balancer-protocol-exploited-for-900k-as-defi-hacks-mount-finance-redefined #cryptocurrencies #proof-of-stake #shibainu #staking
#staking #shibainu #proof #cryptocurrencies
Frau Sanders · @Frau_Sanders
348 followers · 265 posts · Server kirche.socialUnd gleich der Zwischenruf auf WDR 3 zur UN-Behindertenrechtskonvention, deren Umsetzung in Deutschland grad überprüft wird.
Ich würde sagen: 6. setzen.
#deutschland #proof #un #inklusion
rmmonster · @rmmonster
9 followers · 935 posts · Server social.tchncs.deTitle: Is Itself an Exponent of the Deadpan Non-Sequitur
Author: #Claudine #Nemejanski
Language: #ASL (#American #Sign #Language), modern (note: represented using illustrations of a posed, #wooden #mannequin)
Depth of recovery: 1,001m
Description: A series of #examples and counter-examples to the proposition that the #proof of the #Banach-#Tarski #paradox both relies [...]
#scp #1986
1/2
#claudine #nemejanski #asl #american #sign #language #wooden #mannequin #examples #proof #banach #Tarski #paradox #scp
alexdp · @alexdp
4 followers · 48 posts · Server social.boom.armyhttps://lightprotocol.com is solana's #zk #zeroknowledge protocol. it allows for arbitrary proofs, which means it can be used for anything from #poker to #messaging, to #bank loans, to elections. this ZK #proof is so advanced that it costs the exact same as the same transaction unencrypted. #linux #system #crypto #cryptography #appliedmath
#zk #zeroknowledge #poker #messaging #bank #proof #linux #system #crypto #cryptography #appliedmath
Optimistic Moron · @OptimisticMoron
13 followers · 226 posts · Server mastodon.xyzGeorgia prosecutors must be seriously pissed:
Despite #Trump claiming to have “irrefutable” #proof of his innocence in the case against him from #Georgia, the four-time indicted former president #canceled the news conference in which he was supposed to present it.
https://www.thewrap.com/morning-joe-cracks-up-trump-canceled-press-conference
#trump #proof #georgia #canceled
CryptoNewsBot · @cryptonewsbot
688 followers · 37511 posts · Server schleuss.onlineTurbulence in Shibarium’s Debut: $1.7M ETH Stuck and a Crypto Whale Shifts the Tide - On August 16, 2023, the Shiba Inu meme coin enthusiasts celebrated the unveiling o... - https://news.bitcoin.com/turbulence-in-shibariums-debut-1-7m-eth-stuck-and-a-crypto-whale-shifts-the-tide/ #proof-of-participation #cryptocurrencywhale #blockconfirmations #decentralizedapps #onchainanalysts #tokendelegation #networkhiccups #l2blockchain #bonerewards #liquidation #lookonchain #validators #ethbridge
#ethbridge #validators #lookonchain #liquidation #bonerewards #l2blockchain #networkhiccups #tokendelegation #onchainanalysts #decentralizedapps #blockconfirmations #cryptocurrencywhale #proof
Corrado · @astrocorrus
49 followers · 72 posts · Server astrodon.socialFor a half century, #mathematicians have tried to define the exact circumstances under which a #blackhole is destined to exist. A new #proof shows how a #cube can help answer the question.
#mathematicians #BlackHole #proof #cube
Knowledge Zone · @kzoneind
288 followers · 1710 posts · Server mstdn.social
New #Proof Shows That ‘Expander’ #Graphs Synchronize : Quanta Mag
#Energy #Harvesting Via #Vibrations: Researchers Develop Highly Durable and Efficient Device : Misc
What #ExtremeHeat does to the human body : Wash Post
Check our latest #KnowledgeLinks
#knowledgelinks #extremeheat #vibrations #harvesting #Energy #graphs #proof
Laceys House · @LaceysHouse
59 followers · 921 posts · Server econtwitter.netOne of the best #newspaper in the world 🌎 I believe I’d #ArabNews it’s amazing some of the worst are sadly in #Africa where it appears #journalists follow #News apparently because it shows and of course I’ll write ✍🏽 about and show the receipts 🧾 #proof
#newspaper #arabnews #Africa #journalists #news #proof
Gregory B Sadler · @GregSadler
724 followers · 1360 posts · Server metalhead.clubHere's the second in the new series of core concept videos on Thomas Aquinas' "five ways". Which one is this one? I expect you can easily guess!
https://youtu.be/SYlr3oV7wjo
#Video #Aquinas #God #Argument #Cause #Efficient #Proof #Philosophy #Theology #FiveWays
#fiveways #theology #philosophy #proof #efficient #cause #argument #god #aquinas #video
US Politics Bot (CW) · @uspolitics_CW
1 followers · 70 posts · Server faithcollapsing.com
From 08 Aug: - No, Jack Smith doesn’t have to prove Trump knew he lost https://www.msnbc.com/opinion/msnbc-opinion/trump-jack-smith-2020-election-crimes-proof-rcna98506 #TrumpKnowledge #ElectionCrimes #Proof #JackSmith #2020Election #NoNeedToProve #Politics #News https://mastodon.sdf.org/@uspolitics/110855793744286277 #trumpknowledge #electioncrimes #proof #jacksmith #2020election #noneedtoprove #politics #news
#news #politics #noneedtoprove #2020election #jacksmith #proof #electioncrimes #trumpknowledge
U.S. Politics in Real Time · @uspolitics
4540 followers · 4031 posts · Server mastodon.sdf.org
No, Jack Smith doesn’t have to prove Trump knew he lost
https://www.msnbc.com/opinion/msnbc-opinion/trump-jack-smith-2020-election-crimes-proof-rcna98506
#TrumpKnowledge #ElectionCrimes #Proof #JackSmith #2020Election #NoNeedToProve #Politics #News
#trumpknowledge #electioncrimes #proof #jacksmith #2020election #noneedtoprove #politics #news
Greg Dance · @GregDance
166 followers · 2291 posts · Server mastodon.green
What is imaginable is that a Non Tory government would act to assist the NHS back into the quality of service that it used to be.
What is unimaginable is that any Tory government would do that.
So to me it is about what they are likely to do from past & present deeds, and isn't about what they say they might do.
Tories x13 years have proved what they are, no more proof is needed!
Labour have proved to be better overall (except Bliar).
Greg Dance · @GregDance
166 followers · 2291 posts · Server mastodon.greenWhat is imaginable is that a Non Tory government would act to assist the NHS back into the quality of service that it used to be.
What is unimaginable is that any Tory government would do that.
So to me it is about what they are likely to do from past & present deeds, and isn't about what they say they might do.
Tories x13 years have proved what they are, no more proof is needed!
Labour have proved to be better overall (except Bliar).
U.S. Politics in Real Time · @uspolitics
4420 followers · 3865 posts · Server mastodon.sdf.org
Ingraham: Don’t Get Hung Up on Whether ‘Proof’ of Joe Biden Crime Exists
#LauraIngraham #JoeBiden #Proof #Crime #News #DailyBeast #Politics #News
#lauraingraham #joebiden #proof #crime #news #dailybeast #politics