Virtualisation on Apple Silicon Macs is different

Parallel Web Systems hits $2B valuation five months after its last big raise

Copy Fail – CVE-2026-31431

Ramp's Sheets AI Exfiltrates Financials

You’ve Got (Too Much) Mail: Behind the Scenes of the 3/25/26 Voice Outage

On March 25th, voice and video on Discord suffered major degradation beginning at 12:13 PDT, lasting a little over three hours. Learn how the issue originated, how it affected systems across Discord, how we recovered, and how we’re preventing the same problem from reoccurring.

At Protocol: Building the Social Internet

Rise of the Forward Deployed Engineer

Why Software Needs a Third Loop [audio]

Laws of UX

Giving agents the ability to pay

Link’s wallet for agents gives agents programmatic access to Link, including the ability to generate a one-time-use card or Shared Payment Token (SPT) backed by the cards and bank accounts already in your wallet. It’s built on Stripe’s new Issuing for agents.

Everything we announced at Sessions 2026

We’re making Stripe even more programmable; protecting and propelling your business with the strength of the Stripe network; and building economic infrastructure for AI.

Age verification vendor Persona left front end exposed, researchers say

Jimmy Angelakos: PostgresEDI April 2026 Meetup Recap & May Lightning Talks

Another great evening for the PostgresEDI community! 🐘 First off, a massive thank you to everyone who came out to our April meetup. The discussions were brilliant, and it's amazing to see new faces come to experience the friendly environment at our meetups. Hugo Tunius presenting at the April meetup. We had a fantastic technical dive this month, with Hugo Tunius taking the stage to talk about plid — a custom ULID-inspired ID type with prefix support that fits in 128 bits, which he bui...

AI Coding Firm Cognition in Funding Talks at $25B Value

FastCGI: 30 Years Old and Still the Better Protocol for Reverse Proxies

More Gemini features are coming to Google TV

Show HN: A new benchmark for testing LLMs for deterministic outputs

Shrdlu

quint-connect: A model-based testing framework for Quint + Rust

Bill Gurley, Jack Altman back startup Pursuit, which helps companies sell to government

Making AI chatbots friendly leads to mistakes and support of conspiracy theories

Contributor Poker and Zig's AI Ban

Linux 7.0 Broke PostgreSQL: The Preemption Regression Explained

I built ten custom subagents to tame a 500K-line Clojure codebase

The USB Situation

I write this from the latest MacBook Pro. I’ve been running this as my primary machine for almost a month. When I’m not grinding out the latest soon-to-be-released I-swear-I-am-on-schedule book in a coffee shop, I sit at my desk and plug the MacBook into a Studio Display. This braided black cable does it all: video,… more

Mistral Medium 3.5

Why AI companies want you to be afraid of them

Roku’s $3 streaming service, Howdy, reaches 1M subs, per recent report

The Open Social Web Needs Section 230 to Survive

KDE’s 30th anniversary

Coloring Code: How Compilers Use Graph Theory

Uber is in the hotel business now, thanks in part to AI

Consequences of passing too few register parameters to a C function

Zed is 1.0

DHS Plans to Buy More Predator-Style Drones

CBP is spending hundreds of millions of dollars on more high-powered surveillance drones, and other components of DHS may start their own fleet of MQ-9 drones as well.

Improving ICU handovers by learning from Scuderia Ferrari F1 team

Tangled – We need a federation of forges

Apple loses bid to pause App Store fee changes as case heads to Supreme Court

Earth AI is vertically integrating the search for critical minerals

Declarative git repo sync/migration tool and self hosted code search engine

Secure signatures without a private key

GitHub – DOS 1.0: Transcription of Tim Paterson's DOS Printouts

Letting AI play my game – building an agentic test harness to help play-testing

Fragments: April 29

Chris Parsons has updated his guide on using AI to code. This is his third update, what I like about it is that he gives a lot of concrete information about how he uses AI, with sufficient detail that we can learn from him. His advice also resonates with the better advice I’ve seen out there, so the article makes a good overview of the state of using AI for software development. I wrote the previous version of this post in March 2025, updated it once in August, and it has been linked fr...

Notepad++ Code Editor Comes to Mac After 20-Year Wait

Show HN: Adblock-rust Manager – Firefox extension to enable the Brave ad blocker

He asked AI to count carbs 27000 times. It couldn't give the same answer twice

HashiCorp co-founder says GitHub 'no longer a place for serious work'

Pipelight

The Download: storing nuclear waste and orchestrating agents

