Point-Free Logic Programming (via veqq) — discussion

#logiclangs

Unlocking sudoku's secrets (2025) (via AviKav) — discussion

#math

On DOS, floppies, NetBSD and nostalgia (via jaypatelani) — discussion

#netbsd #retrocomputing

Flipping the bozo bit on flips the learning off (via eatonphil) — discussion

#practices

Abstract Machines for Logic Programs (via guillaume) — discussion

#concatenative #logiclangs

Aurora: A Leverage-Aware Optimizer for Rectangular Matrices (via sanxiyn) — discussion

#ai

Three Cultures of Math (via evmar) — discussion

#math #vibecoding

Notes on using GNU Emacs' Tramp system in an unusual shell environment (via fanf) — discussion

#emacs

Getting LLMs Drunk to Find Remote Linux Kernel OOB Writes (and More) (via fro) — discussion

#linux #security #vibecoding

Where Have All the Complex Windows Malware and Their Analyses Gone? (via drmorr) — discussion

#security

ACME CA Comparison (via fanf) — discussion

#security

Laptops all have built-in security tokens these days (by ahelwer) — discussion

#hardware #security

FFmpeg: The Incredible Technology Behind Video on the Internet (via mdk_fr) — discussion

#assembly #c #video

Fixing QuickLook (2023) (via juliethefoxcoon) — discussion

#mac #reversing

Yggdrasil Network as an Embedded Go Library (by asciimoth) — discussion

#distributed #go #networking #programming

Hacking Time: Spoofing Atomic Clocks with Audio Harmonics (via jrandomhacker) — discussion

#hardware #networking

My Agentic Trust Issues: From Prompt Injection to Supply-Chain Compromise on gemini-cli (via mdaniel) — discussion

#security

I Will Not Add Query Strings to Your URLs (by susam) — discussion

#web

WebRTC is the Problem (via polywolf) — discussion

#networking

The React2Shell Story and What Happened Next.js (via mtlynch) — discussion

#security