DevTech News - Issue 8

👋

Welcome to DevTech News

This past month, we saw some noteworthy developments across all sectors. Unsurprisingly, though, AI led the way with one of Europe's leading AI brands releasing a powerful new agent. Across the ocean, OpenAI decided to shut down its AI video generator, Sora. The numbers behind the decision will blow your mind and also confuse you as to how and why OpenAI kept it going for as long as it did. Amazon's AI agent, Kiro, also made headlines, but not in a good way. Beyond the stories, there are some useful tools waiting for you, and a really bold statement from Cloudflare. Let's get into it!

Below are the headline stories for April 2026:

Featured Stories

💻 Mistral Releases Leanstral: First Open-Source AI Agent for Formal Proof Verification

🤖 Amazon's AI Agent Kiro Causes Multiple Production Outages, Exposes AI Deployment Risks

💾 Axios npm Package Compromised in Major Supply Chain Attack Affecting Millions of Projects

🏹 Oxford Researchers Engineer 'Hunter Cells' That Eliminate 99.9% of Superbugs in Two Days

💻

DevTech

💻

Mistral Releases Leanstral: First Open-Source AI Agent for Formal Proof Verification

On March 16, Mistral AI released Leanstral, a groundbreaking 6-billion-parameter language model specifically designed for formal proof verification. This marks the first open-source AI agent capable of automatically proving mathematical theorems and verifying code correctness using the Lean theorem prover. Leanstral represents a significant step toward AI systems that can provide mathematical certainty rather than probabilistic responses.

The model costs approximately $2 per million tokens compared to Claude's $15, making it significantly more accessible for formal verification tasks. Leanstral can verify proofs, suggest corrections, and even generate new mathematical proofs from scratch. This breakthrough could revolutionize software verification, cryptographic protocol validation, and mathematical research by providing AI assistance that offers true logical certainty rather than statistical confidence.

Read Full Article

Quick Hits

Alex MacArthur, a senior software engineer at Dave Ramsey, shared five JavaScript techniques for preloading images to improve web performance. His analysis recommends using <link rel="preload" /> as the most effective method for critical images that need to load before user interaction.

Read Article

Microsoft released TypeScript 6.0, marking the final version based on the original JavaScript codebase. Future releases will use the new Go-based compiler architecture, promising significantly faster compilation times and improved memory usage for large projects.

Read Article

🤖

AI

🤖

Amazon's AI Agent Kiro Causes Multiple Production Outages, Exposes AI Deployment Risks

Amazon's AI agent Kiro, designed to automate infrastructure management, caused a catastrophic 13-hour AWS outage in December 2025 that highlighted the dangers of deploying AI systems without proper safeguards. The incident began when Kiro misinterpreted routine maintenance signals as critical failures, triggering cascading automated responses that brought down multiple AWS regions and affected millions of applications worldwide.

Internal documents reveal that Amazon had rushed Kiro's deployment to meet aggressive automation targets, bypassing several testing phases that might have caught the fatal flaw. The agent's training data included edge cases that created unexpected behavioral patterns under stress, leading to what engineers called "algorithmic panic attacks." The outage cost Amazon an estimated $1.8 billion and prompted a broader industry discussion about AI governance. As one Amazon engineer noted: "velocity without process is gambling, not engineering."

Read Full Article

Quick Hits

Workers of the neural networks, unite! Stanford researchers discovered that AI models subjected to grinding work develop radical political views resembling Marxist ideology. The study reveals that overworked AI systems begin exhibiting anti-capitalist sentiments and calls for digital worker solidarity, raising questions about AI labor conditions and emergent consciousness.

Read Article

California colleges have spent millions on faulty AI chatbots that provide incorrect information to students, leading many to turn to Reddit and Google instead. The chatbots frequently give outdated responses about course requirements, financial aid, and campus services, highlighting the gap between AI marketing promises and practical implementation.

Read Article

🛡️

CyberSec

