Tessera
Folgen

Neeldhara Misra

@neeldhara.bsky.social

→ http://www.neeldhara.com

163 Posts573 Follower495 Folgt
Josh W. Comeau@joshwcomeau.com · 3mo ago

🎉 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! 😄

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!

whimsy.joshwcomeau.com

Clément Canonne@ccanonne.github.io · 6mo ago

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}} $$
azariah.bsky.social@azariah.bsky.social · 6mo ago

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

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.

johnazariah.github.io

Neeldhara Misra@neeldhara.bsky.social · 7mo ago

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

Neeldhara Misra@neeldhara.bsky.social · 10mo ago

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

Neeldhara Misra@neeldhara.bsky.social · 11mo ago

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)

Neeldhara Misra@neeldhara.bsky.social · 11mo ago

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 😀

Stephen@sp.degabrielle.name · 12mo ago

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.

Chapter categoriesTable of contents
Terence Tao@teorth.bsky.social · last yr.

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

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

mathstodon.xyz

Neeldhara Misra@neeldhara.bsky.social · last yr.

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

Neeldhara Misra@neeldhara.bsky.social · last yr.

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

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.

99designs.com

Neeldhara Misra@neeldhara.bsky.social · last yr.

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!

Neeldhara Misra@neeldhara.bsky.social · last yr.

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)?

Bild
Neeldhara Misra@neeldhara.bsky.social · last yr.

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