← Back to news

Programming RSS Feed

Salmon Introduces Execution Verification Infrastructure (EVI) for Securing AI Agents

There is more to code review than (automatable) detection

Ukraine's army is experimenting with using Steam Decks to remote-control gun turrets (2023)

Why I Built a Local Evidence Debugger Instead of Another Agent Dashboard

Building a Versioned Lambda Deployment Script With the AWS CLI

Keep if clauses side-effect free

Did Xbox Acquire Activision or Did Activision Acquire Xbox?

NetBSD Playing with disklabels

Let’s go whaling: Tricks for monetising mobile game players with free-to-play (2016)

How to keep enjoying programming in a world of LLMs

weave: structural merging for different languages

The AI Code Avalanche: Building an Adversarial Pipeline to Stop Code Hallucinations Before They Hit

Homa: The End of TCP for AI Clusters — John Ousterhout

Acid: A Debugger Built From A Language (1996)

The Hacker House Files: 14 Notorious Scandals From 8 Prominent SF Bay Area Houses

Kafgres: Embedding a Kafka Broker into Postgres

Nemotron-3-diarization: Here's What You Need to Know

How to use this project?

Reinventing the wheel to draw wide tree hierarchies

Three Lenses on Coordination

Just Publish an App. How F*****g Hard Can It Be?

Observability-First AI Agents: What You Gain and What You Give Up

We’re gonna need a lot more mathematicians

Commodified Intelligence

How to Manage Document Metadata in React 19

Why You Should Prioritize Shadow AI on Your Endpoints

He who does not code, neither shall he eat

Pentium II at 600Mhz with Voodoo 3 Emulated on 86Box with M6 Mac Mini

CommonGrid: The open source registry of the US power grid

[$] How KDE got funding to add enterprise features

This Month in Redox - August 2026

A Type Stronger than the Sum of its Components

Applied Pure Mathematics

Two stable kernels for Friday

A summary from the 2026 Git Contributors' Summit

What About Rails?

Oura Competitors: Samsung, Apple and the Smart Ring Market

Cross-Site Scripting (XSS) Cheat Sheet

The TechBeat: The Mathematics That Breaks the Biggest Myths About AI (9/25/2026)

Evolving programming languages in the AI era

Migrating a Production Django App from Elasticsearch to OpenSearch

FinOps for AI Data Infrastructure: Optimising the Cost of Cloud Analytics and Agentic AI Workloads

Before You Hit Send: Building a Reply Co-Pilot on TypeSafe's Jev, Deployed on Cloudways Velocity

Before You Blame the Model, Check What Your Compactor Deleted

Security updates for Friday

Designing an Event-Driven Next-Best-Action Architecture for Customer Retention

Amiga screens: a primer

The Open-Source Debt Nobody in Finance Wants to Talk About

STS Digital Named Digital Asset Provider of the Year by FOW

LLM Policies: Progress At All Costs