← Back to news

Programming RSS Feed

Kiesel Devlog #15: Release 0.4.0

SNTPings, draw on a canvas using ICMPv6

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?