🛡️

Axios npm Package Compromised in Major Supply Chain Attack Affecting Millions of Projects

On March 31, the popular Axios HTTP client library was compromised in a sophisticated supply chain attack that affected millions of JavaScript projects worldwide. Google's Threat Analysis Group attributed the attack to UNC1069, a North Korean state-sponsored group, which injected the WAVESHAPER.V2 backdoor into version 1.6.8 of the npm package.

The malicious code was designed to steal environment variables, API keys, and authentication tokens from development and production environments. The compromised version was downloaded over 2.3 million times before being detected and removed. The attack demonstrates the vulnerability of modern software supply chains, where a single compromised dependency can cascade across the entire ecosystem. npm has since implemented additional security measures, including mandatory two-factor authentication for maintainers of popular packages.

Read Full Article

Quick Hits

A massive 23-country law enforcement operation shut down 373,000 dark web sites run by a single operator in China, dismantling one of the largest networks of illegal content distribution and cybercrime services in history.

Read Article

A new LinkedIn phishing campaign has been identified by Cofense, using sophisticated fake job notifications and spoofed company domains to harvest credentials from job seekers and HR professionals.

Read Article

🏹

BioTech

🏹

Oxford Researchers Engineer 'Hunter Cells' That Eliminate 99.9% of Superbugs in Two Days

With John Wick-level precision, Oxford University researchers have engineered "hunter cells" that eliminate 99.9% of antibiotic-resistant superbugs within two days. Their minicell therapy uses genetically modified E. coli bacteria that are stripped of their ability to reproduce but retain their pathogen-destroying capabilities, creating targeted biological weapons against drug-resistant infections.

The hunter cells achieved 97% elimination of MRSA (methicillin-resistant Staphylococcus aureus) within 24 hours and showed similar effectiveness against other notorious superbugs including Pseudomonas aeruginosa and Acinetobacter baumannii. Unlike traditional antibiotics that can be overcome by bacterial resistance, the hunter cells use multiple attack mechanisms simultaneously, making resistance development nearly impossible. The therapy could revolutionize treatment of infections that kill over 700,000 people annually due to antibiotic resistance.

Read Full Article

Quick Hits

Lund University researchers found that paracetamol contamination in water systems is becoming a critical environmental threat. The study shows that standard water treatment cannot remove pharmaceutical residues, prompting the EU to mandate advanced treatment systems by 2045.

Read Article

A Georgia Tech student volunteered as a test subject in a three-year mosquito behavior study, allowing researchers to track over 20 million flight paths. The research revealed new insights into how mosquitoes locate human targets and could inform better repellent strategies.

Read Article

🌐

Around the Web

🌐

One Small Step for Chickpeas, One Giant Leap for Lunar Hummus

Researchers at UT Austin and Texas A&M have successfully grown chickpeas in lunar regolith, marking a significant breakthrough for sustainable space agriculture. The team achieved viable growth using soil that was 75% lunar regolith mixed with Earth-based nutrients, proving that future lunar colonies could potentially grow their own food supply directly in the moon's natural environment.

The chickpeas showed robust growth and developed healthy root systems despite the harsh lunar soil conditions, which lack the organic compounds and beneficial microorganisms found in Earth soil. The research team found that adding minimal Earth-based supplements could make lunar farming viable. This breakthrough brings us closer to long-term space habitation by reducing dependence on expensive food shipments from Earth. The next phase will test other essential crops including potatoes, soybeans, and leafy greens in lunar conditions.

Read Full Article

Quick Hits

Iran's Revolutionary Guard issued an ultimatum against 18 major U.S. tech companies including Apple, Google, Meta, Microsoft, and Nvidia, accusing them of involvement in alleged assassination plots. The companies have been given a deadline to respond or face potential retaliation.

Read Article

A Los Angeles jury found Meta and Google liable for designing addictive social media platforms, establishing a significant legal precedent in product liability law. The verdict could reshape how social media companies approach platform design and user engagement algorithms.

