Neeldhara ๐ฆ|๐
@neeldhara
Department of Computer Science and Engineering, IIT Gandhinagar.
For my 2^12-th tweet, for better or worse, I finally updated my website! neeldhara.com Source: github.com/neeldhara/quarโฆ (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 ๐

Capacities is a tastefully designed PKM system. If you donโt mind the trade off of a proprietary format (ie itโs not a wrapper for a folder of plaintext files) + slightly limited support for offline/collab, definitely give it a spin! Delightful UI/UX & some very handy features.
Are you loving Capacities and want to try our Pro features for free? You can now sign up for a 14 day free trial, no credit card required, no strings attached! ๐ Youโll get access to powerful features, including; - Queries - AI Assistant - Task Actions - Calendar integration
TIL that Screenflow canโt import a MOV file generated by OBS studio :(
Anyone using the OBSBot Tiny 2 camera? Is it common for it to heat up and become laggy after about an 60-90 minutes of use? I donโt have AI tracking on and am using this on a Mac.
Vibe coded (vscode, clause 4, agentic mode) to update CS3100 to use JupyterLab github.com/kayceesrk/cs31โฆ. Saved a few hours of floundering to learn and find the latest tech. 100+ IITM undergrads will start learning OCaml next week using this!
CCL at IITGN participated in the world's largest Math+Art conference held at the Technical University of Eindhoven, showcasing its innovative approach to integrating creativity with mathematics.
Another AI system, ByteDance's SeedProver solved 4 out of 6 IMO problems *with* Lean, and solved a fifth with extended compute. This is becoming routine, like when we went to the moon for the fourth time. There is *nothing* "routine" about this!!...
Looking for a graphic illustrator for the book. It is a book for girl scientists - part memoir, part reportage. ๐๐ฉ๐ฝโ๐ฌ The work will require regular communication of ideas and styles with me, and delivery of illustrations within a fixed timeline of 6 weeks. Other details, suchโฆ
I have expanded the name of my blog : "VISMAYA โ History & Philosophy of Science" In Sanskrit, the word โเคตเคฟเคธเฅเคฎเคฏ' (vismaya) means wonder, which is the essence of science, and perhaps the essence of human beings. Welcome to Vismaya! historyofscience.in/about/
We moved to Linux as the default for new dev hires at 37signals a while back. Our setup flow complexity collapsed. It's just so much easier to automate everything on top of Linux than on Mac. And for our work, Linux is also just way faster since we use Docker for DBs etc.
Linux desktop setup up and running with Omarchy, thanks to @dhh efforts and recommendations. Been on Macbook for years, seriously considering moving Dev team to Linux, all tools we use confirmed working on Omarchy. Combined with Beelink SER8 its a powerful setup at a fraction ofโฆ
Just finished my first month using @KagiHQ as my search engine, at the Professional tier ("Standard AI"). Unlike with others, I almost never retried a query on Google. As for "AI", out of a budget of $10, I spentโฆ $0.34. And I *really* like how they combine search w/ genAI.
Hey @lovable_dev, any chance you'd consider making top-up credits possible? Would be super handy for one-off projects! I'd rather not to upgrade for a month and downgrade back because I am on a legacy annual plan :|
Has anyone tried AI video generation in Canva yet? What's your experience with it? Also couldn't figure out the pricing from a quick look, hard to imagine that unlimited usage would be included in the default plan...
โ๏ธ "How the hell did you think of drawing this???" โ๏ธ "How did you come up with this metaphor?" I keep getting this question, and trust me, this is NOT A TALENT I was born with. It's a skill that I learnt and polished over the years. A skill you can learn, too.
The rivalry between Knuth and Douglas McIlroy is well known. While McIlroy favoured real-world implementation, Knuth was known for mathematical and algorithmic elegance. When asked to implement a program to list the most frequent words in a file, Knuth wrote a 10-page programโฆ
Indian team shines at IMO 2025! India wins 3 Gold, 2 Silver and 1 Bronze medals. The (unofficial) overall country ranking for India is 7 this year (the highest total score by India after 1989). imo-official.org/team_r.aspx?coโฆ
As we have scaled our conferences up (somehow), there is absolutely no human-touch in the entire peer-review pipeline of most AI/NLP conferences. No wonder the quality has gone down the drain. Just feels like soul-sucking service. We need better models.
We are facing a #funding crisis for @Behaviour2025. Please help with sponsors, donors, funders, to make the conference a success! Please spread the word!
We will be soft-launching a new initiative for teachers in the higher education sector in India, centered around a training program but will also feature a community and regular live events (workshops, talks, etc). Help us finalize a logo bu voting here: 99designs.com/contests/poll/โฆ
I am super-pleased to be serving on the PC of the excellent and much-needed "Undone Science in CS" 2026: "to provide an opportunity to pause and reflect on the epistemological and ethical aspects of computer science". For much more information, please see: undonecs.org/2026/