Still waiting for the call for paper for Tests and Proofs (TAP) conference? Wait no longer: we are thrilled to announce that TAP is now a track at FM 2026: https://conf.researchr.org/track/fm-2026/fm-2026-tap#Call-for-Papers
Bitwise Adds Proof of Reserves for Bitcoin, Ether ETFs - Crypto asset manager Bitwise said it is improving transparency for its spot bitcoin (BTC)... - https://www.coindesk.com/business/2025/07/15/bitwise-adds-proof-of-reserves-for-bitcoin-ether-etfs #proof-of-reserves #bitcoinspotetf #etheretfs #finance #bitwise #news
#ZohranMamdani is #proof that the #GreenParty #USA is not #TooFarLeft to #win #elections. If #Mamdani were a #Green, he'd be #mainstream in the #party. And he crushed the mainstream #Democrat.
If you voted for Mamdani but not #JillStein, you weren't #voting on #policy in 2024. You were just voting for the color #blue.
I'm once again very grateful to a physicist-turned-philosopher friend who told me that she had heard from a colleague that Lakatos Proofs and Refutations is fun reading. Her colleague was right.
Get your copy on JSTOR (or in the links below).
#Lakatos #math #philosphy #proof
https://mas.to/@tg9541/114621114741947728
『ダーリン・イン・ザ・フランキス』 ゼロツーのフィギュアをプレゼント！美しくなびく髪や微笑むキュートな表情を細部まで丁寧に表現!!
https://hobby.dengeki.com/news/2618661/
#WarInUkraine #Ukraine #Russia
Could the #Assasination of #AndriyPortnov, a former top aide to ex-Ukrainian President #ViktorYanukovych be a sign of the #Russian #FSB tying up loose ends?
As the curatorial and investigative journalist Prof. #SethAbramson showed in his national bestseller on the Russia-Ukraine crisis—#Proof of #Corruption (#Macmillan, 2020)—, there were ample connections between the #Kremlin and #Kyiv during that period; to say the least.
https://www.europesays.com/2050428/ Zero-Knowledge Proof technology arrives on Wallet #america #google #Proof #science #technology #UnitedStates #UnitedStatesOfAmerica #US #USA #ZeroKnowledge
inspired by tavis' deep field #nebulabrot #DeepZoom images on #fractal #fractals forums, I did a little shader that for each c in the complement of the #MandelbrotSet M, colours according to how often z <- z^2 + c hits a given small target disc , weighted by derivative (as a proxy for point density).
it looks as though the hit sources are distributed everywhere near the boundary of M, which i think i can prove for target discs outside a sufficiently large esape circle, but i'm not sure how for discs nearer M. intuitively, by the time any cell pair in binary decomposition of exterior escapes, it covers an annulus with radii R, R^2, so any disc outside R will be hit by some region in every cell pair.
#Proof of #Perfection : Medium
#Scientists figured out the #Optimal cup of #Coffee : Pop Sci
#Physicists describe #Exotic ‘#Paraparticles’ that defy #Categorization : Nature
Check our latest #KnowledgeLinks
#LGBTQ groups #voice ‘grave #concerns’ over #policy #prohibiting #ID updates without #proof of #GenderAffirmingSurgery in #letter to #Missouri #DepartmentofRevenue.
“Not all #trans #people choose to undergo #surgery as part of their #genderaffirmingcare”
#Women #Transgender #LGBTQ #LGBTQIA #Missouri #Conservatives #Extremism #Fascism #Religion #Hategroups #RepublicanParty #Hate #Bigotry #Violence #Genocide #Discrimination #Transphobia #ThePartyOfHate #EmptyThePews
Pierre Cartier on how the great Alexander Grothendieck solves impenetrable problems.
[1/2]
"Grothendieck's method of proof is not unlike Joshua’s method for conquering Jericho. The thing was to patiently encircle the solid walls without actually doing anything: at a certain point, the walls fall flat without a fight."
\cont'd
#arMay day seven
Favourite magazine shoot?
I've not been a fan long enough to have extensive knowledge of this. And I was going to "pass" when this image #Jimin #Weverse #Proof 2022 GOT STUCK IN MY HEAD so I'm sharing, going off to work, and might reread these interviews if it's quiet this morning
https://magazine.weverse.io/article/view/437?lang=en&artist=BTS
Xaymaca / #Jamaica is a fascinating place. Following on from yesterday's #AtoZChallenge tally, here is a #bonus #AtoZChallenge2024 piece for X from post-independence, and a #Proof #coin at that, featuring a plant which can kill you: https://coinofnote.com/1974-jamaica-proof-cent/
5-year investigation into "Havana Syndrome" mystery confirms what we already suspected:
#Russia n intelligence using a new weapon to cause permanent neurological damage to high-ranking #US #intelligence /law enforcement officials ...*AND CLOSE FAMILY MEMBERS.* IN USA.
Not a conspiracy theory. Hard reporting from #60Minutes, #DerSpiegel, #Inside magazine.
We ARE at war. And losing.
https://youtu.be/JdPSD1SUYCY?si=aUthhqJOGn-ATJdU
#Putin #HavanaSyndrome #UKRAINE #proof @uspolitics @geopolitics @ukraineinvasion
Dangerous #bothsidesism of #TheHill
(2/n)
...behalf of the probable #GOP candidate and soon-to-be autocratic ruler of the party and had prevented the bill from being put to the vote.
As, for instance, #SethAbramson in his #PROOF series* has demonstrated, #Trump has been corrupted and has been receiving aid from #Russia for a lot of years.
NOT giving #Ukraine the #MilitaryAid that...
Cambarus tartarus, the Oklahoma cave crayfish. This was a great find last week. Someone had just asked Danté if they were ever found out of water like some other species (it's common to move between pools and such), and the answer was 'nope, not that is known of'. About an hour later, and ta-da! This one was like, "I exist to prove we can!"
A review of V1 of the paper "On the Infinitude of Twin Primes" by Dr. Ryan Matthew Thurman ( @rythur ).
Shared in one of his posts under the url https://ef.msp.org/articles/uploads/ant/submitted/230524-Thurman/230524-Thurman-v1.pdf
#TwinPrimes #Primes #NumberTheory
#TwinPrimeConjecture #UnsolvedProblem #Proof #SolvedProblem
#Simple #Insightful #PrimeClockMethod #Modulo
#Puzzle #GameLike #Thrilled #Captivating #Excitement #Reading #ReadingRecommendation
My background for this review: a layman person without any #degree, with very weak #Math interest (I knew what were prime numbers but never heard of the twin prime conjecture) and lack of math background except for what is taught in high school and the occasional math that pop here and there from my adjacent interests in the process of thinking of process both formal and informally (mainly from #lisp lore for the #ComputerScience side and #Hegel lore for the #Philosophy side of the story)
And now, only after almost 1 month since I have read it, will I review this paper (flushed face 
).
A paper of 10 pages of content.
The paper is very pleasant and simple to read. Managing to catch our attention and make us read it in one sitting with a child-like excitement and joy. So if you have tendencies to leave things half-done, do not fear, you will get drawn into finishing it without having to fight a moment of boringness.
1/3
Implementation of the Bellman's rule "What I tell you three times is true" (from Lewis Carroll's "The Hunting of the Snark", 1876). The #Haskell code is here: https://snrk.de/truth-isnt-truth/
This is a great tool for fact checking.
This is a great tool for fact checking.
This is a great tool for fact checking.
#TheHuntingOfTheSnark, #LewisCarroll, #WhatITellYouThreeTimesIsTrue, #BellmansRule, #thrice, #threeTimes, #truth, #facts, #assertion, #assertiveness, #proof, #FactChecking
電撃ホビーウェブ 
