#proofpositive
LightNews LightNews
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
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
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
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
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
kelly-wyre.bsky.social
#Follow @AyresLeahyjiy @vuwuworudyb @Proofpositive via

uapp.ly
November 29, 2024 at 5:10 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
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
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
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