"Lisanne Bainbridge told us in 1983 why asking humans to sustain vigilance over an automated process is a losing game: we’re bad at monitoring, and the skills we aren’t practising atrophy while we watch" annievella.com/posts/verifi...

"software development might no longer be about code, but about requirements. Critical properties would be specified formally; everything else could be expressed through prompts and validated through [...] testing. We might never see the generated code" georgwiese.github.io/posts/formal...

"over time, with AI, developer experience and productivity appear to stop moving together." annievella.com/posts/the-pr...

"Not enough skilled practitioners in the discipline/techniques of formal verification and deterministic system testing exist." ghuntley.com/slop/#:~:tex....

engineer away the slop

🎉It's been a busy six months, that's for sure. I'm not going to bury the lede here; the short TLDR is I'm joining the folks over at https://antithesis.com/. If I wind back time to November 2024, it w...

ghuntley.com

"Machines can fly planes, yet every plane has a human pilot. Judgment is absolutely necessary in software engineering, because we don’t have all the information, and we produce software for humans." marmelab.com/blog/2026/03....

Software Developers Will Never Die

AI agents can now rewrite an app in hours. But software value lies in judgment, trust, and specification — not code. Here's why the craft of software engineering is evolving, not dying.

marmelab.com

"But when you share your plan, you are met with dead silence, or worse, a barrage of hostile questions and concerns. The meeting derails, a decision gets deferred, and the brilliant idea you spent weeks on is dead on arrival. 💀 You feel deflated." hodgkins.io/blog/quiet-i....

Quiet Influence: A Guide to Nemawashi in Engineering - Matthew Hodgkins

Why "big-reveal" architecture pitches stall—and how Staff+ engineers can apply the Japanese practice of Nemawashi to quietly build consensus and ship transformational change.

hodgkins.io

"The industry, in tech workers’ own words, is “chaotic.” Asked to describe the state of tech in a sentence, the most common theme by far was chaos, though the sentiment was split almost evenly between excitement and dread." www.lennysnewsletter.com/p/how-tech-w....

How tech workers are feeling in 2026: a workforce splitting in two

Results from our second annual tech worker sentiment survey

lennysnewsletter.com

"[Sam Altman] told CNBC, “Our industry underestimated how much we’re going to be able to keep people at the center of everything.”" www.wsj.com/tech/ai/ai-w...

Big Tech Has Suddenly Flipped on the AI Jobs Wipeout Scenario

As public opinion of AI has shifted into the negative, warnings of mass employment reductions have also diminished.

wsj.com

"We tried to use our application-level logs to identify all occurrences of the problem, but [...] the logged stack traces are themselves corrupted or missing. [...] that process was too labor-intensive to give us a trustworthy data set." 🕵️‍♀️ openai.com/index/core-d...

Core dump epidemiology: fixing an 18-year-old bug

OpenAI engineers used large-scale core dump analysis to debug rare infrastructure crashes, uncovering both a hardware fault and a long-standing software bug.

openai.com

Bonjour, les hôpitaux sont submergés, les morts se multiplient : la canicule tue. C’est le moment d’exiger une loi d’urgence pour empêcher l’hécatombe climatique. Signe cette pétition et partage-la massivement autour de toi : petitions.bloomassociation.org/fr/loi-urgen.... Merci !

Exigeons une loi d’urgence pour empêcher l’hécatombe climatique

Combien de morts encore avant que le gouvernement n’adopte une loi d’urgence nous protégeant de l'hécatombe climatique? Signez cette pétition cruciale

petitions.bloomassociation.org

Oops, j'ai oublié de vous dire, mais depuis le mois dernier, 2 épisodes du SAV de la Tech sont sortis ! - Convaincre mes devs de compléter la documentation (lesav.tech/2026/05/22/3...)

Convaincre mes devs de compléter la documentation

Your browser does not support the audio element. Cette semaine, le SAV de la Tech répond à la question de Philippe: "comment convaincre mes devs à compléter la documentation de notre produit au fur et...

lesav.tech

Peut être un premier signe que les géants de l'IA vont arrêter de nous vendre du token a perte ! Attention aux entreprises et produits dont l'existence et la rentabilité dépendent des offres actuelles (artificiellement abordables) de OpenAI, Anthropic et consorts. www.wsj.com/tech/ai/open...

Exclusive | OpenAI Considers Drastic Price Cuts, Anticipating War for Users With Anthropic

The company might lower prices for tokens, the central unit for gauging AI costs, though the discussions are still in flux.

wsj.com

"using agents to write code has led to little impact on overall productivity. The real bottlenecks are deciding and specifying what to build, verifying and being accountable for what is delivered, and the deep human understanding required to carry out both." www.normaltech.ai/p/why-ai-has...

Why AI hasn’t replaced software engineers, and won’t

Coding agents as normal technology

normaltech.ai

