nileshtrivedi

5 ms·

1.
by nileshtrivedi 3mo ago
You might like SWE-WebDevBench which tries to do this comprehensive evals for webapp development. https://webdevbench.com/
2.
Webdevbench: Evaluating AI as software development agencies(webdevbench-ai-benchmarks.qwikbuild.site)
4 points by nileshtrivedi 4mo ago|1 comments
3.
OpenSandbox(github.com)
2 points by nileshtrivedi 7mo ago|0 comments
4.
by nileshtrivedi 9mo ago
> 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,
5.
by nileshtrivedi 9mo ago
I have now switched to pglite for prototyping, because it lets me use all the postgres features.
6.
by nileshtrivedi 10mo ago
This looks useful. Hope would you say it compares with pgqueuer?
7.
by nileshtrivedi 1y ago
ETA on launching in India?
8.
by nileshtrivedi 1y ago
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 ver
9.
by nileshtrivedi 1y ago
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 b
10.
by nileshtrivedi 1y ago
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
11.
by nileshtrivedi 1y ago
Question since you are here, how long before tool-calling is enabled for Gemma3 models?
12.
by nileshtrivedi 1y ago
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
13.
by nileshtrivedi 1y ago
For consumers in India, we have a crowdsourced wiki for such products: https://www.isfixable.com/
14.
by nileshtrivedi 1y ago
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/though
15.
Types ⊂ Tests ⊂ Evals?(nilesh.trivedi.link)
1 points by nileshtrivedi 1y ago|0 comments
16.
by nileshtrivedi 1y ago
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 pag
17.
by nileshtrivedi 1y ago
That remains to be seen. Manus, a standard agent built with Claude 3.7, outperforms o3 agentic model on the GAIA benchmark.
18.
by nileshtrivedi 1y ago
Something like this? https://youtu.be/QeI61YmSnTA
19.
by nileshtrivedi 2y ago
What "other web companies"? Everyone has an app or an app store.
20.
by nileshtrivedi 2y ago
It should be possible to use syncthing to achieve sync across multiple devices, without having a third-party server - even if untrusted, right?
21.
by nileshtrivedi 2y ago
Recently, I started building a crowdsourced wiki for repairability of consumer hardware products in India: https://isfixable.com/
22.
by nileshtrivedi 2y ago
Louis Rossmann is putting together a Consumer Action Task Force. If people care, now would be a good time to show it.
23.
Nvidia Announces Nemotron Model Families to Advance Agentic AI(blogs.nvidia.com)
1 points by nileshtrivedi 2y ago|0 comments
24.
Mystrix: Open-source MIDI grid/pad controller(203.io)
2 points by nileshtrivedi 2y ago|1 comments
25.
by nileshtrivedi 2y ago
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/MatrixOSBa
26.
by nileshtrivedi 2y ago
Also ActivePieces from YC
27.
by nileshtrivedi 2y ago
The biggest pain point with Ruby these days is: there is almost no libraries for modern number-crunching techniques of any kind. Only python libraries come out of machine learning community / academia.
28.
by nileshtrivedi 2y ago
We literally had a chemistry Nobel Prize winner crediting chess for making him curious about thinking and intelligence and ultimately to find DeepMind.
29.
The Problem of Naming(github.com)
3 points by nileshtrivedi 2y ago|0 comments
30.
by nileshtrivedi 2y ago
> "open source chatgpt desktop assistant" app with swappable llms THIS. OpenAI, Claude and Perplexity - all have their individual desktop apps now. It's time we got a generic, model-agnostic one. On the other hand, we will

More ›