iiinova — where your digital self keeps evolving

Reposted by Neeldhara Misra

Josh W. Comeau @joshwcomeau.com · 27/04/2026

🎉 Registration is now open for my latest course, Whimsical Animations! This course will teach you everything you need to know to design and build stunning, creative animations and interactions. It’s time to make the web less generic and boring! 😄

whimsy.joshwcomeau.com

Whimsical Animations

Learn how to create charming interactions and delightful touches using the magic of CSS, JavaScript, SVG, and Canvas. I’m sharing all my tricks in this one!

313141

Neeldhara Misra @neeldhara.bsky.social · 19/02/2026

Returning to typefully after a while. Posting this from Raycast -- in general nice to see many new integrations, including Claude and a MCP server.

000

Reposted by Neeldhara Misra

Clément Canonne @ccanonne.github.io · 18/02/2026

Let's say you want, e.g., to compute the expectation of a Geometric r.v. That'll involve, at some point, evaluating a series of the form "Σ (k+1) p^k" which looks like what Lovecraft may have done to a geometric series. How to do it? One trick I enjoy: differentiate the same function, in two ways!

$We want to evaluate $$ \sum_{\color{red}k=0}^\infty (\color{red}k+1) \color{blue}p^{\color{red}k}\,. $$ Introduce the function $f$, for $|\color{blue}x|<1$: $$ f(\color{blue}x) = \sum_{\color{red}k=0}^\infty \color{blue}x^{\color{red}k}\,. $$ That's a nice geometric series, and we easily get $f(\color{blue}x) = \frac{1}{1-\color{blue}x}$. So we can differentiate that: $$ f'(\color{blue}x) = \frac{1}{(1-\color{blue}x)^2} $$ But $f$ was defined as a power series, and we can also differentiate *that* termwise: $$ f'(\color{blue}x) = \sum_{\color{red}k=1}^\infty \color{red}k \color{blue}x^{\color{red}{k-1}} = \sum_{\color{red}k=0}^\infty {(\color{red}k+1)} \color{blue}x^{\color{red}{k}}\,. $$ Well, $f'(\color{blue}x)= f'(\color{blue}x)$ (!), so we can use both expressions, and evaluate them at $\color{blue}p$: $$ \boxed{\sum_{\color{red}k=0}^\infty {(\color{red}k+1)} \color{blue}p^{\color{red}{k}} = \frac{1}{(1-\color{blue}p)^2}} $$$

1396

Reposted by Neeldhara Misra

azariah.bsky.social @azariah.bsky.social · 08/02/2026

I've finally put together the blog post accompanying a lecture that @neeldhara.bsky.social invited me to give over a year ago - which happened about a year after @shriram.bsky.social got us to start thinking about it :) Eventual consistency, I guess. :) johnazariah.github.io/2026/02/08/o...

johnazariah.github.io

One Loop to Traverse Them All

Dedicated to Prof Shriram Krishnamurthi, who incited the exploration into this area, and to Prof Neeldhara Misra, who invited me to give a version of this talk to her class at IIT Gandhinagar.

042

Neeldhara Misra @neeldhara.bsky.social · 14/01/2026

Has anyone tried using Claude or its ilk with Overleaf? I'm tempted to try claude for chrome with OL. I use claude code in Cursor's terminal which seems to work well for my own stuff. But OL sync with GH or DB is a bit finicky so was wondering...

031

Neeldhara Misra @neeldhara.bsky.social · 17/11/2025

In the light of the recent news from IISc about tracking time-at-labs, timely to check out this compilation of opinions from the international scientific community on the matter, in the context of a similar situation that arose in Italy: www.openaccessrepository.it/records/1433...

040

Neeldhara Misra @neeldhara.bsky.social · 06/10/2025

How hard is it to create a bespoke gradescope-ish app for a particular pen and paper exam? My use-case is the following: I have a question paper that is all multi-select or short answer (fill in the blanks), and a bunch of scans from an exam that happened. +

132

Neeldhara Misra @neeldhara.bsky.social · 23/09/2025

Clocked ten years at IITGN today :) Thinking of writing a retrospective of sorts, if you have any ideas for what you might find useful in such a reflection, let me know!

180

Neeldhara Misra @neeldhara.bsky.social · 22/09/2025

ICYMI: a new phase of GIAN funding has been announced. If you are an eligible faculty member in India, great opportunity to play host, and if you identify as a "foreign expert" who'd like to visit, ping your friends here! Deadline: Sep 30. (1/2)

120

Neeldhara Misra @neeldhara.bsky.social · 05/09/2025