"Here’s what I still don’t use AI for: - Writing any kind of public communication for me (PR descriptions, ADRs, messages) with the exception of trivial two-line PRs - Writing code that I don’t carefully review - Testing any kind of UI" www.seangoedecke.com/how-i-use-ll...

How I use LLMs as a staff engineer in 2026

seangoedecke.com

antfly.io/blog/agent-f...

" You might reach out to someone whose work you admire. [...] You offer a perspective, artifact, teardown, prototype, memo, analysis, introduction, or idea that makes it easier for someone to imagine working with you. " velvetnoise.substack.com/p/how-to-ent....

how to enter side doors

a field guide to jobs, cold emails, and making yourself legible to the right people

velvetnoise.substack.com

"Depending on which loop you spend your time on, your problem is framed differently (which is why I think developers get split in their opinions on AI; some work more on one loop than the other)" A. Stability of service => reduce complexity B. Ship fast => reduce uncertainty nair.sh/guides-and-o...

Why senior developers fail to communicate their expertise

Why senior developers talk in terms of complexity while the rest of the business is worried about uncertainty. And what to do about it now that AI is in the picture.

nair.sh

"When someone speaks of a place, you have to ask, “When?” Geography is four-dimensional. You can’t know a place - only a place as it was at a time. Where is bound to when. Unless you are in a place right now, you can only speak of it in past-tense." sive.rs/4d#:~:text=W....

"Our [customer xp] associates are now generating PRs for front-end test coverage across browsers and mobile clients. These are people who know the product deeply from a customer perspective, and they’re using AI to translate that knowledge into actual test code" newsletter.getdx.com/p/designing-...

Designing the AI-native engineering organization

How 1Password, Atlassian, and Microsoft are responding to AI’s impact on software development and team structure.

newsletter.getdx.com

Après des mois d'absence, le SAV de la Tech est de retour ... avec un épisode enregistré l'été dernier ! 😎 Faites tourner ! lesav.tech/2026/05/05/3...

Trouver un job quand on est un dinosaure

Your browser does not support the audio element. Cette semaine, le SAV de la Tech répond à la question de Gilbert: "J'ai 13 ans de carrière, j'ai suivi beaucoup d'entreprises, parfois malheureuses. J'...

lesav.tech

Tl;dr: having web APIs to prompt SLMs (mini LLMs) that run on one's own hardware is awesome, but it comes with many drawbacks and risks. daverupert.com/2026/05/smal...

« - robots.txt - prevents silent agent lockout - llms.txt - immediate discoverability gains - Measure and surface token counts - skill.md for your top 3 APIs - “Copy for AI” buttons - Set up AI traffic monitoring - gives you the data to justify everything else » addyosmani.com/blog/agentic...

Agentic Engine Optimization (AEO)

AI coding agents consume documentation fundamentally differently from humans. If you're still optimizing only for human readers, you're leaving a growing sha...

addyosmani.com

I wrote about why I quit my job, and how weird and tiring tech feels these days.

Do I belong in tech anymore?

On quitting, the spread of AI, and the loss of an ideal.

ky.fyi

I’ve posted it before, but it feels evergreen The two hardest problems in Computer Science are 1. Human communication 2. Getting people in tech to believe that human communication is important

Jake Anbinder@jakeanbinder.bsky.social · 4mo ago

I think we need an inverse thread where we talk about things that normal intelligent people universally agree upon that are for some reason hot takes within your profession

« AI had hooked its tendrils into every corner of my work life. Even if I, personally, abstained from most AI usage, I was steeped in an environment which made it impossible to avoid. Pushing back felt futile. » ky.fyi/posts/ai-bur...

Do I belong in tech anymore?

On quitting, the spread of AI, and the loss of an ideal.

ky.fyi

« When we first launched our MCP at Ramp, observability was our largest problem. [...] we couldn't see the surrounding chat context that produced those calls. [...] what people were actually trying to accomplish. We've addressed this in a few ways » x.com/teddy_riker/...

« when I pick up a new codebase [...] Before I look at a single file, the commit history gives me a diagnostic picture of the project: who built it, where the problems cluster, whether the team is shipping with confidence or tiptoeing around land mines. » piechowski.io/post/git-com...

The Git Commands I Run Before Reading Any Code

Five git commands that tell you where a codebase hurts before you open a single file. Churn hotspots, bus factor, bug clusters, and crisis patterns.

piechowski.io

"Trying to pass off the AI's words or code as your own is at least distasteful, if not dangerous." => let's share the level of involvement of AI in our contributions ✊ www.visidata.org/blog/2026/ai/

Le questionnaire State of AI 2026 de cette année est ouvert ! survey.devographics.com/survey/state...

« It’s a weird experience to spend ten years becoming excellent at something only to watch a 22-year-old produce a suspiciously solid version of it in 14 minutes. [...] And you don’t really get to process that shift. There’s no mourning period. » www.elenaverna.com/p/confession...

Confessions of a Millennial in Tech

A lot of mixed feelings and unanswered questions.

elenaverna.com