← Back to news

Programming RSS Feed

LemmaScript: A Verification Toolchain for TypeScript via Dafny

An Algorithmic Reconstruction of Normalisation by Evaluation

Twitter vs X: One Built Culture, the Other Wants to Build a System

It's All Just Trees With Web Origami

The HackerNoon Newsletter: A Look Inside the HackerNoon Audience (4/22/2026)

[$] Dependency-cooldown discussions warm up

Lessons Learned Hacking Infra For 30 Years With Jon Brookes

A Look Inside the HackerNoon Audience

Using LLMs to find Python C-extension bugs

Satoshi’s Identity May Not Matter Anymore, but His Bitcoin Still Does

The Edge of Safe Rust

221 Blog Posts To Learn About AI Agents

How to Teach the LLM to Think With Your Data

[$] One Sized trait does not fit all

Some general notes on network booting UEFI machines

LilyPond 2.26.0 released

Impeccable: Design skills for AI harnesses

Four stable kernels for Wednesday

Security updates for Wednesday

Markdown (2004)

GitHub Actions for a Gleam monorepo

What Async Promised and What it Delivered

From Hypertext to Algorithmic Culture

AI as a Fascist Artifact

How We Built an AI Agent for Self-Service Analytics

BreachLock Named Representative Vendor in Gartner Market Guide for Adversarial Exposure Validation

Ask Your Factory Floor Anything: Structuring Industrial Data for AI Agents

The Future of Voice AI in Banking: Amar Kant Jha

Kernel code removals driven by LLM-created security reports

wsl9x: Windows 9x subsystem for Linux

Firefox: The zero-days are numbered

AI QA Testing: The Missing Link in Your AI Development Workflow

Why Apache SeaTunnel Zeta Can Be Both “Fast and Stable”

Educational Byte: How ChatGPT Is Used to Steal Your Crypto

Your First Online Race: A Step-by-Step Guide

The $300 Hobbyist Computer Is Disappearing

Quiet Cost Earns a 34 Proof of Usefulness Score by Building a Diagnostic Tool That Identifies Hidden Revenue Leakage

Why the Best Engineers Are Adopting AI — While Others Are Getting Left Behind

Exactly-Once in Spark Structured Streaming: What That Actually Means

The Next Users of Blockchain Won't Be Human

I Built a $32,000 AI Platform for Less Than a Penny

The End of Infinite AI: Architecting Resilient Workflows in an Era of Compute Scarcity

Math is hard (OpenBSD on VAX)

Beyond the Standard: How We Broke the WER Barrier in High-Variance Speech

Medtech Doesn't Have a UX Problem. It Has a Measurement Problem Nobody Wants to Solve

Undervolting Is Not Enough: Why Your Laptop Still Throttles During AI Workloads

Tech Media Became a Business. HackerNoon Still Feels Like a Culture

Stop Drawing Your Infrastructure: The Shift to State-Driven Diagrams

The Eternal Junior: Why AI Computes but Does Not Think

Is Claude Code going to cost $100/month? Probably not—it’s all very confusing