Bharat Rakshak

Vayutuvan

I came across this lovely 30 min video on YT explaining Combintory Logic. It has to be seen at 0.5 speed or even 0.25 speed to work out everything he says in the video. It is quite fascinating that he could get across the basics of combinatory logic, going from S, K, I to Y Combinator and then iota ...

Vayutuvan

On another note have you or AmberG noticed a diminishing of your maths prowess with age? I am never good at mental arithmetic calculations. But I do seem to be forgetting stuff like trigonometric identities, integration tricks, Fourier transforms for some commonly used generalized functions and suc...

Vayutuvan

Thank you Vayutuvanji it does clarify the role of ATPs a lot. To be honest while I could read the notation, I could only understand about 50% of the proof… abstract maths is not my cup of tea :oops: I think it’s only a matter of time before NNs come into this field - as you said it’s ripe for that ...

Vayutuvan

10 year US treasuries are at 4.92% and 20 years at 5%. NRI deposits in India - FDs - are at 6.5% last I looked. Falling INR and India country rating are they worh that extra 1.5% extra interest? You still have to pay US taxes on the interest you earn in India, even on zero-coupon bonds.

Vayutuvan

Six Indian Equations That Saved Every Bank in 2008 Brahmagupta's rules for negative numbers (628 CE). Bhaskara's compound-interest formulas (1150 CE). Mahavira's infinite-series pricing math (850 CE). Kautilya's three-office audit framework (300 BCE). The hawala-hundi double-entry settlement networ...

Vayutuvan

... In exchange for meeting its conditions, Beijing will leverage Tehran's dependency on Chinese arms imports and financial support to convince Iran to come to the table and give Trump a face-saving "victory". I am not sure China is in a position to drive such a hard bargain. They have to...

Vayutuvan

I like the first two. That is the limit. That is where the liberals should have stayed.

Vayutuvan

Fox News is throwing around numbers like China is going to order 500 Boeing 737 Max planes and GE engines. They will be buying lots of soy as well. What would the US have to give? Probably stop the Iran conflict. All indications are that Trump is going to comply. 500 planes will be worth 67 Billion ...

Vayutuvan

One can clearly see the steep decline at the start of the Iran war.

Vayutuvan

Trump says loss of Hormuz is "genius" because countries are now looking for other regions for energy, including Texas. The US is not producing more oil. They are simply depleting their strategic reserve faster. @Dean ji, Here is a graph https://media.ycharts.com/quote_page_images/e776925e...

Vayutuvan

I hope the fence and electrify the whole border, snakes and crocodiles for non fenced areas and deploy a AI sensor shooter grid for the whole beedi border, if that's not enough throttle trade transit across the border and curtail tourist and medical visas , they can go to Paki land for treatment So...

Vayutuvan

From happily fantasizing about Midwest's martial "TFTA" dudes :wink: to despairing over trans issues in one swift keyboard stroke. That’s one hell of a rabbit trail. Jay gaaru: Californians can do no wrong. I ask: What say you about KD Harris? Jay gaaru: KD Harris is, after all, a Midwest...

Vayutuvan

@Jay gaaru, defend this. Los Angeles-area mayor to plead guilty to acting as Chinese propaganda agent By Steve Gorman Mon, May 11, 2026 at 10:57 PM CDT 3 min read https://www.yahoo.com/news/articles/los-angeles-area-mayor-plead-022556512.html LOS ANGELES, May 11 (Reuters) - The mayor of Arcadia, Cal...

Vayutuvan

Jay wrote: ↑12 May 2026 20:34 From happily fantasizing about Midwest's martial "TFTA" dudes to despairing over trans issues in one swift keyboard stroke. That’s one hell of a rabbit trail.

Oh, where art thou, Lake Wobegon?

In midwest ofc. You followed the yellow brick road out of Kansas.

Vayutuvan

uddu wrote: ↑12 May 2026 05:58 ... and above all Annamalai will be a good opposition. It's good to accept that a mistake is made by Central leadership and correct it rather than stay silent.

Why is he not given a berth in the Legislative Council?

Vayutuvan

From the above, Tennis icon Martina Navratilova backed Olympic gold medalists Nancy Hogshead and Kaillie Humphries after they criticized California’s handling of the issue. “Right on Nancy!!! We are just built different!!!” Navratilova wrote on X. She later added: “Newsom could overturn this in a se...

Vayutuvan

Midwest has a lot of Mohammadan population (MI), Germanic and Finnish (WI), Polish (Chicago), Scandinavian (MN), and ofc French (IN, IL) descendants. They are not all that different from Southern US population. Anglo-Saxon and Gallic. What fighting nerdy gender fluid of CA/OR/WA can do? The only fig...

Vayutuvan

In Midwest, I include Tx, southern VA, FL ofc. As for the hypocrisy, the point stands. Elite do not want their kids dragged to a distant war. Hence they talk peace. OTOH, they are heavily invested in companies that enable wars.

Vayutuvan