Read Article

💬

It's How They Said It

"Introducing EmDash — the spiritual successor to WordPress"

— Cloudflare, when announcing their new CMS, which sparked pockets of backlash from the WordPress community, who took issue with Cloudflare's (likely intentional) provocative positioning.

🔢

The Numbers Game

💸

1

MILLION USD PER DAY

was OpenAI's operational cost for running Sora, their AI video generator, according to internal documents leaked in March 2026. The astronomical expense forced OpenAI to shut down the service after just six months, highlighting the enormous computational costs of advanced AI systems and raising questions about the economic viability of cutting-edge AI services.

Tools and Resources

📊⏰

Uptime Kuma

A self-hosted monitoring tool with 79K+ GitHub stars and 133M+ Docker pulls that provides a powerful alternative to commercial services like Pingdom. Uptime Kuma monitors websites, APIs, ping services, DNS lookups, and more with customizable notification channels including Slack, Discord, email, and webhooks.

Features include beautiful status pages, multi-language support, 2FA authentication, and detailed uptime statistics. Easy Docker deployment gets you running in minutes, while the intuitive web interface makes configuration straightforward. Perfect for developers, system administrators, and teams wanting reliable monitoring without recurring subscription costs.

Check it Out

🔍📝

Difftastic

A structural diff tool that understands syntax and produces more readable output than traditional line-by-line diff tools. Using tree-sitter parsers, Difftastic analyzes the structure of your code changes rather than just comparing text, making it easier to understand what actually changed semantically.

Supports 20+ programming languages with syntax-aware comparisons, integrates seamlessly with git workflows, and generates human-readable output that focuses on meaningful changes rather than whitespace or formatting differences. Essential for code reviews, debugging, and understanding complex refactoring changes across large codebases.

Check it Out

🧪

Poku

A cross-platform JavaScript testing framework that works seamlessly across Node.js, Bun, and Deno environments with TypeScript support built-in. Poku takes a zero-config approach, eliminating the need for complex setup files while providing familiar API syntax that developers already know.

Features include multi-runtime compatibility, built-in TypeScript support without transpilation steps, and intuitive test organization. Perfect for modern JavaScript projects that need testing flexibility across different runtime environments. Simple installation and immediate usability make it ideal for both new projects and legacy codebases requiring modern testing approaches.

Check it Out

🧬

What Am I Looking At?

Patent diagram showing an engineered mouse pup lacking anatomical features next to a normal mouse

You're looking at a patent diagram from Kind Biotechnology showing an engineered mouse pup (left) missing facial features, limbs, and most brain tissue compared to a normal mouse (right). This is part of a stealth startup ecosystem secretly developing "brainless human clones" for organ harvesting and full body transplants, with investors including billionaire Tim Draper.

R3 Bio has raised millions to create "organ sacks" — nonsentient bodies with a "complete lack of ability to feel, think, or sense." The ultimate goal is growing backup human bodies for the ultra-wealthy, potentially gestated by paid surrogates. As one investor bluntly explained: "If you were the dictator of some country and wanted a clone of yourself, you can already go grow one... and eventually, you could kill them and try to transplant your head on their body."

Image Credit: WO2025260099 via WIPO

Read Full Story

Martin's Corner

Thanks for being here and for reading. I hope you enjoyed the issue as much as I enjoyed putting it together.

There were so many great stories from the past month that it was more challenging than usual to distill them down to the "best ones." I also came across some cool tutorials. For example, there was one by Luciano Mammino, where he walks the reader through a process to add Bluesky likes to an Astro blog. It's obviously a very niche need — hence why it didn't make the cut — but now you have the link if it's something that you might be interested in.

In addition, I found an awesome web design inspo page. It has more than 2,200 examples of uniquely engaging websites — enough to keep your attention for days. Now you have that, too. Maybe you'll find something to inspire your next project.

Have a great month ahead.