#ProofPositive
LightNews LightNews
tomrocksmaths.bsky.social
NEW VIDEO: youtube.com/shorts/060Ep...

Can you solve this circle geometry puzzle? Solution courtesy of 'Proof Positive' from @sciam.bsky.social - sign-up for the FREE maths newsletter here: sciam.com/proofpositive
June 7, 2026 at 2:11 PM
tomrocksmaths.bsky.social
NEW VIDEO: www.youtube.com/shorts/TTuSg...

Improve your maths skills with the FREE weekly maths newsletter 'Proof Positive' from @sciam.bsky.social.

Sign-up here: sciam.com/proofpositive
June 4, 2026 at 5:53 PM
foundonvhs.com
Intermission Promo Wednesday Ghost Hunters
Recorded September 23, 2004 on SciFi Channel in Minneapolis, MN
# #SyFy #Wednesday #October #2004 #GhostHunters #ProofPositive #ScareTactics #Interstitialpromo #TVpromotion #FallTV #Paranormal #RealityTV #SciFi #Promo
September 24, 2026 at 3:26 AM
scottietakeson.bsky.social
#ProofPositive the ECONOMY is TANKING. FEWER DELIVERIES = FEWER ORDERS. HELLO? All INTENTIONAL, causing us to be afraid, worried. www.msn.com/en-us/money/... @gmf1369.bsky.social @judithbolyard.bsky.social @carolineheldman.bsky.social @rbreich.bsky.social @strandjunker.com @misslizzy.bsky.social O_O
MSN
www.msn.com
January 9, 2026 at 1:12 PM
stargazer262.bsky.social
#ProofPositive
July 13, 2026 at 1:43 AM
midazo.bsky.social
#J.J.Johnson #ProofPositive (1965 #Impulse). nicely timed trombone engine. enduring parts.
February 18, 2026 at 3:38 PM
ainedonnghaile.bsky.social
#Genealogy #FamilyHistory
Family archivist disagreed but I proved my 2nd GGM 15 years ago.
Today #ProofPositive
Augusta E Fambrough m Edward Alexander Burgess 11 Jan 1859. Transfer from Thomas M Fambrough, 17 Jan 1859, "for the natural love I bear to my daughter Augusta Burgess"
So THERE, Dave! 💃💃💃
January 5, 2025 at 1:10 AM
elfprince13.mumak.app
Here's some of the basic machinery + the log2 example:
constexpr auto v32 = FreshType(32); if constexpr (constexpr auto proofPositive = algebra::less_than<Zero,TYPEOF(v32)>::apply(Zero{}, v32, Context{}); std::nullopt == proofPositive) { std::cerr << "Can't take log of negative number" << std::endl; } else { constexpr algebra::less_than<Zero,TYPEOF(v32)> t_ev{*proofPositive}; constexpr auto logOf32 = log2<Context>(MakeReturn(int), v32, lt_ev); std::cout << "log_2(" << v32 << ") = " << logOf32 << std::endl; [thomas@Mithlond] buildm $ ./test-depend log_2(Fresh{Context<Unique<1011,16,>, Unique<1025,17,>>, 32}) = Fresh{Context<Unique<1011,16,>, Unique<1031,18,>, Unique<219,0,>>, 5} [thomas@Mithlond] buildm $ template<class ParentContext, class ReturnContext, class VarContext> constexpr Fresh<ReturnContext, int> log2(Return<ReturnContext, int> rGen, Fresh<VarContext, int> var, algebra::less_than<Zero, TYPEOF(var)> gt0) { using namespace algebra; FreshFrame(); return std::visit([rGen=std::move(rGen),var=var,gt0=gt0](auto compareEv) mutable constexpr -> Fresh<ReturnContext, int> { if constexpr(std::is_same_v<TYPEOF(compareEv), less_than<TYPEOF(var),Two>>) { // 0 < var < 2 -> var == 1 return std::move(rGen)(0); } else { using TwoIsPositive = less_than<Zero,Two>; constexpr TwoIsPositive twP(Zero{}, Two{}); using Divide = PositiveDivision<FreshTag(), TYPEOF(var), Two>; /**************************************** * Given: 0 < var; 0 < 2; 1 < var * r = var / 2; (2 <= var) -> (r > 0) ****************************************/ const Nonnegative<TYPEOF(var)> numerator{var, gt0(Context{})}; constexpr Positive<Two> denominator{ Two{}, twP }; using strong_gte2 = typename less_than_or_equal_to<Two, TYPEOF(var)>::strong; constexpr strong_gte2 gte2{compareEv}; Divide nextArg(numerator.second, denominator.second); const auto newVar = nextArg(numerator, denominator); constexpr auto newGT0 = nextArg(gt0(Context{}), twP, gte2, Context{}); using OldContext = Context; { RootFrame(); const auto freshVar = RefreshType(newVar); constexpr inductive_shift<TYPEOF(newVar), TYPEOF(freshVar)> shift_ev{TYPEOF(newVar){}, TYPEOF(freshVar){}}; auto nextReturn = log2<Context>(MakeReturn(int), freshVar, newGT0.replace(shift_ev, OldContext{}, Context{})); return std::move(rGen)(1 + nextReturn.v); } } }, less_than<Two,TYPEOF(var)>::full_compare(Two{}, var, Context{})); } #define DEPEND_EQUIV(Left, Right) (detail::dependEquiv<Context>(Left, Right)) #define UNIQUE detail::Unique<__LINE__, __COUNTER__> #define FreshType(X) Fresh{pushContext(Context{},UNIQUE{}), X} #define RootFrame() using Context = ContextTag<UNIQUE> #define FreshTag() typename detail::PushContext<Context, UNIQUE>::type #define FreshFrame() using Context = typename detail::PushContext<ParentContext, UNIQUE>::type #define RefreshType(X) Fresh{pushContext(Context{},UNIQUE{}), X.v} template<typename UniqueContext, typename V> class Return { template<typename V_, typename ParentContext> friend constexpr auto makeReturn(ParentContext); Return() = default; public: constexpr Fresh<UniqueContext, V> operator()(V v) && { return Fresh{UniqueContext{}, v}; } }; template<typename V_, typename ParentContext> constexpr auto makeReturn(ParentContext) { FreshFrame(); return Return<Context, V_>{}; } #define MakeReturn(V) makeReturn<V>(pushContext(Context{},UNIQUE{}))
November 26, 2024 at 4:26 PM
winnegansfake.bsky.social
some lotion or fomentation of poppyheads would be jennerously exhibited to the parts, at the nearest watchhouse in Vicar Lane, the white ground of his face all covered with digonally redcrossed nonfatal mammalian blood as proofpositive of the seriousness of his character and that he was bleeding in
September 24, 2026 at 5:34 AM
mario.neko.cat
Beautiful Proof Positive evening at Servant Jazz Quarters in Dalston with @tomrogersonmusic.bsky.social, Liam Byrne and Clare O'Connell.

"ambient-drone-ish loosely inspired by early music"

#ProofPositive #TomRogerson #ClareO'Connell #LiamByrne
Tom Rogerson, Liam Byrne and Clare O'Connell on stage
March 17, 2025 at 10:51 PM
margaretpinard.bsky.social
Confused about #CompTitles? Here's a helpful frame for how to mix & match them, on editor @christiestratos.bsky.social's blog today: bit.ly/4iqVR4u #proofpositive
How to Choose Comp Titles: Mix & Match Multiple Aspects of Your Novel - Proof Positive
Your ultimate guide to how to choose comp titles and comp title ideas, by historical fiction and fantasy author Margaret Pinard
bit.ly
December 9, 2024 at 4:30 PM
sydalexmom.bsky.social
#JimmyCarter39's CHRISTianity ... is #ProofPositive ... that the #OriginalJC ... aka #JesusChrist ... was a REBEL ... a RENEGADE ... a #ChangeFocusedPROGRESSIVE ... which is why JESUS was rejected+crucified ... + JIMMY was rejected+NOT-REelected.
December 30, 2024 at 5:11 AM
newbreen.bsky.social
#PROOFPOSITIVE ! #SAUDI #PASSPORT FOUND AT #GROUNDZERO ! #SAUDIARABIA ATTACKED US ON #SEPTEMBER11 ! #CASECLOSED !
September 14, 2026 at 5:24 PM
islandgirl808.bsky.social
This is some backwards ass shit right here
Harry "humiliated"?I think not,it is Chuck that looks like a petty POS who can't fix 1 fqn problem in his family or country
It is 100%Not a Setback for the Sussexes. It is proofpositive Harry protects his family, &doesn't give 1 shit about that toxic family
July 5, 2026 at 6:30 PM
kelly-wyre.bsky.social
#Follow @AyresLeahyjiy @vuwuworudyb @Proofpositive via

uapp.ly
November 29, 2024 at 5:10 PM
dadspaidads.bsky.social
Join hundreds of happy business owners who’ve transformed their ads with the 52-Card System. Don’t miss out on this proven approach!

Call to Action: Get your winning formula:
bit.ly/DadsPaidAdsViralVideoAdSystem

#ProofPositive #SuccessJourney #AdResults
February 6, 2025 at 9:30 PM
sarajl22.bsky.social
An in your face example of the realness of climate change. It's Feb 3rd and these trees are in full bloom. When I moved to Sacramento 30 years ago these terrible smelling trees did not bloom until mid-late March
#climatechange
#proofpositive
February 3, 2025 at 9:30 PM
ekogaia.bsky.social
So do you ever wonder whether fascists are racist and misogynistic?
#ProofPositive
maddow.bsky.social Rachel Maddow @maddow.bsky.social · Apr 17
38 of the 43.

"38 of 43 experts cut last month from boards that review science and research in NIH laboratories are female, Black or Hispanic.

"The scientists typically serve five-year terms and were not given a reason for their dismissal..."

www.washingtonpost.com/science/2025...
Women, minorities fired in purge of NIH science review boards
Scientists, with expertise in fields that include mental health, cancer and infectious disease, typically serve five-year terms and were not given a reason for their dismissal.
www.washingtonpost.com
April 17, 2025 at 8:36 PM
1234mimijones.bsky.social
👁️👁️ Imagine aWeekendWarrior, Throwin’is PowersOf’is Position around, Admonishing DressingDown Threatening aSuperiorOfficer…
🤔hhmm Don’t THEYCallThat ‘Abuse’? 🫤 That’s like… Impeachable, right?
NoDoubt there’s ProofPositive!
OldPete’s LeftPaperTrails! EvenUsed’is Connections w📺MSM!
👁️👁️Jus’sayin #DV1
February 12, 2026 at 6:13 PM
1234mimijones.bsky.social
Equating Food&Resources to UsingTax$$ to fund MIC/ICE DetentionCntrs/$$For Israeli FreeCollege/Healthcare/WarmongeringEfforts in MidEasternDomination/etc Jus’Doesn’t Add Up!
ProofPositive R’s Value Profits&$$ Above Human Lives! 😳 & TheyClaimThey’reProLife? IDFTS! 😤
a close up of a gauge that says hypocrisy on it .
ALT: a close up of a gauge that says hypocrisy on it .
media.tenor.com
July 1, 2025 at 1:26 PM
schiecklivitcus.bsky.social
#ProofPositive kankles has a voice that tells you that this spokesperson is the hitler #MAGA WISHED FOR but he is just #DODDERINGdonny lost inside an empty mind repeating “low iq” and accusing other people of his own crimes
#MAGA WHERE WINNING MEANS USA LOSING?
donadickinson.bsky.social Dona Dickinson @donadickinson.bsky.social · Apr 2
We heard the meaningless rambling of a confused, dementia ridden old man last night.
He is unfit to lead this country.
He must resign or be removed.
He’s destroying US society & economy and our allies’.
He *must* resign or be removed.
Activists hold sign UNFIT
April 2, 2026 at 5:09 PM