← Back to news

Programming RSS Feed

Functional Data Structures and Algorithms. A Proof Assistant Approach

I used a local LLM to analyze my journal entries

ANN: I built a new Ada build tool for personal use

Evolving Git for the next decade

What should we do with CLs generated by AI?

Nixtamal 1.0.0 released

Catalog of Refactorings

A Deep Dive into Apple's .car File Format

The future of software engineering - The future of software development retreat

microgpt

The HackerNoon Newsletter: AI Coding Tip 006 - Review Every Line Before You Commit (2/13/2026)

HackerNoon Projects of the Week: Agent Observatory, Formonger, and Olio AI

New delegation for Debian's data protection team

The 12-Factor App - 15 Years later. Does it Still Hold Up in 2026?

[$] The first half of the 7.0 merge window

How to Find an Article Idea in 10 Minutes

Thanks for All the Frames: Rust GUI Observations

[$] Open-source mapping for disaster response

Resizing windows on macOS Tahoe – the saga continues

Deterministic Simulation Testing: BUGGIFY

moss-kernel: Rust Linux-compatible kernel

Security updates for Friday

My first Vulkan extension

Hare 0.26.0 released

If you use AI-generated code, you currently cannot claim copyright on it in the US

Context Graphs: Building Production World Models for the Age of AI Agents

flemish: An elmish architecture for fltk-rs

What are you doing this weekend?

Agentic AI Changes How Decisions Are Made, Not Just How Systems Are Built

Why Startups Need a Self‑Service Data Platform Earlier Than They Think

Smart Data Grouping: Organizing Networks Without Guesswork

LSEnet: A Smarter Way to Organize Data Using Curved Space

OpenClaw After the Hype: A Real-World Test of a “Do-Anything” AI Assistant

Google might think your Website is down

How to Trim Video and Audio by Timecode Using fal-ai’s Trim Utility

The Founder’s Guide to Choosing “Boring” Software That Won’t Betray You Later

The 3-Second War: How to Engineer Ads That Stop the Scroll (Free AI Prompt)

How a Small OSINT Team Turned the Epstein Files Dump Into Actionable Intelligence

Generalized Kuramoto Models & Hyperbolic Graph Clustering in Lorentz Space

Real-Time VFX Isn’t a Feature Anymore. It’s the New Baseline for Game Development.

BlackRock Brings Tokenized Treasuries to Uniswap: What This Signals for Gold and Other RWAs

Delegation Is the Real Prompt Engineering: How to Get Better Results From AI

The Clean Way to Access AWS, Azure, and GCP From Kubernetes (No Secrets, No Rotations)

Authorization Belongs Inside the Agent Loop (Not at the Edge)

The Cheap Way to Ship Enterprise-Grade Agents (Without the Enterprise Bill)

How TikTok-Style Feeds Learn What You Want in Minutes

Why Brazil's Biggest Institutions Chose XDC, XRP Ledger, and Polygon for Tokenization

I Improved 15 LLMs at Coding in One Afternoon. Only the Harness Changed

The Many Flavors of Ignore Files

Riemannian Graph Learning & Structural Entropy: Deep Node Clustering in 2026