← Back to news

Programming RSS Feed

What's "new" in Miri (and also, there's a Miri paper!)

From Zero to QED: An informal introduction to formality in Lean 4

An uncomfortable but necessary discussion about the Debian bug tracker

Towards a secure peer-to-peer app platform for Clan

Incus 6.20 released

Email Simplicity vs Decentralized Chat

Seven Coding Games to Help You Build Your Programming Chops (2023)

GDB 17.1 released

Qubes OS 4.3.0 released

The HackerNoon Newsletter: Can ChatGPT Outperform the Market? Week 20 (12/22/2025)

Nature Programming Language

Jackson: Debian’s git transition

Proposed Rust kernel extensions in place of eBPF

[$] Tools for successful documentation projects

Meet Confluent: HackerNoon Company of the Week

Can ChatGPT Outperform the Market? Week 20

Privacy-Preserving Vaccination Checks: A Proof of Concept MPC Deployment with the Frankfurt Health Department

Loong64 is now an official Debian architecture

Security updates for Monday

Simplistic Comptime Column Safety in SQLite Queries

Understanding your Linux graphics driver stack

Optimal Liquidity Provision in Concentrated AMM Pools Under Stochastic Fees

A Developer’s Guide to Fixing Computer Vision Annotations

Best Amazon Scraper APIs for 2025: Top Picks Compared

The Wealth of Liquidity Providers in Cl Pools

Ivo Grigorov on Building a $500M Layer 1 Blockchain for Traditional Banks

Flocking Quadtrees in Clojure

Bhutan Pledges 10,000 Bitcoin to Build Gelephu Mindfulness City in Historic Sovereign Reserve Deplo

Only 1% of Phase 6 Is Left: This New Cryptocurrency Is Running Out at $0.035

I’m a former CTO. Here is the 15 sec coding test I used to instantly filter out 50% of unqualified applicants

Build your own RSS daily digest using GitHub Actions/Pages in 5 minutes

The Most Dangerous "AI" in Business Intelligence is the One That Sounds Right

The Infinite Library Problem: What Cognitive Overload Actually Does to the Brain

Brazil’s Largest Private Bank Advises Clients to Invest 3% in Bitcoin

Apache Beam on GCP: How Distributed Data Pipelines Actually Work (for REST API Engineers)

Why ISO Standards Are the Foundation of Responsible AI Governance

Grok Just Got a Voice (And It’s Cheaper Than Your OpenAI Bill)

Is "Agentic Programming" the Next Big Shift?

What I Learned From Crossing Marc Andreessen's Radar

Inside SeaTunnel CDC’s Debezium Integration: Embedded Engine, Offsets, and Checkpoints

SeaTunnel CDC Under the Hood: Snapshots, Backfills, and Why Your Checkpoints Time Out

Predicting Jet Engine Failure with Python and AutoML

What are you doing this week?

Installing Void Linux on ZFS with Hibernation Support

Why “It Works on My Machine” Keeps Breaking Production

When SIMD Fails: Floating Point Associativity

QBasic64 Phoenix 4.3.0 released

The TechBeat: Why More VARs and SIs Are Embedding Melissa Into Their Enterprise Solutions (12/22/2025)

typed-arrow: First-class compile‑time Arrow schemas for Rust

Kernel prepatch 6.19-rc2