Chaitanya Agarwal

PhD@NYU in Programming Languages and Verification I Cricket | Cule

[Chaitanya Agarwal @culechetoo]

@kc_srk Congratulations!

[Chaitanya Agarwal @culechetoo]

@JonesOnTheNBA Quite poetically, the show also gets swallowed up in its final season with fan service!

[Chaitanya Agarwal @culechetoo]

@svembu Hello Mr. Vembu
I an a PhD student working in programming language/formal methods. I would love to know more about your research interest and your work. Do you mind discussing more over DMs?

[Nethrapal @nethrapal]

I heard the entire 5 point agenda to reform Reservation

(1) Firstly, he argues that the Merit seats should be fixed and reserved seats should be only through capacity addition. For example, if there was 100 seats, than if 50% reserved seats needs to be introduced, than 50 would be through additional seats. That is 150 seats.

I think Anandji should read how OBC reservation was implemented in India.

There was a period given for educational institutions to expand the OBC seats and there was no reduction in General category seats.

General category seats remained constant and actually increased.

(2) Secondly, Creamy layer targetting SC-ST IAS IPS officers has already been dealt in Indra Sawney cases. This finds further mention in the recent Rohit Nathan Judgement.
Both mention that OBC creamy layer is a measure of social status and not economic status.
The courts have held that even with a position of IAS/IPS, the social status of SC/ST officers does not increase.
When the courts are already in favor and the cabinet has already given an opinion on this.
Creamy layer among SC/ST is an absolute impossibility.
The stats from Bihar caste census shows that creamy layer itself is a myth among SC/ST. Just 0.5% of the population of SC/ST earn more than Rs 66000/- per month.
Creamy layer is not an economic criteria. It is status based criteria.

(3) Thirdly, Removing creamy layer or not, the reservation will remain 50-50%. There is no benefit for General Merit. Incidentally if we deep dive into EWS also we can see only one caste capturing all the seats. Should not be there subcategorisation in EWS.

Let us also take General Category. If we take Brahmins, Kayasthas, Rajputs, Muslims. Do you think all capture fairly. Not at all, elite capture is seen everywhere, it is not just restricted to reserved category.

Where is the data to show that only IAS/IPS officers kids are capturing reservations?
Incidentally most of the civil servants kids are studying abroad without even aspiring for government jobs. Please conduct an internal survey within the government and find out.
The elite among the SC/ST again study in Harvard and Stanford.
Creating a narrative is easy, proving something is far more difficult.

(4) Fourthly, he mentions that only a certain section of SC,ST,OBCs are taking all the benefits.
Now again we looked at the representation of Yadavs in Bihar. Now when we see the total employment, they may appear to be adequately represented.
But recent judgement by CJI Chandrachud asks governments to measure real effective representation. That is whether they have effective voice in administration.
Representation of Yadavs in Group A, IAS,IPS is very dismal and when compared to population it is very less.
Both Chamars and Yadavs have good representation in Group C and D, but not Group A and B.
So, publish real effective representation of all the OBCs and then conduct Rohini commission.
Publish how many Yadavs are in Group A,IAS,IPS etc. You will realize the reality is harsh. They are as backward as the rest.
Now Parliament under Article 341/342 can not only add SC/ST, but can also delete SC/ST. That can be done only with the approval of National Commissions. Now when no community is proposed for deletions, it is not political, but rather all statistics shows that there representation in decision making jobs is miserable even today.

(5) Fifthly, Dr Ambedkar inserted the 10 year clause only for political reservations. While Education and Public jobs operate under different sections and they are permanent feature in the constitution. So to mix all the three is completely wrong. Now again the OBCs are not given reservations in parliament. This is because in case that happens than SC+ST+OBCs will get 50% majority and no bill will be passed which can win 2/3rd majority votes in parliament.

Now even if you consider SC+ST+OBC+Minorities MPs across party lines, you will realize that removing reservation by getting 2/3rd majority is an absolute impossibility. General category/Upper caste does not have the numbers to remove reservations.

Why attempt an impossibility when nothing will come out?

(6) Sixthly, Attacking OBC, SC, ST reservations that privileged are occupying may appear fancy. But what about EWS reservation and PWD reservation. The maximum fraud reports are in these type of reservations. In Medical today, so many EWS candidates are paying crores and still report themselves as EWS. Again if we go deeper, many upper castes have started taking fake OBC,SC,ST certificates and taking away the pie of the OBC,SC,ST.

