Hacker News: nileshtrivedihttps://news.ycombinator.com/user?id=nileshtrivediHacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 15 Apr 2026 09:28:10 +0000<![CDATA[OpenSandbox]]>Article URL: https://github.com/alibaba/OpenSandbox

Comments URL: https://news.ycombinator.com/item?id=47203397

Points: 2

# Comments: 0

]]>Sun, 01 Mar 2026 03:30:42 +0000https://github.com/alibaba/OpenSandboxnileshtrivedihttps://news.ycombinator.com/item?id=47203397https://news.ycombinator.com/item?id=47203397<![CDATA[New comment by nileshtrivedi in "Test, don't just verify"]]>> 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 the standard two's complement integers, instead of Nat?

]]>Tue, 23 Dec 2025 17:07:09 +0000https://news.ycombinator.com/item?id=46366979nileshtrivedihttps://news.ycombinator.com/item?id=46366979https://news.ycombinator.com/item?id=46366979<![CDATA[New comment by nileshtrivedi in "Go ahead, self-host Postgres"]]>I have now switched to pglite for prototyping, because it lets me use all the postgres features.

]]>Sat, 20 Dec 2025 16:50:59 +0000https://news.ycombinator.com/item?id=46337472nileshtrivedihttps://news.ycombinator.com/item?id=46337472https://news.ycombinator.com/item?id=46337472<![CDATA[New comment by nileshtrivedi in "Building a Durable Execution Engine with SQLite"]]>This looks useful.

Hope would you say it compares with pgqueuer?

]]>Fri, 21 Nov 2025 21:51:56 +0000https://news.ycombinator.com/item?id=46009409nileshtrivedihttps://news.ycombinator.com/item?id=46009409https://news.ycombinator.com/item?id=46009409<![CDATA[New comment by nileshtrivedi in "Framework Laptop 16"]]>ETA on launching in India?

]]>Tue, 26 Aug 2025 15:38:07 +0000https://news.ycombinator.com/item?id=45028044nileshtrivedihttps://news.ycombinator.com/item?id=45028044https://news.ycombinator.com/item?id=45028044<![CDATA[New comment by nileshtrivedi in "Building Bluesky comments for my blog"]]>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, this link continue working depends on this very non-trusted server. If this server is profit-seeking, it can break such links.

An extension or another app is not the solution, and neither is the new at:// URI format, because what matters is the relationship the default server sets up with its majority of users. Most bsky users will lose their traffic to their own posts and therefore will be locked-in, cementing this one server to be the dominant one in all perpetuity. We will therefore get all the patterns of monopolistic abuse that we have seen elsewhere.

]]>Wed, 13 Aug 2025 04:01:34 +0000https://news.ycombinator.com/item?id=44884540nileshtrivedihttps://news.ycombinator.com/item?id=44884540https://news.ycombinator.com/item?id=44884540<![CDATA[New comment by nileshtrivedi in "Building Bluesky comments for my blog"]]>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 sharing the URLs to the posts via the UI, the URL defaults to bsky dot app domain, which will break if the author ever moves to a second server.

]]>Thu, 07 Aug 2025 17:34:01 +0000https://news.ycombinator.com/item?id=44827591nileshtrivedihttps://news.ycombinator.com/item?id=44827591https://news.ycombinator.com/item?id=44827591<![CDATA[New comment by nileshtrivedi in "Coursera’s Preview Mode"]]>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 enrollments

- 600+ courses every semester in 22 disciplines

Anyone from the world can signup. Proctored exams are optional and cost about $11 per course. Not taking VC funding and setting up local chapters for supporting students seems to have worked out well for them.

Website: https://nptel.ac.in/

ACM report about this from November 2022: https://dl.acm.org/doi/pdf/10.1145/3550473

