← Back to news

Programming

Travala Launches Native AI Travel Agent with BNB Chain & Binance Pay

H

Composition over Inheritance Explained using Retro Games

L

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

L

[$] An update on Rust's project goals

W

The Claim Was Never Verified, And Yet, The Report Looked Official

H

The Investors Who Bought Anthropic Before the World Understood Its Value

H

How CME's Product Team Cleared the Black Sea Grain Trade

H

The history of the Hetzner Cloud network stack

L

Beauty in DVD Menus

L

UGREEN HomeAgent gives the home server something useful to say

H

The Missing Piece in Rust Error Handling

L

Mate Security Wins 2026 CyberSecurity Breakthrough Award for Agentic Cyberdefense

H

286 Blog Posts To Learn About Covid 19

H

The TechBeat: Why AI Agents Forget Everything (and How to Build Ones That Don't) (10/8/2026)

H

[$] The [vx]swap showdown

W

Soda Labs Raises $3M From NextBlock to Let Regulated Money Move Privately on Public Chains

H

Extending Guix

L

Security updates for Thursday

W

Ending the Casuarina Linux Experiment

L

Thinking will become a hobby

L

`specialArgs` considered harmful

L

The Performance Cost of RwLock in Our Read-Heavy Workload

L

Shopify went back to native. I think the bigger shift is formal verification

L

SPA vs. Hypermedia: A Collaborative Kanban Board Measured Against PLANKA

L

What Happens When AI Agents Start Maintaining Legacy Code?

H

Migrating Git repos to SHA-256

L

Gentoo infrastructure sponsors wanted

L

Hashi Mainnet to Launch With $500M in Capital Backing, Adds Anchorage Digital to Coalition

H

Beyond the &

L

jujutsu (jj) 0.46.0

L

The Goose Programming Language

L

How Anton Malinovskiy Is Designing an Embedded Wallet for Live-Stream Rewards

H

Property Testing with Agent Swarms

L

The people holding up the internet

L

I've Been Deindexed by Google

L

How can undefined opcodes ud0 and ud1 have parameters?

L

AI Can Remember Your Chats. Remembering Your Life Is Much Harder.

H

The Most Dangerous Memory in an AI Agent Is the One That Used to Be True.

H

Building Production-Ready Multi-Agent AI Systems on Amazon EKS: The Complete Step-by-Step Guide

H

How to Reframe AI-Generated Video for Any Aspect Ratio Without Regenerating It

H

The $0 Startup Or Building On Budget

H

A rant about APIs

L

The Eyes of Intelligence: Why Computer Vision Will Define the AI Century

H

I Wrote a War Fought With AI Weapons. How Close Is Fiction to Reality?

H

The Joining Tax: A Year of Governing Claude Code

H

Cyberpunk in an Old ERP: Three Attempts to Make AI Work

H

Golden Globes' Podcast Gambit, The Ambies Move to NYC, and Instagram's Ring Problem

H

Clojure in the Age of Language Models

L

Can You Build a Company's Reputation Before It Has One?

H

Building a Twitter Video Downloader Is Harder Than It Looks

H