← Back to news

Programming RSS Feed

Extending MVCC to be serializable, in TLA+ (2024)

A deep dive into my Forgejo setup

Type Safe Servant Auth Roles

Catanzaro: Some changes to GNOME security tracking

Your HR Team Just Got Bigger: Inside Mesh, Netchex's AI Team for the Deskless Workforce

InvisiCaps: The Fil-C Capability Model

Meet Photon: HackerNoon Company of the Week

The EU is about to sell our most sensitive data to the US for visa-free travel

7 Sandbox Escape Vulnerabilities Across 4 Coding Agent Vendors

Rust for Morello: Always-On Memory Safety, Even in Unsafe Code

The TechBeat: The AI That Can Re-Write Its Own Brain: Why Inkling is the New Frontier for Open Weights (7/20/2026)

284 Blog Posts To Learn About Coding Skills

Meta Garbage Collection: Using OCaml's GC to GC Rust

Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack

AI Startups Are Scaling Faster Than Their Financial Operations

Beyond the API Wrapper: Sovereign AI Demands a New Breed of Developer

5 of the Best AI-Powered Scrapers of 2026, Compared

[$] Merging famfs?

Security updates for Monday

Rural Youth Are Becoming the Face of India’s AI Adoption

A Practical Guide to Configuring VPNs for Travel and Remote Work

Gitolite

Most of Your Agent Tasks Don't Need a Swarm

AI Coding Tools Made Shipping Faster But Testing Harder

Your AI Pilot Nailed the Demo. Here's Why It Will Never Make It to Production

Curb cuts and accessibility: When accessibility helps everyone

Building an AmigaOS Development Environment in 2026

Cell Services vs LoRa Mesh: When Do You Actually Need Off-Grid Comms?

Your AI Agents Have Dashboards. Their Human Managers Have Annual Reviews

Your Dashboards Are Production Systems. Start Monitoring Them Like One.

Stop Using AI to Build Things No One Needs

JSON5E - JSON5 for Humans

Navigating Telemetry-Driven Security With Mohit Bansal

Team Hacking: What Happens When Your AI Agents Start Lying to Each Other

Minimal Git CI using hooks

What are you doing this week?

Claude found a counterexample to the Jacobian Conjecture

Scanline edge-flag algorithm for antialiasing

Fuzzing for fun - unauthenticated denial of service in snac2

I wrote an API client for my water-cooled bed

A Working Demo Is Not Proof of Demand

email encryption

Bitcoin Miners Aren’t Merely Mining Bitcoin. They’re About To Be The AI Power Layer

The Automatic Grader -- The Future of Handwritten exam Assessment

The Real Trigger for Weather App Usage Isn't Heat – It's Uncertainty

Cloud Misconfigurations Deserve a Place Beside Vulnerabilities in Your Risk Strategy

Social Sequencer II: When the Sun Hits

The Engineering Mindset That aI Didn’t Replace

#FreeYakutia: How a Viral Meme Turned Into a Conversation About Independence

AI Coding Tip 028 - Wire a Skill Into Your Company's Live Systems