← Back to news

Programming RSS Feed

Security updates for Thursday

Salt: Systems programming, mathematically verified

Fairstream

Lilush: A static LuaJIT runtime with batteries

Paged Out! #8

How Yieldmo Cut Database Costs and Cloud Dependencies

pg-here: Run a local PostgreSQL instance in your project folder with one command

How An AI Gmail Summary Agent Saves Me 35 Minutes a Day

Modern Best Practices for Web Security Using AI and Automation

How I'd Design a Data Platform From Scratch in 2026

State of Clojure 2025 Results

Permissive, then restrictive: concrete solutions and examples in Haskell (2020)

GPU Infrastructure Is Becoming an Asset Class — Here's Why Crypto Investors Are Paying Attention

Why Faster Cross-Border Payments Still Don’t Work for Businesses

AI is Disrupting Everything: Should You Even Study Computer Science?

An update on upki

I scanned 5000 random Jupyter Notebooks from GitHub. Here’s the "Graveyard" of secrets I found.

The Advertising Model is Coming for AI Agents (And It's Worse Than You Think)

Tuple Spaces

What is Mutuum Finance (MUTM)?

From SSH to GitOps: How Infrastructure Operations Scale

Monitoring Data-Dependent Temporal Patterns

When Did the Economy Become Our Only Measure of Value?

C++26: std::is_within_lifetime

Minion: What Happens When an Autonomous Agent has Free Reins for A Week

How We Recruited and Vetted Our First 3000+ Service Providers on a Marketplace

GLM-5: from Vibe Coding to Agentic Engineering

Lorentzian Logic: Visualizing High-Fidelity Graph Hierarchies in Hyperbolic Space

Decoding Data: The Technical Secrets of LSEnet Algorithms and Benchmarks

Curved Space Geometry: Embedding Trees and Finding Midpoints in Hyperbolic Models

RAG: A Data Problem Disguised as AI

Graph Information Theory: The Mathematical Proofs Behind LSEnet and DSI

how openai, the US government, and persona built an identity surveillance machine that files reports on you to the feds

Ditching Discord

CEL by Example

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

Self-hosting my websites using bootable containers

Rust on CHERIoT: Status update #0

Top 20 worldwide with social-engineering and a cheat that's still undetected

Why I don't think AGI is imminent

How to Build a Non-Theoretical Artificial Domain Intelligence

Notes on clarifying man pages

A Guide on How to Rewire Self-Doubt

DBML: DSL for easily creating ER diagrams

Sai Launches Perps Platform Combining CEX Speed With Onchain Settlement

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?

Conceptual Biomarkers - AI Psychiatry - Human Intelligence and DSM-5-TR Nosology

How MYX Plans to Become the Clearinghouse For $7.9 Trillion Onchain Derivatives Market

Current - An RSS reader

What Your Bluetooth Devices Reveal About You