iiinova — where your digital self keeps evolving

Nilesh Trivedi @nilesh.trivedi.link · 15/03/2026

Trying to make machine-verifiable math in Lean more visual, social, game-like and fun! cc: @pietromonticone.bsky.social

Nilesh Trivedi @nilesh.trivedi.link · 06/01/2026

Bangalore peeps, I've been invited by Abheek Learning Center to speak to parents and educators about the Future of Learning in the age of AI, especially how to manage children's exposure on our computing devices. This Saturday, 9:30AM. Limited capacity. luma.com/mxnsai48 #parenting #learning

120

Nilesh Trivedi @nilesh.trivedi.link · 10/12/2025

Oh wow.. #bluesky just started demanding birthdate! Why is it not asking for just the age-band? Is it for personalization or a legal mandate? Is it okay for me to lie about my birthdate? Are they enforcing AUS/UK/EU law on worldwide users? Why are there no docs about this? @jay.bsky.team

120

Nilesh Trivedi @nilesh.trivedi.link · 05/12/2025

I have uploaded the slides for all the talks I have given at Lossfunk so far: 1) Building a scientific agent using system dynamics simulation 2) Agent2Agent collaboration Protocol 3) Differentiable Programming 4) My solution for Distributed Reactivity nilesh.trivedi.link/thoughts

010

Nilesh Trivedi @nilesh.trivedi.link · 24/08/2025

How come client-side calls to LLMs not more popular? OpenAI, Anthropic, Gemini all support it. But no client-side library has taken a foothold for this pattern. @simonwillison.net had written about this a year ago.

010

Nilesh Trivedi @nilesh.trivedi.link · 22/08/2025

#math notation you didn't know you wanted!

100

Nilesh Trivedi @nilesh.trivedi.link · 21/08/2025

Floorp v12 got Vertical tabs, AI chatbots in sidebar with multiple LLMs without data leakage. Is there anything I'm missing from Comet / Dia / Chrome? 🤔

110

Nilesh Trivedi @nilesh.trivedi.link · 13/08/2025

This is depressing but only if you THINK about it. 😁

000

Nilesh Trivedi @nilesh.trivedi.link · 02/07/2025

To be clear, I do think FOSS licenses are naive and have suffocated the space for better alternatives, even if they have been a net positive.

100

Nilesh Trivedi @nilesh.trivedi.link · 10/06/2025

All these categories seem fuzzy to me. I recommend modeling everything as agents with declared attributes in case it happens to be non-intelligent and non-longrunning, i.e. tool-like.

001

Nilesh Trivedi @nilesh.trivedi.link · 07/06/2025

This was a mind-bending read! Argues that intelligence might originate outside of physics and actually come from the platonic space of mathematical patterns. For eg: the familiar "bubble sort" algo shows cognitive skills like delayed gratification and clustering. osf.io/preprints/ps... #ai #cs

011

Nilesh Trivedi @nilesh.trivedi.link · 07/06/2025

On landscape displays, horizontal scrolling seems best for reading ebooks (until we get a really tall/portrait display that can show 3 pages at once). They make it easiest when pages refer to previous or next page, especially with visuals. #design #ebook

120

Nilesh Trivedi @nilesh.trivedi.link · 12/05/2025

The world does not seem to care about the incorrigibility of #Pakistan. And #India always bears the cost of it. ☹️ Last image shows Pak military officials giving state funeral to a terrorist, attending along side HAFIZ ABDUR RAUF who himself is a Specially Designated Terrorist under OFAC sanctions.

100

Nilesh Trivedi @nilesh.trivedi.link · 09/04/2025

This is such a good idea!! Early days (prototype is based on Fairphone 2 only), but this shows the power of open hardware.

051

Nilesh Trivedi @nilesh.trivedi.link · 09/04/2025

What are the chances that the hardest implication remaining to be proved or disproved in Terence Tao's Equational Theories project happens to be indexed at Ramanujan's Number 1729?

100

Nilesh Trivedi @nilesh.trivedi.link · 01/04/2025

Announcing VibeLang 1.0 - a new #programming language for the AI age. Designed for professional vibe-coders.

111

Nilesh Trivedi @nilesh.trivedi.link · 22/03/2025

Just gave a lightning talk about the #repairability wiki for India

000

Nilesh Trivedi @nilesh.trivedi.link · 21/02/2025

What a phenomenal collection of life skills lessons wrapped in engaging visual stories! Trubuddy comics, a new offering from Menstrupedia, is a delight! trubuddy.me

000

Nilesh Trivedi @nilesh.trivedi.link · 18/02/2025

I think emails to your address listed here are bouncing? Also, this page still recommends Twitter, but the pinned tweet says you are no longer active there.

000

Nilesh Trivedi @nilesh.trivedi.link · 18/02/2025

