What is a Capability?
apievangelist.com·1d
🔐Capability Systems
Fall securing: Exorcising the ghosts of forgotten devices
runzero.com·8h
🏠Home Automation
GaloisInc/parameterized-utils
github.com·19h
🧮Algebraic Datatypes
SAT problems are kind of cool
blog.karanjanthe.me·5h·
Discuss: Hacker News
🧮SMT Solvers
The Q3 2025 Issue of the FreeBSD Journal is Now Available!
freebsdfoundation.org·13h
🐡OpenBSD
Princeton Engineering Anomalies Research
pearlab.icrl.org·22h·
Discuss: Hacker News
🌡️Preservation Physics
Synology walks back controversial compatibility policy for 2025 NAS units — third-party HDD and SSD support returns with DiskStation Manager 7.3 update
tomshardware.com·6h
💿Disk Geometry
Self-Extracting F3
buttondown.com·2d·
Discuss: Hacker News
✅Format Verification
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·2d·
Discuss: DEV
⚡SMT Applications
Synology Reverses Course on Some Drive Restrictions
hardware.slashdot.org·3h
🛡️Preservation Proofs
Evaluating LLM Safety Across Child Development Stages: A Simulated Agent Approach
arxiv.org·17h
💻Programming languages
The Alignment Auditor: A Bayesian Framework for Verifying and Refining LLM Objectives
arxiv.org·17h
💻Local LLMs
Moeve: Controlling resource deployment at scale with AWS CloudFormation Guard Hooks
aws.amazon.com·1d
🕸️Mesh Archiving
Let's Prove Leftpad
github.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
*** OFFICIAL Freeware Software Thread ***
forums.anandtech.com·1d
🏺ZIP Archaeology
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·1d
🔗Parser Combinators
Show HN: Tilly – An Open Source Relationship Journal I Actually Use
github.com·8h·
Discuss: Hacker News
🚀Indie Hacking
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·17h·
Discuss: DEV
💧Liquid Types
AI-Driven Predictive Maintenance Optimization via Federated Learning in Semiconductor Fabrication
dev.to·11h·
Discuss: DEV
⚙️Batch Processing
Show HN: I built a local AI agent desk toy
blog.simone.computer·1h·
Discuss: Hacker News
🎙️Whisper