← Back to news

Programming RSS Feed

Mechanical translation from COBOL to Kotlin using formal methods

The HackerNoon Newsletter: Building a RAG System That Runs Completely Offline (11/13/2025)

Synit: Reactivity and object capabilities in the system layer of an OS

How Developers Use ChatGPT in GitHub Pull Requests and Issues

Balancer V2 Exploit Explained: Inside the Smart Contract Rounding Error That Cost $120M

Language Design Notes

There is no such thing as a 3.5 inch floppy disc

Foundation Models Are Reshaping How Developers Code Together

Preshent: JR AI Turns Sustainability Data into Intelligent Action

[$] Another Fedora Flatpak discussion

Parsing integers in C

The Fork Reshaping MCP Testing: How a 24-Year-Old CTO Is Taking On One of AI’s Biggest Players

Can 25 Superhumans Run a $100M Freight Operation? T3RA’s AI Visionary Mukesh Kumar Thinks So

Evaluating embedding quality by testing metric properties (Z3 solver)

Testable Dotfiles Management With Chezmoi

Mapping Why and How Developers Share AI-Generated Conversations on GitHub

Security updates for Thursday

Breaking Down the Walls: Rescue Your SPA From Complete Freeze

Ingress NGINX Retirement: What You Need to Know

Patterns for Defensive Programming in Rust

Why Fei-Fei Li and Yann LeCun Are Both Betting on “World Models” — and How Their Bets Differ

Web3 Indexes: From Primitives to Advanced Non-Custodial Storage

Go proposal: Context-aware Dialer methods

Cypherpunks vs Regulators: Who Reigns Over Privacy?

Stop Boring Retrospectives: 18 Fun Templates to Spark Change

Mergiraf: syntax-aware merging for Git

Visual Studio 2026, .NET 10, and C# 14 are released

Intermediate Developer

Behind the scenes on how Windows 95 application compatibility patched broken programs

ThreatBook Peer-Recognized as a Strong Performer In the 2025 Gartner Peer Insights

Truly first-class custom smart pointers

PolySubML is broken

EV2 Token Presale Launches as Funtico Targets Mainstream Gamers With ‘Earth Version 2’

A Practical Guide to Transitioning to Memory-Safe Languages

Android developer verification: allow experienced users to accept the risks of installing software that isn't verified

What's new in Herb v0.8

The TechBeat: Copilots Are the New Shadow IT: The Hidden Risks That Come With Them (11/13/2025)

Practical Security in Production Hardening the C++ Standard Library at massive scale

pgFirstAid-The PostgreSQL Health Check

Multiple Instance Learning: Review of Instance and Embedding Level Approaches

the art of (VM) firmware logging

Why Crypto Could Outperform Stocks, Real Estate, and Gold in 2026

Could AI Create a New Layer in the OSI Model? The Rise of the “Intelligence Layer”

Avici Raises $3.5 Million, Gives Back 90% of Capital via Futarchy Governance

How Clause-Level Constraints Turn Training Choices Into Verifiable Policies for Generative Systems

VSYS Host Launches VSYS Name - an ICANN-Accredited Domain Registrar

[$] LWN.net Weekly Edition for November 13, 2025

How to Fix Code Block Rendering Issues in Custom Markdown Renderer

How a Simple Idea Created a Viral Website

1 Problem, 7 Libraries (on the GPU)