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?
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!
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.
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!!!
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
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.
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?
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.
https://t.co/E08k57ZqKS
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.
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
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 https://t.co/EsRclBqc3q
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.