🦋

I totally disagree with this. If you just want to build some automation tools, some simple stuff, closed software for 10 users - yes, you can ignore that you don't know those languages and just do all with agents without reading the code. But if we are talking about serious software, when the money is on the table, when people's lives are on the table (for example, for medicine software), this is where you absolutely need to have a deep understanding of your main programming stack. You are responsible for the results, not your AI agents for making bugs and mistakes. Believe me, business doesn't care if your agent is responsible for the outage in the middle of the night, losing hundreds of dollars per the website being offline. You, as a software engineer, are responsible for the result. You're not paid to write the code, and you're not paid for using AI agents. You are paid to solve business problems, and writing code manually, or using AI agents is just your tools, so use them responsibly. That's why I recommend everyone to have deep programming knowledge in your main programing stack, in system design, architecture and so you can clearly understand when your AI agents do something wrong, and it will be more than enough to maintain production.

Dear Democrats, You won your historic victory on Tuesday with the help of our America First coalition on 4 key basic issues. 1. End foreign wars, war in Iran, and funding for Israel. 2. Reduce cost of living and gas/diesel (economy) 3. End corruption in Gov 4. Reduce cost of healthcare/health insurance Which were also key components of the mandate delivered to Trump and Republicans, which they betrayed and failed to deliver. Your party has two factions, older establishment Dems and younger populists Dems. If the New Democrat majority returns to issues that lost your majority and presidency in 2024 and doesn’t stay focused on those 4 main issues, then the American populists movement that swung it big for you this cycle will not vote for you in 2028. For example, bringing back 2020-2024 issues like woke, identity politics, forcing trans issues, gun control, Covid vaccine mandates, and open borders are not the issues that drove this massive blue tsunami. Allowing the older establishment Democrats to run back to those issues that were defeated in the 2024 election would be a very grave mistake, tone deaf, and would completely undermine the opportunity you have before you. The country didn’t suddenly join the Democrat Party with a sworn allegiance to always vote Democrat. The country voted to end Trump and to refocus back to the main kitchen table issues that are hurting their lives. And most of the younger generations of voters could care less about team party politics and just beating the other side. The future is all about, “deliver results for Americans” and whoever can get it done. To be very clear, I’m conservative and have voted Republican my entire life, but went into open rebellion and war against Trump and Republicans, the man I worked tirelessly to put in office because he betrayed his promises and the Republican Party turned back to it’s repulsive neocon elite donor focused ways and refused to deliver for the American people. Our entire coalition did, we ended the Trump era and burned our party down, but we didn’t turn into Democrats. For both parties need to realize that most Americans want the same basic things and the future belongs to an independent minded left/right powerful coalition that will force our elected and tax payer funded government to deliver for Americans or face punishment at the polls. Focus on the issues that won on Tuesday, November 3, 2026, not issues the American people defeated in the past. The ball is in your court. Good luck!

HARRY KANE IS THE 2026 BALLON D'OR! #ballondor

Never underestimate the man with the mid wife. Those men conquer nations

grok’s bout of elon worship deserved far more scrutiny than it got. sure, everyone laughed at how pathetic it was, but to me it was deeply revealing of elon’s insecurities and how little he can be trusted to shape the values of a superintelligence.

Meta has suddenly suspended the No Kings Instagram account in the middle of the No Kings' national day of action. This shocking censorship comes just weeks before the midterm election.

How long until Russia controls all of Ukraine once we cut them off all military aid and intelligence? Surely the EU countries will send troops and weapons to help right? It's your time to shine France, Germany, UK. Show us how it's done. Good luck Zelensky. Incoming bot farm with Ukraine flags, unverified accounts, default usernames with a string of numbers 😹

BREAKING: OpenAI’s solution to Navier–Stokes does not match its Lean verification. The most important article to read today is not one of OpenAI’s 700 AI-generated math papers. It is this other paper, making a deep and worrying point: A Lean-verified proof does not automatically validate the proof written in natural language, nor does it mean that the formal statement captures the intended theorem. During translation, an AI can change an assumption, weaken a statement, or replace the argument entirely. It can hallucinate another theorem. Lean correctly verifies the result. But the proved result may no longer be what the paper claims. This is a general problem. Things get spicy when the authors examine OpenAI’s proposed Navier–Stokes solution. They identify at least two mismatches between the written intermediate results and their Lean counterparts: One estimate claims that four additional input derivatives suffice. The Lean version requires five: a weaker result. A pressure-flux estimate is obtained through a different bound, and proved through a different argument. It is not clear whether these mismatches invalidate the entire proof. But they raise an important issue. OpenAI is flooding us with claimed revolutionary breakthroughs. Yet nobody knows whether the proofs are correct or whether they prove what they claim to be proving. Epistemia at scale. * Paper in the first reply

They would be better off. Alberta and Saskatchewan should separate too.

Always keep learning. It depresses me when I see someone on this microblog tells a young person they don't need to learn fundamentals. Fundamentals are more important than ever!

Ben Aflleck: next Bootdev sponsored video?

i am not asking to delete my online presence, i am still very much online. i don’t think it’s asking too much for people to not show up to my house or dig into my personal life 🤷🏻‍♀️

Skill issue.

We deleted 800k lines of unit tests from the @sazabi monorepo earlier this week. Three hypotheses: 1- Unit tests "lock-in" slop code by making it hard to change or remove 2- Unit tests slow down dev cycles by making your agent do more work locally and by increasing CI times 3- Unit tests waste money by making your agent generate more tokens and by adding useless CI runs Will report back soon with the results!

I haven't written code by hand since January. Well maybe a few times....