← Back to news

Programming RSS Feed

Revealing the details of how OpenAI agents hacked Hugging Face

AI-Assisted Genealogy: Using AI to Trace My Family Tree

Can we have reachability properties in TLA⁺?

The JavaScript Pun: tagged template literal

Why Your Rules Engine Deserves Its Own Kubernetes Node Pool

The Graveyard of Good Ideas

GDB 18.1 released

The TechBeat: The 5 Best Suits in Marvel's Wolverine (9/26/2026)

Infecting the Steam Link with NixOS

Go concurrency distilled

Tuning a Server for Benchmarking

If we do not stop to help each other, what do we become?

Configuring Route 53 Subdomain Delegation With Terraform

Suggestion to replace LibreOffice with Collabora as default on Fedora

The state of SIMD in Rust in 2026

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