← Back to news

Programming RSS Feed

Proof-oriented Programming in F*

Technical Issues of Separation in Function Cells and Value Cells (1988)

[$] LWN.net Weekly Edition for February 12, 2026

New And Upcoming IRCv3 Features

Do not apologize for replying late to my email

Reports of Telnet’s Death Have Been Greatly Exaggerated

Linux man pages 6.17 released

How I turned my Anki side project into a Kickstarter: A Walkthrough

Can AI Truly Discover New Science?

The Mean-field Libor Market Model

Programming Aphorisms

Using Databases Without Putting Domain Logic in Them (2023)

It's all a blur

Majutsu, Magit for jujutsu

BingX Rolls Out Copy Trading Plaza & Enhanced Lead Trader Homepage in Major Upgrade To Copy Trading

Poll Shows Technologists Are Reluctant to Add ChatGPT to Growing Subscription Burden

How to Monetize Your Blog (and Why You Don’t Need Millions of Views to Start)

The Problem With LLMs

Functional programming in m4 (2020)

The HackerNoon Newsletter: Prediction Markets Are Swallowing the Real World (2/11/2026)

[$] Evolving Git for the next decade

postmarketOS FOSDEM 2026 and hackathon recap

Robotics Motion Learning: Training Linked Robot Arms with Kuramoto Models

Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML

Beyond Kuramoto Models: Associative Memory and Plastic Synapses in ML Ensembles

Grassmannian Manifold Learning: Optimization and Deep Learning Architectures

The Seven Qualification Tests for an AI Scientist

Re-Identification Risk vs k-Anonymity

Stable kernels for Wednesday

Security updates for Wednesday

Researchers Outline a Roadmap for AI That Can Make Scientific Discovery

Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries

Webmentions with batteries included

Modular Monolith and Microservices: Modularity is what truly matters (2023)

Windows Notepad App Remote Code Execution Vulnerability

How I Fixed Manufacturing for AI Robotics with WebSerial

CVE-2026-1529 - keycloak: unauthorized organization registration via improper invitation token validation

Forwardly-evaluated build systems

Experimental Zones Protocol Merged To Wayland After 2+ Years, 620+ Comments - Phoronix

A Perilous Break to Jupiter

EC-Council Expands AI Certification Portfolio to Strengthen U.S. AI Workforce Readiness and Security

PAX: The Cache Performance You're Looking For

The AI Vampire

MEXC Reports 2.35 Million Users Across AI Trading Suite in First Six Months

MEXC Surges to Third Place Among Global Crypto Exchanges, Doubles Trading Volume in 2025

How Numerical ALM Models Value Future Discretionary Benefits in Life Insurance

Nobody Gets There Alone: We Need A Community Roadmap for Agentic Engineering

Deferred member initialization in C++

How Profit Participation Shapes Risk and Returns in Traditional Life Insurance

In memoriam Marijn Meijles