← Back to news

Programming RSS Feed

Why Rocq is better than Lean for program verification

State of multi-player Wayland

Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident

The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes

The mean means nothing

[$] Progress toward compiling Linux with gccrs

You Could Have Come Up With Kimi Delta Attention

Destructive Convenience

Bastillion 5.1: single-JAR SSH gateway now audits and replays every session

Rethinking Ransomware Defense at the Filesystem Layer

Formatif Earns a 44 Proof of Usefulness Score by Building a 100% Offline, Local-First Desktop Media Processing Suite

The Future of Human Work: Finding Our Place in the Age of AI

SwiftList Earns a 83.84 Proof of Usefulness Score by Building an AI Platform for Generating Complete Property Listings

Designing for Human Confidence: Why Trust Alone Isn't Enough for AI Products

itsfolio.tech Earns a 50 Proof of Usefulness Score by Building an AI-Powered Resume-to-Portfolio Converter

Agent Memory Has a Lock-In Problem. Open Formats Are How We Fix It.

Smart Care Triage Earns a 35.03 Proof of Usefulness Score by Building a Decision-Support Tool for Hospital Intake

Dependency Cultures - Richard Feldman (Software Should Work Conf 2026)

HostLens AI Earns a 55.35 Proof of Usefulness Score by Building an Agentic GraphRAG AI Assistant for Rental Market Insights

Electric Vehicles Have Gotten Better, But Have They Earned Your Trust Yet?

The Next AI War Will Be Fought Over Access, Not Models.

Wayfire 0.11 released

Parallel JSON parsing on the GPU with compute shaders

Where are the third places for learners?

[$] A report from Debian's new DFSG team

Inside Zig's Incremental Compilation

The TechBeat: A Developer’s Guide to Agentic AI Frameworks and Components (7/28/2026)

91 Blog Posts To Learn About Dotnet Core

AI vs Google: The Quest for Visibility

I Designed A Custom PCB To Avoid Pressing A Button Three Times

Design flaws in issetugid() (2017)

Security updates for Tuesday

AI Security Startup Mate Surpasses $50M in Funding Amid Growing Enterprise Adoption

Building (systems) software with Nix

Aux Control — Let the whole room vote on the music

Tracked Capabilities for Safer Agents

What even are microservices?

Golang Maps: How Swiss Tables Replaced the Old Bucket Design

Improving Heuristics (2015)

Why Linux Firewalls Are Moving From iptables to nftables

Cybersecurity in 2026 Is a Race Against Speed

Develop Cross-Platform CLI and GUI Tools With Tcl/Tk

Making KIO copy many files fast

Best BitMart Alternatives: Where to Move Your Assets Before the August 26 Shutdown

One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way

Kratos PhaaS Targets US and EU: How to Reduce Microsoft 365 Account Takeover Risk

PyTorch: a reference language

What Happens If You Send Crypto to Your Same Address?

KAT-Coder-V2.5-Dev: An Open Agentic Coding Model

Mage-Flow-Edit-Turbo: Microsoft’s 4B Image Editing Model