Profile avatar
nilesh.trivedi.link
Building AIs at snowmountain.ai I love machines, mathematics and music. @meta @foresightinst @clearFromCT @gupshup @iiml @iitkgp ❤️ http://isfixable.com https://nilesh.trivedi.link/ https://x.com/nileshtrivedi https://fosstodon.org/@nilesh
213 posts 553 followers 323 following
Prolific Poster
Conversation Starter

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.

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

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?

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

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.

Where have all the tech creators gone?

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

I am at #MisinfoCon2025 today.

This took a while, but IMHO, this makes Ghost the best platform for long-form writing on the Web. Substack is no longer cool. techcrunch.com/2025/03/19/s... #fediverse #writing

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

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

How decentralized is BlueSky, really?

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

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...

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

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

A comparison between Nostr, Fediverse and BlueSky:

Genus ≤ 3 is all you need! 😀 #math #topology

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

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

Guys... I heard rumors that Rajamouli sir is coming out with a new epic drama film in 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.

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

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.

Rise of the angry Indian consumer

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

Must-watch documentary "Indus Blues" about the dying musical traditions and instruments of Indus Valley (now Pakistan):

I started creating a wiki for repair-friendly hardware products for Indian consumers: nilesh.gitbook.io/openhardware... #RightToRepair #India #hardware #OpenSource

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

Are there any programming systems or frameworks that automatically log all non-determinism/(co)effects so that the program is fully replayable in a debugger?

Finally, year of #Linux on the desktop!! 🙂 #nvidia #ai #technology

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?

Nifty DNS + Firewall app (free and #opensource) to block malware, spyware, ads, and trackers across all apps on Android:

A lot happened in the database industry in 2024. This annual post by Andy Pavlo is a fantastic summary. A must read for CTOs. https://www.cs.cmu.edu/~pavlo/blog/2025/01/2024-databases-retrospective.html #technology #programming #databases

Here's the Youtube playlist of video submissions for Summer of Math Exposition 2024: https://buff.ly/40edU77 Hours of #math learning sorted.

Trying out OpenVibe - a unified feed client for #Mastodon and #Bluesky: openvibe.social #Fediverse #Interoperability

Google seems to be catching up fast to OpenAI and Anthropic with their Gemini 2.0 update. The new product experiences as well as the realtime multimodal API are incredible!