Pramod Lakshmanan retweetledi
People and agents would be better at writing code if you could easily check what value a variable usually has in production:
English
Pramod Lakshmanan
1.2K posts
Pramod Lakshmanan retweetledi
if it's obvious to everyone that verification is the bottleneck to AI accelerated software engineering,
why are so few people learning math? not linear algebra or analysis, but stuff directly related to verification, like proof, type, category, lattice theories?
Leonardo de Moura@Leonard41111588
AI is writing a growing share of the world's software. No one is formally verifying any of it. New essay: "When AI Writes the World's Software, Who Verifies It?" leodemoura.github.io/blog/2026/02/2…
English
Pramod Lakshmanan retweetledi
Years before the IPL, there was the PHL, the Premier Hockey League. The first Indian sports league on ESPN Star Sports, with city based teams, international stars, cool uniforms & many innovations, including rolling subs and four quarters of action, years before international hockey got there.
It was an idea ahead of its time, and might have worked if there had been private owners instead of the hockey federation owning all the teams!
Just found one of my last pieces of merch from that tournament - a Maratha Warriors tracktop. Dhanraj and @virenrasquinha played for this team and they played some brilliant attacking hockey!
English
Pramod Lakshmanan retweetledi
Is it just me or does this sound absolutely miserable to anyone else? Why would I want to spend my time writing requirements and reviewing code instead of directly building things? Building stuff is the fun part! How about we replace the boring parts like meetings and emails and status updates and issue triage. Engineers should be making tools to make *our* jobs better, not helping the idea guys replace us with slop.
Michael Truell@mntruell
English
Pramod Lakshmanan retweetledi
The most millennial thing about me is that NO I do not want to open this link in an app, no I do not want to download an app to view this, please just let me open this in a tab in the browser. I don’t want another app, I just want to see the three pictures or whatever in the app I am already in. Do you know what is also an app? The browser. That’s an app. Stop pretending I can’t see this stupid article unless I download another thing that wants to track me and I have to come up with another cutesy username and save another password in my password manager that’s already been hacked btw and I have to configure fucking notificationnnnssss and I have to figure out why it’s still pinging me anyway and I have to block everybody I know in a new place and god no I do not want you to look at my contacts and tell me if Jerry who I worked with ten years ago also uses FlimFlam and no I do not want another app that has a nearly indistinguishable icon from the app I actually do want to use fairly often and no I don’t give you permission and no I don’t want to tell you my gender and no I don’t want to figure out another interface and hate it for new reasons I had never even imagined before and no I don’t want to get my hopes up about a better way to see pictures or read articles or listen to music because we allllllll know by now that it will just be short form video all over my fucking unconfigurable feed by the end of the fucking day. I just want to open the link in a tab!!!
English
Pramod Lakshmanan retweetledi
The Indiehacking Retreat has become a thing for us and the community to look forward to. Packed with learning, laughter, lifelong connections, and pure inspiration.
🌟 Announcing Indiehacking Retreat 2026
We are back with the third edition. With a special focus on how indie hackers are leveraging AI to build profitable online businesses.
📆 18th April - 25th April 2026
📍 @at_altspace, Dharamshala
🎟️ Limited to 20 seats
Ayush Soni@ayysoni
I have nothing to sell you but share a story as a 20 year old founder. Let’s talk about what happens when you meet your internet friends in real-life 🧵
English
Pramod Lakshmanan retweetledi
What makes soccer unique is that it’s played primarily with your feet. That requires developing neural pathways between brain and feet that most people never train.
I grew up in America and never formally played football, basketball, or baseball, yet I can still throw, catch, or swing a bat at a basic level. Those movements are intuitive because we use our hands every day.
Put a soccer ball at the feet of an adult who’s never played and ask them to control it or dribble, it’s a completely different story. The coordination gap is obvious. That brain-to-feet connection is learned, and that’s part of what makes the sport unique.
Ed Feng@thepowerrank
@CoachedBetter @KeleaQuinn @JoelCressman There is nothing unique about soccer, but that's not something that can be proven. At least I don't know how.
English
Pramod Lakshmanan retweetledi
I find myself wanting a way to share and collaborate on markdown documents.
@github isn't quite right - committing is too heavy, no simultaneous editing, web UI for review and editing isn't easy enough.
@NotionHQ isn't quite right - hard to write locally (e.g. claude to edit) and sync easily, editing experience is more annoying than pure markdown.
What I want is hosted markdown collaboration that easily let's me edit a file locally, and commits to github with an AI generated commit message regularly.
Anyone know of such a tool?
English
Pramod Lakshmanan retweetledi
I'm thrilled to announce I just released Command Book App: A native macOS app for developers, data scientists, AI enthusiasts and more.
Manages commands like "Run the dev web server with true auto-reload", and more.
commandbookapp.com
English
Pramod Lakshmanan retweetledi
👩💻 @mathesar_org is an open-source tool that provides a Svelte-based, spreadsheet-like interface for your databases! - madewithsvelte.com/mathesar
English
I'm quite new to Machine Learning. From what I understand so far, the term "zero-shot learning" should really be called "Internet-shot learning".
English
@MLSophist I've been following these set of instructions by @feross since 2013 - feross.org/how-to-setup-y…
English
The fact that we have a popular book simply titled "AI Engineering" in 2025 makes me wonder if there was a single "Web Development" book in the mid 90s.
Karina@karinanguyen
Highly recommend this book by @chipro esp. for product designers / software engineers who want to learn about model training and inference!
English
Pramod Lakshmanan retweetledi
As the year comes to a close, I wrote a retrospective on what it's been like to be a developer over the years.
artmann.co/articles/30-ye…
English
Pramod Lakshmanan retweetledi
We're back with Feature Fridays to celebrate the 6.0 release.
Starting with... background tasks!
Django 6.0 includes a new Tasks framework for running code outside the request-response cycle. Neat for things like sending email or processing data...
#Django #DjangoFeatureFriday
English
Pramod Lakshmanan retweetledi
INTRODUCING FIZZY
Have you noticed that every issue and idea tracking tool you loved slowly morphed into boring, sluggish, corporate bloatware?
Trello put on 40 pounds of cruft. Jira started charging by the migraine. Asana tried to become everything to everyone. GitHub Issues slipped into a steady state of decline. The whole category is a 20 car pileup of complexity.
Time to route around that mess.
Today we’re introducing Fizzy. Kanban as it should be, not as it has been.
Fizzy is a fresh take on cards and columns, with a few twists, human-nature inspired defaults, and a vibrant interface that’s the opposite of the bland and boring software the industry has been flinging at you for years.
Kanban has been around since the 1940s, and Trello brought it into the mainstream in 2011. Since then, some version of column-based kanban-style organization has found its way into any collaboration tool worth its salt.
But most have over salted the dish.
What was simple is now complicated. What was clear is now cluttered. What just worked now takes work.
Fizzy presses reset, reconsiders what really matters, and presents a refreshing way to kanban that just feels right. It’s friendly, colorful, straightforward, and fast as hell.
We still use Basecamp for our big, intensive projects, but lately we’ve been reaching for Fizzy to run the smaller ones. It’s perfect for tracking bugs, issues, and ideas, and it shines for lighter, self-contained workflows like podcasts or video production.
We didn’t expect it, but Fizzy’s so good it might even cannibalize Basecamp on the lighter side of project management. We’d be thrilled.
How much is it? It’s not much for so much.
Everyone gets 1000 cards for free. Beyond that, we’ll host your account for just $20/month for unlimited cards and unlimited users. One price for all and everything. No tiers, no “contact us.” No pricing chart at all — just a price tag, like on a pair of jeans.
And here’s a surprise... Fizzy is open source! If you’d prefer not to pay us, or you want to customize Fizzy for your own use, you can run it yourself for free forever. Have a great idea? Submit a PR to contribute to the code base and improve the product for everyone. It’s the best of all worlds. No excuses.
Every idea comes back around. It’s time for take two on kanban. Fizzy’s our hat in the ring.
Let’s make this platform insanely great, together. Come on in!
Visit fizzy.do
English
Pramod Lakshmanan retweetledi
Pramod Lakshmanan retweetledi
Pramod Lakshmanan retweetledi
What many ppl don’t get:
Once you miss a concept in math—maybe you don’t quite get how functions work—you’re *screwed*, unless you do a hardcore catchup boot camp, in which case you’ll be fine.
But schools don’t do this— they keep advancing. Only parents offer this service.
brian@bdguan
all my life i've been told that i'm naturally gifted at math because i'm chinese. straight A student. math major at ucla. but here's what people don't know: when i was in 8th grade, i got a B+ in geometry. my dad said "that's unacceptable", bought a geometry textbook, and proceeded to assign me daily problems for 6 months. then i got good at geometry. i wasn't born gifted at math(ok maybe a little), i just grew up in an environment where being good at math was a requirement. this book is filled with extra math problems my dad assigned me. and i hated him for it. it took me 10+ years to realize how thankful i am that he pushed me like that. how that was simply his love language.
English
I used an em dash when replying to an AI chatbot. Now the AI is left wondering if I'm a human or not.
English