Bharat Rakshak

Vayutuvan

rajkumar wrote: ↑15 May 2026 20:48 I thought Sanjeev Sanyal held a Singapore citizenship?

Sam Putrida was a US citizen before his appointment. He gave up US citizenship, stayed put in India for one year, and got his Indian citizenship back. Those were the rules then. I am sure they haven't changed.

Vayutuvan

Sharing: (A current article - what I have talked about here) ' Without firing a missile': Barack Obama defends 2015 Iran deal, says 'We got 97% of their enriched uranium out' President Barack Obama's recent remarks regarding the 2015 Iran nuclear deal (officially known as the Joint Comprehensive Pl...

Vayutuvan

Who doesn't pay taxes? The following are exempt from taxes: Vedic scholars, women of all classes, pre-pubescent boys, all students studying with a guru, ascetics, sudras who work as personal servants, people who are blind, dumb, deaf, and sick, Anyone excluded from acquiring property. — Apastamba D...

Vayutuvan

Kudos to Vivek Ramaswami for standing up to this; but a pity he joined the Party of Trump . [YouTube...]nb9vM2TEv50[/YouTube] Sigh. When did the GOP become "the Party of Trump"? Does this mean that all registered Republicans, those independents who voted for Republican party candidates ev...

Vayutuvan

Cyrano wrote: ↑15 May 2026 13:11 Pity the audience did not walk out after hearing Landau's bigoted statement.

Bolne de takleef hua hai bechare ko

Vayutuvan

^^^ FWIW: The 30k-foot view is just the map - the actual terrain is a swamp of non-linearity. To get into the weeds, solving a Lagrangian for a system as chaotic as the AMOC, obviously involves more than just writing down $\delta S = 0$. (In practice, You have to parameterize sub-grid scale process...

Vayutuvan

Gobar gas is a dead-end. It also doesn't scale. Vayu saar, found this at scale plant supported by Suzuki R&D in Gujarat. What do you think about this industrial scale production facility. [youtube...]yzdcXnOfHfI[/youtube] Bala ji, what I gathered from that video is that their primary output is ...

Vayutuvan

@Amber_G ji,
You are right.

That said, my point is different. I will write a lengthier reply later or never.

Vayutuvan

@Tanaji ji, I included that small tutorial on "how to read the notation" for those who are not introduced to First-order logic. Please do tell your background so that I would skip the basics (unless others who are silently following and need those small 1 minute tutorials). I usually don't...

Vayutuvan

It is tough. They shoudn't have majored in Leisure and Entertainment Studies with a major/minor in Theatre/Music/Tap Dancing or whatever.

Vayutuvan

LMGTFY (Let Me Gemini that for you): ------------------------------------------ As of the 2024–2025 season, the average Broadway ticket price is approximately $129.12. While top-tier, star-driven shows can exceed $300–$900 per seat, many options, including hit musicals, are available for under $100,...

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.

Search found 9735 matches