Sustaining Package Repositories with Brian Fox
opensourcesecurity.io·3d
🔓Open Source Software
Show HN: Twoway, a Go package for HPKE encrypted request-response flows
github.com·16h·
Discuss: Hacker News, r/golang
🔑Cryptographic Protocols
(PR) Synology Releases DiskStation Manager 7.3
techpowerup.com·1d·
Discuss: Hacker News
🔐HSM Integration
Security Model: Wayland vs. Xorg in Linux
openlib.io·2d·
Discuss: Hacker News
🛡️RISC-V Security
Not Another Workflow Builder
blog.langchain.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Three Solutions to Nondeterminism in AI
blog.hellas.ai·22h·
Discuss: Hacker News
🎯Performance Proofs
Oily Pine – Chapter 1
yosemitesam.ch·3d·
Discuss: Hacker News
🐚Bash Monads
Software That Builds Itself
jdsemrau.substack.com·19h·
Discuss: Substack
⚙️TLA+
Writing for Developers: Blogs that get read
github.com·6h·
Discuss: Hacker News
📰RSS Feed Discovery
How I Simplified Contributor Workflows with Rules, Prompts, and AI Agents
dev.to·18h·
Discuss: DEV
⚡Proof Automation
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·1d
💻Local LLMs
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·7h
🧮Kolmogorov Complexity
Distribution Preference Optimization: A Fine-grained Perspective for LLM Unlearning
arxiv.org·2d
💻Local LLMs
Moeve: Controlling resource deployment at scale with AWS CloudFormation Guard Hooks
aws.amazon.com·1d
🕸️Mesh Archiving
Declarative Partial Updates Proposal
github.com·2d·
Discuss: Hacker News
🎬WebCodecs
GCC 16 Compiler Shifting To "Stage 3" Development Next Month
phoronix.com·1d
🔄Language Evolution
Compton: A Compositor for X11
github.com·2d·
Discuss: Hacker News
🎮Game Decompilation
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·7h
🛡Cybersecurity
Automatic Building Code Review: A Case Study
arxiv.org·3d
📏Code Metrics
Automated Predictive Maintenance for Aquaculture Feed Delivery Systems via Bayesian Network Optimization
dev.to·10h·
Discuss: DEV
📡RSS Automation