This is today’s edition of The Download, our weekday newsletter that provides a daily dose of what’s going on in the world of technology. It’s time to make a plan for nuclear waste Today, nuclear energy enjoys rare support across the political spectrum. Public approval has spiked, and Big Tech is throwing money around to…

Podcast: How This Trippy Image Started A Massive Conspiracy Theory

A magic eye that isn't, an AI learning tool that sucks, and more in this week's podcast.

Jack Dorsey-backed Vine reboot Divine launches to the public

Google Translate now lets you practice pronunciation

Meet Shapes, the app bringing humans and AI into the same group chats

BMW i Ventures has a new $300M fund and AI is riding shotgun

Firestorm Labs raises $82M to take drone factories into the field

Apple introduces a cheaper option for App Store subscriptions

Amazon rolls out AI hiring software to automate job interviews

Software Heritage

RIPE NCC RPKI exploit chain

Anthropic's Champion Kit for engineers pushing Claude Code at their company

Why Law Is Law-Shaped

Show HN: Rip.so – a graveyard for dead internet things

Coby Adcock’s Scout AI raises $100 million to train its models for war. We visited its bootcamp.

Soft launch of open-source code platform for government

Stable specialization in Rust

Meta found in breach of EU law for failing to keep children off platforms

Low-Compilation-Cost Register Allocation in LLVM-Based Binary Translation

Show HN: Rocky – Rust SQL engine with branches, replay, column lineage

HardenedBSD Is Now Officially on Radicle

Razorpay Oncall Agent: From 30-Minute Investigations to 90-Second AI Analysis

Our on-call engineers were spending 30 minutes investigating every production alert. Here’s what happened when we automated it.At 3 AM, alerts don’t care about your sleep schedule.When our payment infrastructure threw an error last month, our on-call engineer spent 32 minutes jumping between six different monitoring systems before understanding what was broken. One tool for metrics. Another for logs. Third tool for pod health. And multiple more for infrastructure, deployment history and d...

Stefanie Janine: PostgreSQL Ecosystem Problems

PgBackRest Is Dead Yesterday the maintainer of PgBackRest, David Steele, published the NOTICE OF OBSOLESCENCE. For further information please read the blog post pgBackRest is dead. Now what? by Lætitia Avrot. She also points to how to go an as she, like me, always recommended PgBackRest for PostgreSQL backups. Therefore a big thank you goes for the work David has done on PgBackRest. And Now What? Things alike happened before, for example when due to the liquidation of the Segfault Inc. M...

Gallium oxide electronics withstand extreme cold

Building a Hamiltonian Path Puzzle

When the Internet Was a Place

Bugs Rust Won't Catch

V.O.I.C.E (Voice, Ownership, Identity, Control, Expression): Risk Taxonomy of Synthetic Voice Generation From Empirical Data

arXiv:2604.24794v1 Announce Type: new Abstract: As generative voice models are rapidly advancing in both capabilities and public utilization, the unconsented collection, reuse, and synthesis of voice data are introducing new classes of privacy, security and governance risk that are poorly captured by existing, largely uniform threat models. To fill the gap, we present V.O.I.C.E, a taxonomy of voice generation risk grounded in a multi-source threat modeling effort with 569 incidents from majo...

Semantic Denial of Service in LLM-controlled robots

arXiv:2604.24790v1 Announce Type: new Abstract: Safety-oriented instruction-following is supposed to keep LLM-controlled robots safe. We show it also creates an availability attack surface. By injecting short safety-plausible phrases (1-5 tokens) into a robots audio channel, an adversary can trigger the models safety reasoning to halt or disrupt execution without jailbreaking the model or overriding its policy. In the embodied setting, this is a semantic denial-of-service attack: the agent s...

Cloud to Edge: Benchmarking LLM Inference On Hardware-Accelerated Single-Board Computers

arXiv:2604.24785v1 Announce Type: new Abstract: Large language models (LLMs) are becoming increasingly capable at small parameter scales. At the same time, conventional cloud-centric deployment introduces challenges around data privacy, latency, and cost that are acute in operational technology and defence environments. Advances in model distillation, quantisation, and affordable edge accelerators now make local LLM inference on single-board computers feasible, but the high dimensionality of...

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda

arXiv:2604.24782v1 Announce Type: new Abstract: Real numbers in constructive mathematics have always seemed to require compromises of one form or another. Classical proofs of Cauchy completeness require countable choice, Bishop's setoid construction introduces persistent bookkeeping overhead on every definition and theorem, and Dedekind cuts force cumbersome universe-level tracking in predicative type theory. The Homotopy Type Theory (HoTT) book presents an alternative construction of the Ca...