Neeldhara Misra
@neeldhara.bsky.social
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.
+
+
October 6, 2025 at 5:59 AM
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.
+
+
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!
September 23, 2025 at 4:55 PM
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!
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)
Deadline: Sep 30. (1/2)
September 22, 2025 at 6:16 AM
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)
Deadline: Sep 30. (1/2)
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 😀
September 5, 2025 at 7:38 PM
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 😀
Happy to announce new editions of grok-a-book this term! We start effectively on the 8th of September (with a meet-and-greet type meetup on the 5th). Details in thread.
The Theory of Probability | Santosh S. Venkatesh, Professor
From its classical foundations to the advanced modern theory, this elegant guide to probability weaves together mathematical proofs, historical panoramas, and lush, richly detailed applications.
www.santoshvenkatesh.com
August 29, 2025 at 7:08 AM
Happy to announce new editions of grok-a-book this term! We start effectively on the 8th of September (with a meet-and-greet type meetup on the 5th). Details in thread.
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/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.
Manim Slides
slides.neeldhara.com
August 27, 2025 at 6:20 PM
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/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.
Slightly niche question: does anyone have Obsidian web clipper working on the Orion browser?
August 26, 2025 at 2:24 PM
Slightly niche question: does anyone have Obsidian web clipper working on the Orion browser?
Reposted by Neeldhara Misra
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.
August 20, 2025 at 10:00 PM
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.
Reposted by Neeldhara Misra
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.
I only have the ‘new’ version.
August 16, 2025 at 5:32 PM
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.
I only have the ‘new’ version.
Do you know of any examples of textbooks written in the style of interactive fiction?
August 16, 2025 at 4:17 AM
Do you know of any examples of textbooks written in the style of interactive fiction?
TIL that Screenflow can’t import a MOV file generated by OBS studio :(
July 28, 2025 at 4:10 AM
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.
July 26, 2025 at 12:15 PM
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.
Reposted by Neeldhara Misra
Slides for #EuroMIP25 are online!
Mixed Integer Programming Workshop 2024
www.mixedinteger.org
July 21, 2025 at 2:38 PM
Slides for #EuroMIP25 are online!
Reposted by Neeldhara Misra
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
July 19, 2025 at 10:37 PM
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...
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...
Also couldn't figure out the pricing from a quick look, hard to imagine that unlimited usage would be included in the default plan...
July 19, 2025 at 1:47 PM
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...
Also couldn't figure out the pricing from a quick look, hard to imagine that unlimited usage would be included in the default plan...
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 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
July 17, 2025 at 5:12 AM
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 us finalize a logo bu voting here: 99designs.com/contests/po...
Reposted by Neeldhara Misra
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/
www.undonecs.org/2026/
Undone Computer Science 2026
www.undonecs.org
July 17, 2025 at 1:14 AM
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/
www.undonecs.org/2026/
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!
July 10, 2025 at 8:57 AM
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!
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...
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...
July 9, 2025 at 5:13 PM
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...
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...
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)?
July 5, 2025 at 3:30 AM
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)?
Reposted by Neeldhara Misra
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!
Please help me share the word!
June 29, 2025 at 4:04 PM
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!
Please help me share the word!
Awesome new video about IITGN just dropped: www.youtube.com/watch?v=1YB...
Catch some wonderful glimpses, and let me know if you'd like to visit us!
Catch some wonderful glimpses, and let me know if you'd like to visit us!
Beyond Boundaries: The IIT Gandhinagar Story
What does it feel like to grow, to question, to dream—and to belong? IITGN: Beyond Boundaries is not just a film about an institute; it’s about the people wh...
www.youtube.com
June 25, 2025 at 1:30 PM
Awesome new video about IITGN just dropped: www.youtube.com/watch?v=1YB...
Catch some wonderful glimpses, and let me know if you'd like to visit us!
Catch some wonderful glimpses, and let me know if you'd like to visit us!
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).
+
+
June 21, 2025 at 7:52 AM
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).
+
+
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.
June 15, 2025 at 7:10 AM
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.
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?
June 11, 2025 at 10:24 AM
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?