How does one solve that Lagrangian? Hope this helps. Yes, in a very high-level 30K feet view. But that is not enough. It is a lot more complicated than that, isn't it? (I am just curious to know whether this was an AI-generated answer. If so, would you please provide the series of prompts you gave ...

Vayutuvan

How does one solve that Lagrangian?

Vayutuvan

^ Americanism goes like this: Too many chiefs no Indians (obviously racist but …)

Vayutuvan

chetak wrote: ↑10 May 2026 16:14
Explosives scare near PM Modi event venue on Bengaluru outskirts, suspect in custody
...

Suspect's name not released, it seems. So we can be sure the suspect was trying to protest "peace"fully.

Vayutuvan

Most of these soldiers are from the Midwest US. Nobody in DC/Coastals (Wall Street/Ivy Leaguers/Elite Academia/Sirricon Varrey Vurtule Capitarists/CXO class) gives a damn about them. They talk of peace in the hope that their own kids are not dragged away to fight foreign wars. As long as Pukrainians...

Vayutuvan

At this point in the game, I have unlocked only a few tactics and functions. If I were allowed to use Set operations, this would be a much simpler proof. But I have to do this by way of the unlocked (to me) part of the mathlib built into Lean. Where do ATPs come in, one might ask. ATPs do a lot of w...

Vayutuvan

(Continuing) ¬ ∃ (n : ℕ), ∀ (k : ℕ) , Odd (n + k) The above should be read as follows: ¬ : "It is not the case that". The scope of this operator is till the end of the clause. ∃ (n : ℕ), : "there exists a natural number n such that" ∀ (k : ℕ), : "for all natural numbers k&qu...

Vayutuvan

∀ (n : ℕ), ∃ (k : ℕ), ¬Odd (n + k)

This is to be read as follows

For all n (natural number), there exists a k (natural number) such that n+k is not odd (i.e., even)

Vayutuvan

The above proof is in the Lean interactive proof assistant. I had to go step by step in transforming the goal(s) and changing assumptions to use the tactic called "ring". But automatic theorem provers (ATPs) would be able to pattern-match and perform the rewrites themselves. AI can suggest...

Vayutuvan

Thank you AmberG and Vayutuvan ji . I learnt something new, this forum never fails to educate … @Tanaji ji, as I said before, I was playing the Scribble game at the Lean Game Server. Here is one formal proof I got. I am sure there is a shorter proof but I couldn't get it after spending a couple hou...

Vayutuvan

^Crickets.

Small fry, but that is the sad reality of a war. Canon fodder go unmourned.

Vayutuvan

Chinese grey market sells Claude API access at 90% off by using stolen credentials, model substitution, and harvesting users' prompts and outputs for resale as AI training data — 'transfer stations' operate through proxy networks that harvest user data May 9, 2026 https://www.tomshardware.com/tech-...

Vayutuvan

such as Pingala (binary notation), ... @sudarshan ji, Pingala's contributions to combinatorics are well known. Knuth has an extended discussion in AoCP Vol 4 (IIRC). He used to publish fascicles while the book was in preparation. But now that the book has been printed, he has to remove all the free...

Vayutuvan

... In any case, what is needed is a sense of importance and urgency in making these changes, so whatever the climate future, the people and economy, and the flora and the fauna of India are resilient and can adapt to the change. A_Gupta ji, what an excellent post. Pranam. I disagree with only one ...

Vayutuvan

^ Remedy: Impeach Trump

Vayutuvan

In the video I received on WA, this scum was trying to move his face towards her bosom. He was "standing tall" shamelessly after such a heinous deed. Congress Leader Cherian Philip Tries To Hug MLA Bindhu Krishna In Public; She Pushes Him Away, Faces Backlash -VIDEO Free Press Journal 14 h...

Vayutuvan

IOW, 1. China will continue to build coal-fired power plants 2. Germany will restart their nuclear power program (if it is possible at all). There were solid scientific studies on the effects of windmills in Germany. The empirical evidence points to parts of Germany (NE, IIRC) turning semi-arid. So ...

Vayutuvan

bala wrote: ↑05 May 2026 23:53 BJP does not want to touch this subject, when buddhist don't believe in Brahman or God, then how can Buddha be an avatar of Vishnu.

Most importantly, Buddhists do not believe in the Vedas.

Vayutuvan

I love my Aristo.

Vayutuvan

That account is @Devin Nunes' Cattle Dog. DP has Pukraine, EU, US, and Canadian flags. This one wants American tax payers to pay for Pukraine's defense against ex-commie orthodox xtist Russia.

Not that I like this war either. The US should have no case to meddle in other countries' affairs.

Vayutuvan

chetak wrote: ↑02 May 2026 12:20 pakis are beginning to be removed from the UAE

They are getting 48 hrs notice to leave

Did they not get 72?!!!

Vayutuvan

Other than that one particular accusation which I took back, please do provide other examples of my “track record” of lying. If I have such a track record, you should be able to produce many more examples. Please do strive to keep your credibility (or the lack of it) intact. Where I made a mistake, ...

Search found 9724 matches