I'm happy to answer questions around the new product.
ETA on launching in India?
Readit Newsnileshtrivedi commented on Framework Laptop 16 frame.work/ro/en/laptop16... · Posted by u/susanthenerd
nileshtrivedi commented on Building Bluesky comments for my blog natalie.sh/posts/bluesky-... · Posted by u/g0xA52A2A
That's not actually true.
1. If you switch PDS all links continue working.
2. If you change your handle (for did:plc, did:web can't do this because DNS) it used to break links but nowadays this isn't a problem because handle resolution respects historical handle naming (I think it works by post+handle age but I can't remember).
3. Also if you share posts using the did syntax instead of handle syntax (which bluesky seems to be slowly changing over to, at least profiles do this now), it's stable regardless of handle changes.
4. If you want to switch frontends, you can use an extension or app like at://wormhole to do so. UX for this should improve over time but that's a big "eventually".
5. Hopefully the at:// URI format catches on but that's a long ways away given that browsers make using custom URIs an absolute nightmare.
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.
nileshtrivedi commented on Building Bluesky comments for my blog natalie.sh/posts/bluesky-... · Posted by u/g0xA52A2A
To be clear, so is blue sky – you can run a Bluesky server yourself just like mastodon
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.
nileshtrivedi commented on Coursera’s Preview Mode classcentral.com/report/c... · Posted by u/deepakkarki
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
one of the maintainers for Ollama. I don't see it as a pivot. We are all developers ourselves, and we use it.
In fact, there are many self-made prototypes before this from different individuals. We were hooked, so we built it for ourselves.
Ollama is made for developers, and our focus in continually improving Ollama's capabilities.
Question since you are here, how long before tool-calling is enabled for Gemma3 models?
nileshtrivedi commented on Towards Compositional Reactivity stackdiver.com/posts/stre... · Posted by u/low_tech_punk
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.
nileshtrivedi commented on Ask HN: Any resources for finding non-smart appliances? · Posted by u/everyone
For consumers in India, we have a crowdsourced wiki for such products: https://www.isfixable.com/
nileshtrivedi commented on LLMs and Elixir: Windfall or deathblow? zachdaniel.dev/p/llms-and... · Posted by u/uxcolumbo
I have been arguing for a while that very strict languages with a heavy type system are ideal for agent coding.
The stricter the language, the harder it is for the LLM to produce nonsense, at least if it can get compilation errors and run tests. And the easier it is to validate that the output is correct, because the types already tell a lot of the story.
A language with dependent types, linear types, etc... would be ideal, but alas...
At the moment Rust is the sweet spot. Fairly popular (and hence known to LLMs and with a fairly good ecosystem), great error messages to guide resolution of problems, stricter type system and more compile-time guarantess than almost all of the other semi-popular languages...
Now Rust isn't trivial to write, for both humans and LLMs, and the output was pretty bad for a long time.
But with the ability to run `cargo check` and execute tests, even the current first iteration of agents is really quite good at iterating until it gets a working result.
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...
I recently started doing something very similar on Postgres [1] and I'm greatly enjoying using it. I think the total solution I ended up with is under 3000 lines of code for both the SQL and the TypeScript SDK combined, and it's much easier to use and to operate than many of the solutions on the market today.
[1]: https://github.com/earendil-works/absurd
Hope would you say it compares with pgqueuer?