← Back to news

Programming RSS Feed

50 years of proof assistants

YOCaml a framework used to describe static site generator

CM0 - a new Raspberry Pi you can't buy

Django: what’s new in 6.0

[$] Best practices for linux-next

async dns

KDE Gear 25.12 released

The HackerNoon Newsletter: Rusts WASI Targets Are Changing: Heres Why (12/12/2025)

A Code Centric Journey Into the Gleam Language

I couldn't find a logging library that worked for my library, so I made one

Building Trustworthy AI Agents

How to run Ministral 3 with an AMD GPU on Windows

Security updates for Friday

Rethinking sudo with object capabilities

Your Frontend Framework is Technical Debt: Why I Deleted React for Rust

Unswitching loops for fun and profit

Crypto.com Targets Trillion-Dollar Prediction Market Opportunity With Regulatory-First Approach

The Simple Habit That Saves My Evenings

Building smaller Docker images faster

4 billion if statements

What are you doing this weekend?

Typeslayer - a TypeScript types performance tool

The TechBeat: How AIStor’s Prompt API Lets Healthcare Professionals “Talk” to Their Data (12/12/2025)

Freeing a Xiaomi Humidifier from the Cloud

Obscura Brings Bulletproofs++ to the Beldex Mainnet for Sustainable Scaling

ScreenSafe: A Technical Chronicle of On-Device AI and Privacy-First Architecture

Model.fit is More Complex Than it Looks

Lessons From Hands-on Research on High-Velocity AI Development

Guarding My Git Forge Against AI Scrapers

3 Common Misconceptions Fintech Founders Have About Engineering Teams

Designing AI-Ready Infrastructure: What Modern Data Centers Actually Need

How I Built a “Bicameral” AI Agent That Uses Australian Lasers to Make Decisions When Logic Fails

How GenAI is Reshaping the Modern Data Architecture

How to Dive into a New Domain and Ship a High-Load System Fast

Your Brain Isn’t Broken—Your Map Is:

UK Government to Start Tracking All Crypto Transactions

Before Bitcoin: The Forgotten P2P Dreams that Sparked Crypto

Why Personalized Enforcement Matters for Online Trust & Safety

How I Use Cursor Rules to Stop Hallucinations in Production

Meet the 7 Tools Shaping the Agent Era of Software Development

AWS’s Kiro Hits General Availability, Adds a Command-Line Interface

How a Demo Page for my Abandoned Open Source SDK Accidentally Found Product Market Fit

Are we stuck with the same Desktop UX forever?

Being a SysAdmin is hard

A Lisp Interpreter Implemented in Conway’s Game of Life

Rust's WASI Targets Are Changing: Here's Why

Orvalho Spec

OpenAI Puts Guardrails on Its Open-Weight GPTs

Pop goes the...population count?

Notes on Gamma