A comparison between Nostr, Fediverse and BlueSky:

101

Nilesh Trivedi @nilesh.trivedi.link · 23/01/2025

Guys... I heard rumors that Rajamouli sir is coming out with a new epic drama film in 2025! 🙂👌💪

030

Nilesh Trivedi @nilesh.trivedi.link · 20/01/2025

Rise of the angry Indian consumer

010

Nilesh Trivedi @nilesh.trivedi.link · 19/01/2025

You can watch the livestream of Audio Developer Conference (Bangalore) 2025 here: buff.ly/4an4rxM Here is the schedule of talks (IST):

010

Nilesh Trivedi @nilesh.trivedi.link · 09/01/2025

And people think vegans are the ones who are extremists about their food habits!! 😀

150

Nilesh Trivedi @nilesh.trivedi.link · 04/01/2025

The story about Meta's AI-influencer is very important but why do so many journalists think they can discover anything about how AI bots were built by talking to the bots? Do they not have someone on their team that can explain to them how this technology works?

010

Nilesh Trivedi @nilesh.trivedi.link · 15/12/2024

Did you know this about the boric powder used for carrom boards?

110

Nilesh Trivedi @nilesh.trivedi.link · 12/12/2024

Going to check out this play, if only I can make it in time in all this rain and traffic. The writer/director Marcus Du Sautoy, also wrote this nice book which was already in my reading list.

020

Nilesh Trivedi @nilesh.trivedi.link · 05/12/2024

24 million users all being on the same #bluesky server instance cannot be healthy for the decentralisation of #atproto. Governance for hosting many users is complicated enough that we need many providers, not just one. Else it is likely to be a repeat of Twitter/Instagram. Sorry to be this guy.

561

Nilesh Trivedi @nilesh.trivedi.link · 03/12/2024

How much plastic gets actually recycled and then how much of it is put back into use?

000

Nilesh Trivedi @nilesh.trivedi.link · 02/12/2024

#Syncthing has this very cool upcoming feature now: Sync via untrusted devices (Buddy Backup). You and your friend can share storage capacity with each other while keeping data encrypted. Even multiple untrusted devices will sync fine.

021

Nilesh Trivedi @nilesh.trivedi.link · 02/12/2024

If #RaspberryPi 5 came with a M.2 slot and a full-size HDMI port, I'd be shelling out my money faster than you could say "Pi". 😄 These 2 features wouldn't add a lot of cost either. Pi5 is almost the perfect #Linux single-board-computer with many use-cases like NAS, Router, smart TV box! So close!

221

Nilesh Trivedi @nilesh.trivedi.link · 01/12/2024

Must watch documentary on Netflix: Some of us in tech have been saying this for 20+ years, way before Apple removed the headphone jack, which was clearly to force people to move on to airpods. #RightToRepair feels like a forever losing battle.

111

Nilesh Trivedi @nilesh.trivedi.link · 30/11/2024

You can get 1 cm GPS (with RTK) accuracy on civilian devices these days for less than 300$! 😲

010

Nilesh Trivedi @nilesh.trivedi.link · 29/11/2024

Enactivism is an alternative paradigm of cognitive science to the classical Computational Theory of Mind (CTM). en.wikipedia.org/wiki/Computa...

010

Nilesh Trivedi @nilesh.trivedi.link · 29/11/2024

Annoyed that while there's a word for "computing" - which led to "computer" when we managed to automate this skill, there's no single word for "thinking + doing". And so, we have to use the boring "agent". I asked my #ChatGPT and it came up with a new one, that's quite funny if you speak Hindi. 😂

000

Nilesh Trivedi @nilesh.trivedi.link · 26/11/2024

Finally joined the #Zotero tribe. Fantastic tool if you download a lot of technical books/papers and read actively (i.e. highlight/annotate, take notes) it provides free 300MB storage for keeping notes in sync across devices. You can also create private/public group libraries.

131

Nilesh Trivedi @nilesh.trivedi.link · 26/11/2024

X: Why should one do philosophy? Me: Philosophy is ultimately about living well, i.e. doing the right thing. Every freeman must do at least a little bit of philosophy. X: What is a "freeman"? Me:

011

Nilesh Trivedi @nilesh.trivedi.link · 26/11/2024

Annoying that I have to run 3 full copies of Firefox as separate apps. 1) Firefox itself 2) Zotero 3) Zen browser whose split view is useful for social media. The Web platform and browsing app have been too strongly coupled. Need FirefoxOS / ChromiumOS purely as a platform for app developers.

020

Nilesh Trivedi @nilesh.trivedi.link · 21/11/2024

Buffer supports simultaneous cross-posting to any 3 channels in their free plan (like this post itself going to my twitter, bluesky and mastodon)

220