Former-director of IIT Madras has talked about how NPTEL came together: https://www.youtube.com/watch?v=LV-QoGegFLY

]]>Thu, 07 Aug 2025 08:17:02 +0000https://news.ycombinator.com/item?id=44821956nileshtrivedihttps://news.ycombinator.com/item?id=44821956https://news.ycombinator.com/item?id=44821956<![CDATA[New comment by nileshtrivedi in "Ollama's new app"]]>Question since you are here, how long before tool-calling is enabled for Gemma3 models?

]]>Thu, 31 Jul 2025 03:28:55 +0000https://news.ycombinator.com/item?id=44742063nileshtrivedihttps://news.ycombinator.com/item?id=44742063https://news.ycombinator.com/item?id=44742063<![CDATA[New comment by nileshtrivedi in "Towards Compositional Reactivity"]]>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 server memory to database to other connected clients and so on? We seem to be solving the same problems again and again, in various places - mostly in the same way.

]]>Mon, 07 Jul 2025 17:52:50 +0000https://news.ycombinator.com/item?id=44492924nileshtrivedihttps://news.ycombinator.com/item?id=44492924https://news.ycombinator.com/item?id=44492924<![CDATA[New comment by nileshtrivedi in "Ask HN: Any resources for finding non-smart appliances?"]]>For consumers in India, we have a crowdsourced wiki for such products: https://www.isfixable.com/

]]>Mon, 07 Jul 2025 11:54:13 +0000https://news.ycombinator.com/item?id=44489375nileshtrivedihttps://news.ycombinator.com/item?id=44489375https://news.ycombinator.com/item?id=44489375<![CDATA[New comment by nileshtrivedi in "LLMs and Elixir: Windfall or deathblow?"]]>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 Evals: https://nilesh.trivedi.link/thoughts/we-need-a-formal-theory...

]]>Thu, 05 Jun 2025 11:44:01 +0000https://news.ycombinator.com/item?id=44190651nileshtrivedihttps://news.ycombinator.com/item?id=44190651https://news.ycombinator.com/item?id=44190651<![CDATA[Types ⊂ Tests ⊂ Evals?]]>Article URL: https://nilesh.trivedi.link/thoughts/we-need-a-formal-theory-of-agent-evals

Comments URL: https://news.ycombinator.com/item?id=44180947

Points: 1

# Comments: 0

]]>Wed, 04 Jun 2025 14:13:55 +0000https://nilesh.trivedi.link/thoughts/we-need-a-formal-theory-of-agent-evalsnileshtrivedihttps://news.ycombinator.com/item?id=44180947https://news.ycombinator.com/item?id=44180947<![CDATA[New comment by nileshtrivedi in "Browser extension (Firefox, Chrome, Opera, Edge) to redirect URLs based on regex"]]>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 on the PDF link would get redirected back to the abstract page. To handle this, the redirect rule needs to consider the referer page too, with a possible exception if the referer is the same site as the destination.

]]>Sun, 01 Jun 2025 16:04:51 +0000https://news.ycombinator.com/item?id=44151848nileshtrivedihttps://news.ycombinator.com/item?id=44151848https://news.ycombinator.com/item?id=44151848<![CDATA[New comment by nileshtrivedi in "LLM Agents Are Simply Graph – Tutorial for Dummies"]]>That remains to be seen. Manus, a standard agent built with Claude 3.7, outperforms o3 agentic model on the GAIA benchmark.

]]>Thu, 20 Mar 2025 01:05:11 +0000https://news.ycombinator.com/item?id=43418950nileshtrivedihttps://news.ycombinator.com/item?id=43418950https://news.ycombinator.com/item?id=43418950<![CDATA[New comment by nileshtrivedi in "Using a graphics tablet as a programming tool (2018)"]]>Something like this? https://youtu.be/QeI61YmSnTA

]]>Wed, 19 Mar 2025 03:50:01 +0000https://news.ycombinator.com/item?id=43408126nileshtrivedihttps://news.ycombinator.com/item?id=43408126https://news.ycombinator.com/item?id=43408126<![CDATA[New comment by nileshtrivedi in "What, if anything, should I do about using Mozilla's Firefox"]]>What "other web companies"? Everyone has an app or an app store.

]]>Sun, 02 Mar 2025 12:38:40 +0000https://news.ycombinator.com/item?id=43229898nileshtrivedihttps://news.ycombinator.com/item?id=43229898https://news.ycombinator.com/item?id=43229898<![CDATA[New comment by nileshtrivedi in "Self-Hosting a Firefox Sync Server"]]>It should be possible to use syncthing to achieve sync across multiple devices, without having a third-party server - even if untrusted, right?

]]>Sat, 01 Mar 2025 10:40:11 +0000https://news.ycombinator.com/item?id=43217998nileshtrivedihttps://news.ycombinator.com/item?id=43217998https://news.ycombinator.com/item?id=43217998<![CDATA[New comment by nileshtrivedi in "Ask HN: What are you working on? (February 2025)"]]>Recently, I started building a crowdsourced wiki for repairability of consumer hardware products in India: https://isfixable.com/

]]>Mon, 24 Feb 2025 15:37:35 +0000https://news.ycombinator.com/item?id=43160738nileshtrivedihttps://news.ycombinator.com/item?id=43160738https://news.ycombinator.com/item?id=43160738<![CDATA[New comment by nileshtrivedi in "Canon wants us to pay for using our own camera as a webcam"]]>Louis Rossmann is putting together a Consumer Action Task Force. If people care, now would be a good time to show it.

]]>Fri, 17 Jan 2025 12:30:14 +0000https://news.ycombinator.com/item?id=42736836nileshtrivedihttps://news.ycombinator.com/item?id=42736836https://news.ycombinator.com/item?id=42736836