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

Reposted by Nilesh Trivedi

the Mountain Goats @themountaingoats.bsky.social · 04/01/2026

it is your DUTY as a parent to be basic and cringe. if your child says "6-7" and you do not say, loud enough for their friends to hear, "8-9?", causing profound silence and intense discomfort, you are neglecting your responsibilities. being cool is for kids. your days of being laughed WITH are over

1075526558

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

Reposted by Nilesh Trivedi

Andri Óskarsson @andri.dk · 06/11/2025

Welcome back! - Custom feeds now get access to "see less/see more" metrics. - Bluesky hit 40m mark recently - Lots of activity on Tangled and Graze social - More people means more activity, harder to filter

011

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

Checking in after many many weeks. What's been happening on #bluesky - both the network and the software?

110

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

We're having the first edit-a-thon for the Fixable hardware Wiki ( isfixable.com ) 3PM today on Google Meet: meet.google.com/ybx-eose-jbi #openhardware #RightToRepair

isfixable.com

Fixable products for India | fixable

040

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 · 12/08/2025

Reading survey papers across disciplines is insanely effective. Not only do you learn almost state-of-the-art knowledge that has not yet made to textbooks, but you also build a mental map of the field and how different ideas relate to each other. I find this scaffolding very useful for retention.

010

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

Topology is so underrated. I used to think it's just a corner of abstract mathematics, but now I see EVERY question in terms of what the space of possible answers is and what the properties of its shape are because they inform approaches for design, search & optimization. #mathematics

000

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

I have been thinking about distributed reactive computation. There is way too much plumbing involved in building apps. Have landed on an elegant model, with which, expressing a multi-user, secure, high-performance todo app takes 20 lines of code (including a basic reactive UI). #computing

000

Reposted by Nilesh Trivedi

Shriram Krishnamurthi @shriram.bsky.social · 14/07/2025

Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy! www.plai.org

plai.org

Programming Languages: Application and Interpretation

Site for the PLAI book

15917

Reposted by Nilesh Trivedi

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 · 04/06/2025

I wrote a new blog post. Coding Agents are supersets of not just programs and ML models, but also for the first time, PROGRAMMERS!. But Type Theory and Tests only covers programs. We need a theory of Evals. Link to full post: nilesh.trivedi.link/thoughts/we-... #ComputerScience #AI #typetheory

nilesh.trivedi.link

We need a formal theory of Agent Evals | Nilesh Trivedi

030

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 · 31/03/2025

Happy to see progress on the interoperability of infinite canvas tools: canvasprotocol.org/ Will add support for this in my Graph editing tool if it supports nesting properly.

canvasprotocol.org

Open Canvas Working Group | OCWG

Working group for establishing interoperability between different infinite canvas tools.

020

Reposted by Nilesh Trivedi

Scott Hanselman 🌮 @scott.hanselman.com · 22/03/2025

Where have all the tech creators gone?

49715112

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 · 22/03/2025

Rust community has been building modern versions of common unix utilities. ghostty - terminal emulator: ghostty.org bat for "cat": github.com/sharkdp/bat eza for "ls": github.com/eza-communit... helix for "vim": helix-editor.com All available for #linux, #windows, #macos #programming

120

Reposted by Nilesh Trivedi

𝕮 @chrisshank.com · 11/03/2025

"Computers for Cynics 2 - It All Went Wrong at Xerox PARC" by Ted Nelson (2012) www.youtube.com/watch?v=c6SU...

youtube.com

Computers for Cynics 2 - It All Went Wrong at Xerox PARC

YouTube video by TheTedNelson

154

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

How is decentralization of #BlueSky coming along? It's been a while for me and I haven't kept track.

120

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

New blog post: I identify 5 major forces which will be at play in next 10 years and mapping it to how young programmers should think about upskilling. nilesh.trivedi.link/thoughts/ski...

nilesh.trivedi.link

Skills young programmers in India need to build in 2025 | Nilesh Trivedi

020

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

Any day you can bring up category theory at work is a good day.

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

A comparison between Nostr, Fediverse and BlueSky:

101

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

Is Google oauth flow broken in Firefox for everyone or just me for past few days?

030

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

If my web browser required walking 100 steps for opening each extra tab, my fitness problems would be solved in a month. 😁

000

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 · 22/01/2025

Do non-profits not have to consider the question of Founder-Problem fit? Today, a for-profit startup wouldn't make any headway without Founder-Market fit. If technology is critical to your mission, you won't be able to go anywhere without a technical co-founder, even as a nonprofit.

000

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

I am equally happy and unhappy with Twitter, Bluesky and Fediverse. Is it equanimity or spinelessness? 😅

000

Reposted by Nilesh Trivedi

A Monitor Lizard @monitorlizard.bsky.social · 22/01/2025

Saying “the internet killed democracy” is about as useful as saying “I’m not going to breathe the air until people stop farting”. The internet isn’t going anywhere. Social media isn’t going anywhere. If you can’t function within the existing reality you will become obsolete.

2338

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