iiinova — where your digital self keeps evolving

Rahul Ramteke

@io-streamer.bsky.social

33 followers 341 following 12 posts

Posts Replies Media

Rahul Ramteke @io-streamer.bsky.social · 06/09/2026

I have been trying to put in words what I felt about using AI and seeing others use AI, and then the mainstream image of AI being projected. Here are the words.

iostreamer.leaflet.pub

Artificial Excitement for Artificial Intelligence?

iPhone was the epitome of exciting tech, Astra isn't, and I think we all know why.

000

Rahul Ramteke @io-streamer.bsky.social · 31/08/2026

The naming arc of indian startups is in a very amusing stage!

000

Rahul Ramteke @io-streamer.bsky.social · 07/03/2026

000

Reposted by Rahul Ramteke

𝕮 @chrisshank.com · 21/02/2026

”The distinction between programmer and user is reinforced and maintained by a tech industry that benefits from a population rendered computationally passive. If we accept and adopt the role of less agency, we then make it harder for ourselves to come into more agency.”

gist.github.com

always-already-programming.md

GitHub Gist: instantly share code, notes, and snippets.

Rahul Ramteke @io-streamer.bsky.social · 14/02/2026

This is has been a problem for me for sometime. Feels nice to untangle the web and see a path forward.

iostreamer.leaflet.pub

Perils of building things to learn

Rahul Ramteke @io-streamer.bsky.social · 09/02/2026

iostreamer.leaflet.pub

Paying money for ricing my Fedora

000

Rahul Ramteke @io-streamer.bsky.social · 13/01/2026

I no longer yearn for a thinkpad

iostreamer.leaflet.pub

Daily driving Asahi Fedora Remix - iostreamer::blog

TLDR; It works exceptionally well

000

Rahul Ramteke @io-streamer.bsky.social · 04/01/2026

A post-American, enshittification-resistant internet (a speech at 39C3 in Hamburg on Dec 28, 2025)

YouTube video by corydoctorow

Reposted by Rahul Ramteke

Martin Kleppmann @martin.kleppmann.com · 13/12/2025

This blog post interjectedfuture.com/the-best-way... on using LLMs to learn how to do formal proofs is another nice angle on the topic

interjectedfuture.com

The Best Way to Learn Might Be Starting at the End: Writing a Proof in Lean

AI leveraged learning lets you start with the application at the end. Curiosity guides what you learn, fundamentals backfill when you need them.