(7) Seventhly, what is this one time reservation, one family reservation, one generation reservation. This thinking is coming from the US universities. In the US univerisities there is a boost given if the parents first generation do not have a degree. But this is done uniformly for all, whether blacks or whites. It is not only for SC,ST,OBCs, but also for upper castes. Now if one judge has occupied High court position, then his son or daughter should not occupy. If one becomes MLA, his son or daughter should not become. This generation test is a equality test and is not applicable for reservation or affirmative condition. It should be applied across all castes. I seriously feel especially in Judiciary and Politics, the limitation of one generation should be strictly implemented across all castes. Why only target poor SC,ST,OBCs. There is much higher generational inequality among Upper castes. For example compare North Indian Brahmins with Tamil Brahmins. North Indian Brahmins are way poorer than Tamil Brahmins. So generational inequality is something that needs to be addressed across all levels.

(8)Eighthly, It is very fancy for many to talk about one time reservation. Now many even talk about one time inherited wealth. Now if your father earns money, should you enjoy it. Dont you think it is right that the a portion of this inherited wealth should go to charity and then work hard earn back. Dont you think there should be one time inherited wealth.
Now the entire objective of providing reservations is to make them occupy decision making positions. Now the graduate pool is created by reservations for SC,ST,OBCs. Now it is this graduate pool who compete. Today in many exams, EWS cutoff is way lesser than OBC cutoff. It is because there is absolute no one in EWS to claim the reservation and the cutoff is extended to fill the last seat in EWS. So, reservations are not only necessary in Higher Education, it should be surely be given to SC,ST,OBCs in all top private elite schools. Look at the number of SC,ST,OBCs in top elites schools like Sanskriti, DPS...It is in single digit.

The ultimate aim of all the intermediary steps is to occupy key strategic positions by SC,ST,OBCs.

Now this has still not happened. Most of them have reached the position of cracking IAS,IPS and again if we see the JS, Additional secretary, secretary representation for SC,ST,OBCs it is dismal.

One time reservation can be implemented when 50% reservation for SC,ST,OBCs is acheived at each level within the government from secretary to Group D. When the representation suffers, one time reservation only reduces the pool and hence makes the reservation seats not being filled.

(9) Ninthly, It is very easy to state that Merit should be implemented. But is not there no Merit among SC,ST,OBCs. Absolutely now invariably various works shows that there is just a few marks difference in their scores. If you compare the MD marks of Orthopadeics, the marks of SC,ST,OBCs would be the marginally lesser than the General category. The negative marks was for non clinical courses where there were no takers. So whoever came was given the seat.
Now if we take top 100 medical marks, there are so many toppers from SC,ST,OBCs. If we take the written marks in UPSC,there are so many toppers from SC,ST,OBCs.

Merit exists even among SC,ST,OBCs.

(10) Tenthly, about OBCs, creamy layer has reduced the representation of OBCs in Group A as per a 2015 report of NCBC. There representation is just 12% against 27%. Now in most of the government jobs, the full percentage itself is not filled. Then how can we say that the privileged is eating up the seats of the poor. Give the unfiled seats to the poor among SC,ST,OBCs. Why was this not implemented?

(11) Lastly, on private sector, we need to look at parliamentary committee report on SC,ST,OBC representation in private universities. It is dismal at single digit, not even double digit. Now when RTE also gave 25% reservation in all private schools, is it being implemented.
Private univerisites make sure that SC,ST,OBCs are not recruited. When it comes to jobs, the US model of Diversity, Equity, Inclusion should be adapted. Now let us Indian corporates, just to maintain diversity, they recruit women. Is there efficiency affected. Not at all...Many cater to different social groups. So by diversifying their intake they are also increasing their business opportunities.
@The_Mooknayak

[Chaitanya Agarwal @culechetoo]

@rishabhm Social networks keep them in their echo chambers and they have no idea what the government is actually doing.

This is probably why we saw the cabinet asking ministers to start making reels about policies. They also probably realize this.

[Chaitanya Agarwal @culechetoo]

@rishabhm We need to start thinking about how people consume the news in this generation despite coming from well-educated backgrounds. The BJP has totally dismantled TV media, and most of these people get their “news” from social networks.

[Chaitanya Agarwal @culechetoo]

@svembu @skelegrow I’d argue that verification is currently the cheapest it has ever been, and perhaps not “extremely expensive” anymore. AI has reduced the cost of formal verification dramatically over the past 7-8 months.

