Neeldhara 🐦|🐘
@neeldhara
Followers
5K
Following
28K
Statuses
9K
Department of Computer Science and Engineering, IIT Gandhinagar.
Gandhinagar, India
Joined May 2008
For my 2^12-th tweet, for better or worse, I finally updated my website! Source: (messy, sorry!) There's lots and lots of "Coming Soon!"s and I should have probably tested before "pushing to production", but well, it's up 🎉
5
6
131
RT @karthikcs_: I'm organizing a DIMACS workshop titled "Hardness of Approximation in P," which will take place from July 21-23, 2025. The…
0
6
0
Today, we are infusing the power of agentic AI into the GitHub Copilot experience, elevating Copilot from pair to peer programmer 🤖 (1/4)
1
0
2
@mnwsth @cursor_ai @windsurf_ai Mostly inspired by this: See also: @robertghrist's experience co-writing a book with Claude --- quite amazing! The interview is up here:
@AlexKontorovich @robertghrist I had the question about whether there were editors that integrated Claude in a meaningful way, so you could do the authoring and the LLM chatting from a single interface. Poked around a bit, it appears that @zeddotdev comes close...
0
0
5
RT @RajeevAlur: Consider submitting to Conference on Neurosymbolic Systems to be held at Penn in late May
0
9
0
RT @TIFRH_buzz: Applications are now open for the Visiting Students Research Programme @TIFRH_buzz. Interested candidates are requested to…
0
82
0
RT @iitb_anand: I will be speaking at the Madras Music Academy on 09 February 2025. Title: A Gentle Invitation to Number Theory https:/…
0
3
0
RT @AlexKontorovich: Antoine Chambert-Loir, Heather Macbeth, and I are organizing a two week workshop at the Simons Foundation @SimonsFdn,…
0
28
0
RT @StefanResearch: I am hiring for a Ph.D. student to work in the areas of social network analysis, algorithms and fair machine learning.…
0
54
0
@AlexKontorovich @robertghrist I had the question about whether there were editors that integrated Claude in a meaningful way, so you could do the authoring and the LLM chatting from a single interface. Poked around a bit, it appears that @zeddotdev comes close...
0
1
17
RT @arindamkhan: Reinforcement Learning Workshop (Jan 22-25) at IISc starts tomorrow -- organized by Walmart Center for Tech Excellence (WA…
0
9
0
@AalokDThakkar Awesome! I'll ping you. Folks here have tons of resources, and just the slice that is about counting and such is already so so rich. Will connect soon :)
0
0
1
@prathyvsh Yep, I think this is exactly the intuition I was looking for, thanks! This is a great reference too :)
1
0
1
@prathyvsh That's a really interesting reference! The algorithm seems a bit different? On the next page there is some talk of inversions, and it feels like the ideas can be useful for showing the correctness of the algorithm in the OP, but is there a more direct connection I'm missing?
1
0
1
RT @shouvick_mondal: (Preprint) Evaluating Pre-Trained Large Language Models on Zero Shot Prompts for Parallelization of Source Code. Ava…
0
4
0
RT @VirajZero: The first word my daughter learned to speak was ‘book’. With wide eyes, she would point at a book and say ‘boo’ in a voice f…
0
160
0