Viewing profile — nileshtrivedi

You might like SWE-WebDevBench which tries to do this comprehensive evals for webapp development. https://webdevbench.com/

> proof assistants, traditionally, don't use our classic two's complement integers packed into words in our memory, they use Peano numbers Why can't we just prove theorems about th…

I have now switched to pglite for prototyping, because it lets me use all the postgres features.

This looks useful. Hope would you say it compares with pgqueuer?

ETA on launching in India?

I don't think it does. The default Bluesky frontend uses bsky dot app URL when you use the "Copy link to post". Now if one day, you lose trust in this server and switch your PDS, t…

Not only is the bluesky network highly centralized right now, its UI is designed to perpetually lock users into the main bluesky server. Even if you use your own identity, when sha…

MOOCs are still going strong at India's NPTEL , which started distributing university-level video courses for engg in 2008: - 5m subscribers, almost 2B views on youtube - 30m enrol…

Question since you are here, how long before tool-calling is enabled for Gemma3 models?

I've been thinking on these lines as well. What if computational DAGs spanned boundaries of various machines: the DOM or the UI to client memory to client persisted storage or serv…

For consumers in India, we have a crowdsourced wiki for such products: https://www.isfixable.com/

Types only go far. Most of the semantics of a function's behavior is in its name, documentation and tests. I think it is time to invent a unifying framework for Types, Tests and Ev…

I find it annoying when people share direct URLs to PDFs at arxiv.org instead of the the abstract. However, if I were to use a redirect extension like this one, then my own click o…

That remains to be seen. Manus, a standard agent built with Claude 3.7, outperforms o3 agentic model on the GAIA benchmark.

Something like this? https://youtu.be/QeI61YmSnTA

What "other web companies"? Everyone has an app or an app store.

It should be possible to use syncthing to achieve sync across multiple devices, without having a third-party server - even if untrusted, right?

Recently, I started building a crowdsourced wiki for repairability of consumer hardware products in India: https://isfixable.com/

Louis Rossmann is putting together a Consumer Action Task Force. If people care, now would be a good time to show it.

It started as a Kickstarter campaign: https://www.kickstarter.com/projects/203null/matrix-grid-con... Here is the documentation for the OS: https://matrix.203.io/docs/Developer/Mat…