TIL that Pocket shut down :( Was my first read-it-later app. I haven't used it in ages, but still feel like I'll be missing it! I remember setting up IFTTT workflows to spam people when I tagged them on a pocket entry 😀

030

Neeldhara Misra @neeldhara.bsky.social · 27/08/2025

Recently vibecoded some slides in Manim via manim-slides: slides.neeldhara.com/evc/ The whole experience was... interesting. It's not replacing my current default for now, but might find ways of integrating it in modular ways.

slides.neeldhara.com

Manim Slides

040

Neeldhara Misra @neeldhara.bsky.social · 26/08/2025

Slightly niche question: does anyone have Obsidian web clipper working on the Orion browser?

000

Reposted by Neeldhara Misra

Anuj Dawar अनुज दावर انُج داور @anujdawar.bsky.social · 20/08/2025

Now I can give you a more complete reply, @neeldhara.bsky.social. The chess book I was thinking of is Chess: The Complete Self-Tutor by Edward Lasker. Here is a sample of the interactive style.

152

Reposted by Neeldhara Misra

Stephen @sp.degabrielle.name · 16/08/2025

The closest thing for me as a young person learning about computer science was ‘The Turing Omnibus’ with its bite-sized chapters and categories. My memory is chapters would tell you what was next so you could follow the automata or cryptography ‘paths’. I only have the ‘new’ version.

041

Neeldhara Misra @neeldhara.bsky.social · 16/08/2025

Do you know of any examples of textbooks written in the style of interactive fiction?

481

Neeldhara Misra @neeldhara.bsky.social · 28/07/2025

TIL that Screenflow can’t import a MOV file generated by OBS studio :(

000

Neeldhara Misra @neeldhara.bsky.social · 26/07/2025

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.

000

Reposted by Neeldhara Misra

Terence Tao @teorth.bsky.social · 19/07/2025

My thoughts on the crucial importance of methodology on self-reported AI performance on mathematics competitions, and my policy on commenting on such reports going forward: mathstodon.xyz/@tao/1148814...

mathstodon.xyz

Terence Tao (@tao@mathstodon.xyz)

It is tempting to view the capability of current AI technology as a singular quantity: either a given task X is within the ability of current tools, or it is not. However, there is in fact a very wid...

223051

Neeldhara Misra @neeldhara.bsky.social · 19/07/2025

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...

120

Neeldhara Misra @neeldhara.bsky.social · 17/07/2025

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/po...

99designs.com

Help me choose my new design!

I’m running a brand starter pack contest on 99designs. Designers have submitted 377 designs so far. Please vote on your favorite as I’d love to receive your feedback.

010

Reposted by Neeldhara Misra

Shriram Krishnamurthi @shriram.bsky.social · 17/07/2025

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: www.undonecs.org/2026/

undonecs.org

Undone Computer Science 2026

0388

Neeldhara Misra @neeldhara.bsky.social · 10/07/2025

Thinking it might be useful to compile interesting grading mechanisms. Would you share your favorite experiences from either side of the fence? I'm especially interested in policy innovations for large classes post-LLMs, but anything is welcome!

000

Neeldhara Misra @neeldhara.bsky.social · 09/07/2025

Encountered struggle from Math for Human Flourishing during our reading group today. It reminded me of this lovely video by Courtney Gibbons. I was little alarmed that the original tweet no longer exists: very glad to have found it on Youtube! www.youtube.com/watch?v=kenf...

020

Neeldhara Misra @neeldhara.bsky.social · 05/07/2025

Hypothetical grading policy. Would it be easy for participants to get grades that do not reflect their competence either in terms of underestimating it (i.e, the grading policy is unfair) or overestimating it (i.e, the policy is easy to game)?

030

Reposted by Neeldhara Misra

Shashi Thutupalli @stpalli.bsky.social · 29/06/2025

We're looking for creative engineers/tinkerers/tool builders that want to engage with cutting-edge research questions in our lab at the @ncbsbangalore.bsky.social Please help me share the word!

064

Neeldhara Misra @neeldhara.bsky.social · 21/06/2025

I want to create a platform for crowdsourcing problems (the sort that go into exams/quizzes/assignments for undergraduate/graduate courses), with features like tagging, voting, comments, and easy export of problems/collections to typst/latex formats (with custom points). +

100

Neeldhara Misra @neeldhara.bsky.social · 15/06/2025

I've wanted to automate pulling up URLs of recent, unlisted videos on my YouTube studio into a plaintext list. Tried chatGPT operator, the now-sunset convergence AI, and some "agentic extensions" to Chrome, and nothing worked. Finally, today Fellou managed this with some nudging.

020

Neeldhara Misra @neeldhara.bsky.social · 11/06/2025

Is it just me, or is chatGPT operator slow to the point of being unusable, especially if you have to take control of the browser?

000

Neeldhara Misra @neeldhara.bsky.social · 11/06/2025

Back from #Paradox2025 at IITM! I have always had this sense that their online BS program attracts a diverse audience and "democratizes access", and it was nice to see this feeling being quantified in the numbers that were presented in the opening ceremony of the convocation. 🧵

132

Reposted by Neeldhara Misra

Ryan O'Donnell @booleananalysis.bsky.social · 09/06/2025

Spread the word: there is a new prize in Theoretical Computer Science in honor of Luca Trevisan-- cs.unibocconi.eu/call-nominat... (Intent-to-nominate letters due by July 31.)

cs.unibocconi.eu

14718

Reposted by Neeldhara Misra

Steven Strogatz @stevenstrogatz.com · 09/06/2025

My new #math series in the New York Times, "Math Revealed," is aimed at everyone, whether you love math or not. Have a look! You can read it here for free without a subscription. www.nytimes.com/interactive/...

nytimes.com

In Taxicab Geometry, Pi Equals 4 and Circles Aren’t Round (Gift Article)

In the world of taxicab geometry, even the Pythagorean theorem takes a back seat.

1215043

Reposted by Neeldhara Misra

Clément Canonne @ccanonne.github.io · 08/06/2025

Don't remember if I posted this before, but these slides by @henryyuen.bsky.social on the CHSH game and Bell's theorem are wonderful. On a laptop, on a phone, on a signal projected onto the clouds at night... henryyuen.net/fall2022/lec...

COMS4281: Introduction to Quantum Computing

Week 4: The EPR Paradox and Bell's Theorem

1233

Neeldhara Misra @neeldhara.bsky.social · 28/05/2025

Lovable has been really nice for generating quick interactives/visualizations. Wanted to stare at some random tournaments and it did this on the first attempt: random-tournaments.lovable.app

000

Neeldhara Misra @neeldhara.bsky.social · 20/05/2025

I'm looking for examples of fake double counting proofs. Here's one example, and I'd love pointers to ideas for more for an upcoming tutorial/worksheet :)

020

Neeldhara Misra @neeldhara.bsky.social · 20/05/2025

I haven't used a reference manager in the longest time. Thought I'd take Papers and Zotero for a spin. The readcube site seems down, and as for the app, it won't parse metadata from a DOI, title matches seem really limited... meanwhile Zotero simply doesn't sync my libraries :(

000

Reposted by Neeldhara Misra

Clément Canonne @ccanonne.github.io · 19/05/2025

🧩 Assume P=NP. Give an (explicit) algorithm solving 3-SAT in worst-case polynomial time, and argue its correctness and running time. #TCSSky #Puzzle

4173

Neeldhara Misra @neeldhara.bsky.social · 18/05/2025

Anyone using Codex? What's your experience with it?

010

Neeldhara Misra @neeldhara.bsky.social · 17/05/2025

Experimenting with "AI first" email clients: Superhuman and Shortwave - mostly for search, not drafting :) An example of a thing I cannot do with vanilla search: "find me all the autograding solutions that I have tried out". +

120

Neeldhara Misra @neeldhara.bsky.social · 16/05/2025

Mock UI's generated by Bolt and Replit for a standalone peer review system. I am definitely setting myself up for a wasted weekend :) Equal parts excited about these experiments even being possible, and worried about all the unknown unknowns in terms of vulnerabilities and such.

010

Neeldhara Misra @neeldhara.bsky.social · 15/05/2025

Is there a peer grading solution that you recommend? Easily self-hosted or cloud on a reasonable budget? This is for a summer edition of Discrete Math with ~50 students. I'd hope for the s/w to let me upload a PDF rubric, do the matching and aggregate scores.

120

Neeldhara Misra @neeldhara.bsky.social · 04/05/2025

New readings this summer! Proof and the Art of Mathematics by Joel Hamkins 05 May 2025 to 09 Jul 2025, 9AM IST, all weekdays Topics on Tournaments by John W. Moon 05 May 2025 to 01 June 2025, 9PM IST, all days +

183

Reposted by Neeldhara Misra

Ben Brubaker @benbenbrubaker.bsky.social · 30/04/2025

Out today: a new special series from @quantamagazine.bsky.social about science in the age of AI! It explores the roots of AI in fundamental science, how researchers are trying to make sense of AI today, and the ways they’re grappling with an uncertain future. www.quantamagazine.org/series/scien...

quantamagazine.org

AI Changes Science and Math Forever | Quanta Magazine

An exploration of how artificial intelligence is changing what it means to do science and math, and what it means to be a scientist.

12411

Neeldhara Misra @neeldhara.bsky.social · 21/04/2025

I'd shared a while ago that I'll be working on a discrete math text this summer. At the time, I also committed to sharing a draft of the first chapter this Monday, but that self-imposed deadline has, it turns out, whooshed past. I have instead some rambling thoughts... +

110