Rahul Ramteke

always-already-programming.md GitHub Gist: instantly share code, notes, and snippets.

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

ah! good decision to walk, can be hard sometimes tho but does beat taking a cab. I hope you enjoy the city and the food!

oh hey! i live near this place. how’s the traffic treating you?

Perils of building things to learn

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

Daily driving Asahi Fedora Remix - iostreamer::blog TLDR; It works exceptionally well

I no longer yearn for a thinkpad

Makes sense, but i am not sure if this what the author meant as “production”. Nuances matter.

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