← Back to news

Programming RSS Feed

AI Agent Evaluation Is the Foundation of Reliable Autonomy

Why 'externalized' proofs of cyclic trait impls does not work

Europe Needs More Rockets. Can Its Launch Industry Keep Up?

Reporting vulnerabilities to Estonian companies

culpert - rust heap profiling with span awareness and regression tooling

The TechBeat: The Billing Ladder: Five Ways to Price an AI Agent (10/10/2026)

63 Blog Posts To Learn About Digital Nomads

dasSDL3: Idiomatic SDL3 bindings for daslang

The Ostrich Effect: How Optimism Bias Contributes to Project Failure

Iframes that finally fit their content

Mars Pathfinder Priority Inversion Bug: What Really Happened

The Lightbulb Computer: Reimagining Spatial & Ambient Computing with Projectors

There's little that's "inevitable" about AI

Voxlocal: a minimal voice agent written in Rust

AI Isn’t Escaping. We Built an Agent and Expected a Human.

The Weakest Link in Satellite Security Might Never Leave Earth

1-click MMI execution in Android

Build Your Own AI Agent Execution Trace in Python.

oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c

Adding Go's defer to the TypeScript Compiler

Patches Updated To Begin Removing The Linux x32 ABI

64 Blog Posts To Learn About Digital Health

No Man Is an Island

How I Proved a 12-Million-Record Data Migration Was Actually Correct

This AI Model Has Native Text, Image, and Video Capabilities: Here's What You Should Know

How to Run vLLM Natively on Windows

Lifeguard: A static analyzer for Python lazy imports compatibility

The importance of communities around software

Cloudflare shutting down Deno is news, not just PR

GPT 6 Astra - Will It Shake Up the World of Marketing?

A Practical Guide to “Plug&Pwn” for Pentesters and Defenders

ALLOX TGE Nears With 363K Eligible Claimants and Coinbase-Owned Sonar Sale

86 Blog Posts To Learn About Digital Art

Branches in branch-free code

How To Write Shared Libraries (2011)

Equality Saturation: An “Incomplete” Project

Vectorized CLZ and CTZ

Two Futures for LLMs in Mathematics

I Wanted a Simpler Static Site Generator, So I Created Neyx

Python 3.15 released

An E-Commerce Platform Is a Reliability Problem Disguised as a Website Project

Python 3.15.0

[$] Adding kernel control-flow-integrity checking to GCC

How Loopjacking Hijacks Human Approval in AI Workflows

Unison Cloud is now open source

[$] The state of systemd: 2026 edition

How David Bratslavsky Is Helping Commercial Real Estate Operators Use AI to Win Deals

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda

Why Are Coding Agents So Dumb?

The Lawyer Who's Building His Own Version Of Legal AI