[Chaitanya Agarwal @culechetoo]

@fsttcs Is this the Delhi campus or the Abu Dhabi campus? Abu Dhabi was announced as the venue for FSTTCS 2026 at the end of FSTTCS 2025.

[Chaitanya Agarwal @culechetoo]

@prfsanjeevarora I think we force ourselves to do more now that we can do stuff faster.
Also relatedly, in my workflow I find that I am delegating easier tasks to Claude and I am thinking about the harder sub-problems more frequently than before. My Spotify hours while working are way down!

[Chaitanya Agarwal @culechetoo]

I’m very interested in building such systems, and would be very interested to know about existing and aspiring efforts.

We need to build such systems in India, and we have the talent!

[Chaitanya Agarwal @culechetoo]

This article highlights that the government is especially interested in validating the safety of the aircraft. A very important component of this is formally verifying software that runs on the plane, for which the government intends to consult a foreign company.

[Krishnan @cvkrishnan]

Govt likely to allocate Rs 12,511-crore to SPV for home-grown transport aircraft

Just can’t believe how detailed and well focused this scheme is.
https://t.co/8jWR5AQVm2

[Chaitanya Agarwal @culechetoo]

@cvkrishnan @ashrayrs Could you spare some time for a brief conversation in the context of CS R&D in India? Could you open your DMs to me?

[Barney Ronay @barneyronay]

Very true of House, life and everything
https://t.co/6uXldfBTWv

[Sam Westrick @shwestrick]

For students applying to PhD programs this cycle: I am recruiting!

I do research on parallel programming, compilers, run-time systems, and parallel algorithms. My main focus is making it simpler and safer to write efficient, scalable, and correct parallel code.

[RJ - Rishabh Jain @rishsamjain]

We spent ₹1.35 lakh crore on the General Elections 2024. traveled cities. fought with our best friends and colleagues. performed their election duties, Why?

To select the best policymakers for our nation.
and they’re making a fool out of us 👇

The first session of the 18th Loksabha ran from June 24 to July 2. It had 7 sittings, lasting for 34 hours. It even hit 103% productivity, according to the Speaker Om Birla.

But instead of discussing and finding a solution to important issues like the NEET Paper Leak, the situation in Manipur, rising unemployment, and global geopolitical tensions, they wasted their time on pointless debates.

All BJP did was:
- Praise themselves for winning
- Brag about their achievements over the last 10 years
- Criticize Congress for the Emergency and lack of developments before 2014
- Claimed to be the biggest saviors of Hindus while labeling Congress as anti-Hindu
- Make poor jokes

All Congress did was:
- Make noises and not let any real discussion happen
- Appreciate themselves for stopping BJP from getting a clear mandate
- Spread hatred based on religion and language
- Projecting Rahul Gandhi as a superstar

All other parties did were:
- Focus on personal goals from the coalition
- Sit and quietly watch BJP vs Congress, Rahul vs Modi drama
- Double-guess their decision to stay in a coalition or walkout

In all, they all made a fool out of us.

Some interesting phrases used by politicians who represent 140 crore Indians:

- Tumse na ho paayega
- Balak Buddhi
- Use and throw labourers (For Agniveers)

Do we waste so much time, money, and effort every 5 years for this?

The Parliament is responsible for policymaking, discussion on laws, intellectual debates, holding the Government responsible, critical evaluation, and passing important laws.

But our politicians are busy spotlighting themselves, dragging each other down, and fighting like school kids.

This is ridiculous!

[Chaitanya Agarwal @culechetoo]

@satnam6502 Wow. I've been a bit shy of approaching you throughout. I'll find you today!

[Chaitanya Agarwal @culechetoo]

Hi

The NJPLS talk schedule is up on our website. https://t.co/dKNGlZfFm9

Registrations are still open.

Looking forward to having you at NYU!

[Chaitanya Agarwal @culechetoo]

Hi Everyone

NYU is hosting the next iteration of the New Jersey PL and Systems Seminar on May 10 in NYC. Here's a link to the details. https://t.co/dKNGlZfFm9

Participant registration deadline is May 6.
Talk proposals are due by April 10.

[Ankush Das @Das8Ankush]

Super excited to be part of the organizing team of OPLSS 2024 at Boston University! I still remember getting inspired from attending it almost 10 years ago!! Please RT and encourage students to register. Registration deadline: March 30. Details: https://t.co/DnC4BQXOVw

[Chaitanya Agarwal @culechetoo]

@cricketingview Double dholki