Neeldhara Misra
@neeldhara.bsky.social
:) I see... I dug up the spotlight shortcut to try, and it seems to work fine for the few PPT files I have on my system. It couldn't detect the ones on OneDrive but I suspect I don't have those downloaded.
July 20, 2025 at 4:13 PM
:) I see... I dug up the spotlight shortcut to try, and it seems to work fine for the few PPT files I have on my system. It couldn't detect the ones on OneDrive but I suspect I don't have those downloaded.
For a dedicated tool Houdah Spot has been around a while and has worked well for me. You can access it through Raycast and Alfred. It does rely on the spotlight index, AFAIR.
Find Any File (FAF) is an alternative that I think does not.
There's a nice list of alternatives on the FAF page too.
Find Any File (FAF) is an alternative that I think does not.
There's a nice list of alternatives on the FAF page too.
July 20, 2025 at 12:48 PM
For a dedicated tool Houdah Spot has been around a while and has worked well for me. You can access it through Raycast and Alfred. It does rely on the spotlight index, AFAIR.
Find Any File (FAF) is an alternative that I think does not.
There's a nice list of alternatives on the FAF page too.
Find Any File (FAF) is an alternative that I think does not.
There's a nice list of alternatives on the FAF page too.
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)?
Also a huge shout out to the team that keeps this going. The logistical aspects of running a program at this scale... 🤯 Can't overstate how impressive the whole team is: from the folks who had the vision and conviction... to those managing operations, and the last-mile gang.
+
+
June 11, 2025 at 8:50 AM
Also a huge shout out to the team that keeps this going. The logistical aspects of running a program at this scale... 🤯 Can't overstate how impressive the whole team is: from the folks who had the vision and conviction... to those managing operations, and the last-mile gang.
+
+
I'm sure we'll be hearing more about placements in the days to come. I am aware that there has been some debate on this particular aspect, but based on my anecdotal interactions, I am super optimistic about how things will pan out. Meanwhile, learners have been going places:
+
+
June 11, 2025 at 8:50 AM
I'm sure we'll be hearing more about placements in the days to come. I am aware that there has been some debate on this particular aspect, but based on my anecdotal interactions, I am super optimistic about how things will pan out. Meanwhile, learners have been going places:
+
+
Higher ed admissions are also looking very promising:
+
+
June 11, 2025 at 8:50 AM
Higher ed admissions are also looking very promising:
+
+
I'm not sure what are good proxies for performance/legacy, especially for a program that's just started. But if it's any indication, a chunk of the top GATE rankers were students of the BS/DS program.
+
+
June 11, 2025 at 8:50 AM
I'm not sure what are good proxies for performance/legacy, especially for a program that's just started. But if it's any indication, a chunk of the top GATE rankers were students of the BS/DS program.
+
+
IITM is actively partnering with various organizations to do more of this sort of thing -- offline courses, workshops, internships, etc. The program opens doors to a bunch of such opportunities. This brings me to the other question, of how well people are doing in the program.
+
+
June 11, 2025 at 8:50 AM
IITM is actively partnering with various organizations to do more of this sort of thing -- offline courses, workshops, internships, etc. The program opens doors to a bunch of such opportunities. This brings me to the other question, of how well people are doing in the program.
+
+
The program has a number of fairly active student clubs. Although most of their activities might be coordinated online, this is something that still gives a sense of community, which is an important part of the offline experience.
+
+
June 11, 2025 at 8:50 AM
The program has a number of fairly active student clubs. Although most of their activities might be coordinated online, this is something that still gives a sense of community, which is an important part of the offline experience.
+
+
The program has regular offline social events... several meetups across the country and even beyond. Reminds of when Coursera had just started and I was doing a course that had a study circle that met at Lalbagh on weeknds or something like that :)
+
+
June 11, 2025 at 8:50 AM
The program has regular offline social events... several meetups across the country and even beyond. Reminds of when Coursera had just started and I was doing a course that had a study circle that met at Lalbagh on weeknds or something like that :)
+
+
Offline aspects. Many learners are doing this program on top of a regular college degree and/or job.
When possible, the online programs have offline features. For example, the ES program is smaller than the DS program, and they actually run offline labs at IITM every term.
+
When possible, the online programs have offline features. For example, the ES program is smaller than the DS program, and they actually run offline labs at IITM every term.
+
June 11, 2025 at 8:49 AM
Offline aspects. Many learners are doing this program on top of a regular college degree and/or job.
When possible, the online programs have offline features. For example, the ES program is smaller than the DS program, and they actually run offline labs at IITM every term.
+
When possible, the online programs have offline features. For example, the ES program is smaller than the DS program, and they actually run offline labs at IITM every term.
+
Although not surprising, fairly incredible geographical diversity too!
+
+
June 11, 2025 at 8:49 AM
Although not surprising, fairly incredible geographical diversity too!
+
+
As a result (I imagine), the program attracts a really diverse set of learners. There's diversity of age: learners the full range is <20 to >70, with a substantial number of them being retirees or mid-career folks looking to upskill/transition/learn for fun.
+
+
June 11, 2025 at 8:49 AM
As a result (I imagine), the program attracts a really diverse set of learners. There's diversity of age: learners the full range is <20 to >70, with a substantial number of them being retirees or mid-career folks looking to upskill/transition/learn for fun.
+
+
It's also accessible in terms of finances. It is naturally more affordable than comprable offline programs. Further, there is a lot of support for financially weaker students, or students coming from financially weaker sections of society.
+
+
June 11, 2025 at 8:49 AM
It's also accessible in terms of finances. It is naturally more affordable than comprable offline programs. Further, there is a lot of support for financially weaker students, or students coming from financially weaker sections of society.
+
+
Background: the program implements a "funnel approach".
Rather than having a restrictive admission with ~everybody graduating, the program has a rather low barrier to entry and gets progressively more challenging. Multiple exits, retries... a lot of flexibility overall.
+
Rather than having a restrictive admission with ~everybody graduating, the program has a rather low barrier to entry and gets progressively more challenging. Multiple exits, retries... a lot of flexibility overall.
+
June 11, 2025 at 8:49 AM
Background: the program implements a "funnel approach".
Rather than having a restrictive admission with ~everybody graduating, the program has a rather low barrier to entry and gets progressively more challenging. Multiple exits, retries... a lot of flexibility overall.
+
Rather than having a restrictive admission with ~everybody graduating, the program has a rather low barrier to entry and gets progressively more challenging. Multiple exits, retries... a lot of flexibility overall.
+
I do enjoy messing with lovable (and also replit/bolt/etc) 🫣
Lovable and replit have been fight-y on X for a while now I think. AFAIR a bunch of the more popular apps published on lovable were hacked: mostly vulnerabilities from exposed API keys and misunderstanding how RLS works in Supabase.
+
Lovable and replit have been fight-y on X for a while now I think. AFAIR a bunch of the more popular apps published on lovable were hacked: mostly vulnerabilities from exposed API keys and misunderstanding how RLS works in Supabase.
+
June 7, 2025 at 3:32 PM
I do enjoy messing with lovable (and also replit/bolt/etc) 🫣
Lovable and replit have been fight-y on X for a while now I think. AFAIR a bunch of the more popular apps published on lovable were hacked: mostly vulnerabilities from exposed API keys and misunderstanding how RLS works in Supabase.
+
Lovable and replit have been fight-y on X for a while now I think. AFAIR a bunch of the more popular apps published on lovable were hacked: mostly vulnerabilities from exposed API keys and misunderstanding how RLS works in Supabase.
+
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 :)
May 20, 2025 at 6:30 AM
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 :)
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 :(
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 :(
May 20, 2025 at 6:19 AM
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 :(
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 :(
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.
Equal parts excited about these experiments even being possible, and worried about all the unknown unknowns in terms of vulnerabilities and such.
May 16, 2025 at 7:23 AM
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.
Equal parts excited about these experiments even being possible, and worried about all the unknown unknowns in terms of vulnerabilities and such.
Claude's autocomplete in my .tex file 👀
April 20, 2025 at 11:21 AM
Claude's autocomplete in my .tex file 👀
So o1 pro mode is now 'legacy' while still being the main differentiating feature in a plan that's 10x more expensive? I assume o3 might be the new o1 and the pricing table is not updated, but it's still mystifying that there's no notification/explanation.
April 20, 2025 at 8:10 AM
So o1 pro mode is now 'legacy' while still being the main differentiating feature in a plan that's 10x more expensive? I assume o3 might be the new o1 and the pricing table is not updated, but it's still mystifying that there's no notification/explanation.
Excited to announce the first in a series of seminars from the HOMI (History of Mathematics in India) initiative! This one starts off in an hour and is hybrid. Join us on Zoom if you can. More details at: seminars.historyofmaths.in/seminars/202...
PS. The talk will be recorded.
PS. The talk will be recorded.
April 16, 2025 at 11:36 AM
Excited to announce the first in a series of seminars from the HOMI (History of Mathematics in India) initiative! This one starts off in an hour and is hybrid. Join us on Zoom if you can. More details at: seminars.historyofmaths.in/seminars/202...
PS. The talk will be recorded.
PS. The talk will be recorded.
Yep, I currently have one talk per file, with the details in a YAML header. Is there an advantage to putting everything in one file?
I have these services for an end-to-end workflow (attaching a rough sketch of the setup). Even with one JSON dump, the site has to be rebuilt on updates, right?
I have these services for an end-to-end workflow (attaching a rough sketch of the setup). Even with one JSON dump, the site has to be rebuilt on updates, right?
April 14, 2025 at 5:36 PM
Yep, I currently have one talk per file, with the details in a YAML header. Is there an advantage to putting everything in one file?
I have these services for an end-to-end workflow (attaching a rough sketch of the setup). Even with one JSON dump, the site has to be rebuilt on updates, right?
I have these services for an end-to-end workflow (attaching a rough sketch of the setup). Even with one JSON dump, the site has to be rebuilt on updates, right?
What does it take to get a LLM to generate this image? My first attempts mostly failed. Ideally I just want an image of two interleaved grids with dots of different colors. TikZ code is ok too.
April 7, 2025 at 6:35 AM
What does it take to get a LLM to generate this image? My first attempts mostly failed. Ideally I just want an image of two interleaved grids with dots of different colors. TikZ code is ok too.
Apple Intelligence
April 6, 2025 at 6:00 AM
Apple Intelligence