← Back to news

Programming RSS Feed

louise: Polynomial-time Meta-Interpretive Learning for logic programming

Naked objects

Code Smell 299 - How to Fix Overloaded Test Setups

Investigating Ring's Crime Alert System for Police Departments: How We Did It

STEPS 2012 Progress and Final NSF Report

Introducing Rust 1.86.0: Trait Upcasting, HashMaps, and More

DCJ11 Single Board Computer (PDP-11)

Exploiting Copilot AI for SharePoint

Announcing Lix 2.93 “Bici Bici”

I Want to Love Linux. It Doesn’t Love Me Back

Reverse engineering the 386 processor's prefetch queue circuitry

The HackerNoon Newsletter: Vue.js: Propagating Props Like a Pro (5/10/2025)

Are We Serious About Using TLA+ For Statistical Properties?

Secure by Design: Google’s Perspective on Memory Safety (2024)

How Cell-Based Architecture Helps Big Systems Scale

Changelog Slack is dead. Long live Zulip

Lume 3 was released

TrueNAS CORE is Dead – Long Live zVault

Get Your Team to Speak Up: Here's How

HACKSAT25: The first multi-tenant satellite unikernel security challenge

Introduction to Universal Scene Description (2021)

A tool to verify estimates, II: a flexible proof assistant

Testing sourcery.ai and GitHub Copilot for cockpit PR reviews

A Performance Investigation Challenge

bold linker v0.2.0 release - bold just got faster

Slow Software for a Burning World

In praise of grobi for auto-configuring X11 monitors

Tuscolo Static Certificate Transparency Log

The TechBeat: Big Monitoring, Small Budget: Powering Observability on Kubernetes with Prometheus, Grafana & Mimir (5/10/2025)

Analyzing CVE-2025-31191: A macOS security-scoped bookmarks-based sandbox escape

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages

Spatial Data-Management (1979)

Algebraic Effects: Another mistake carried through to perfection?

A Formal Analysis of Apple’s iMessage PQ3 Protocol

The Best Way to Protect Your Packages and Your Ethics

Digital Defenders: Meet Syed Shahzaib Shah, Pakistan’s Ethical Hacker Changing the Game