UNREDACTED Magazine Issue 009
inteltechniques.com·6h
📡RSS Readers
Beyond the Classroom: Enhancing Security and Productivity with Jamf Safe Internet
jamf.com·16h
🛡Cybersecurity
Anthropic finds 250 poisoned documents are enough to backdoor large language models
the-decoder.com·14h
🔍Vector Forensics
DupeGuru lets you quickly find and remove duplicate files from your drives
techspot.com·1d
🔄Content Deduplication
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·21h
📞Session Types
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
Three ways formally verified code can go wrong in practice
buttondown.com·12h
📜Proof Carrying Code
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·12h·
Discuss: Hacker News
📐Linear Algebra
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·3d
💨Cache Optimization
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·10h·
Discuss: DEV
💾Storage Replication
Controlled Release of Microorganisms from Engineered Living Materials
pubs.acs.org·14h·
Discuss: Hacker News
📦METS Packaging
pgtricks – two tools for backing up PostgreSQL database dumps
github.com·10h·
Discuss: Hacker News
🌳Git Internals
TCDRM: A Tenant Budget-Aware Data Replication Framework for Multi-Cloud Computing
arxiv.org·1d
💾Storage Replication
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
What's your workflow to pass cloud secrets/config metadata to apps safely?
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️Preservation Proofs
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.to·21h·
Discuss: DEV
✅Format Validation
Show HN: I built a LSP with its own parser to learn Rust
github.com·1h·
Discuss: Hacker News
⚡Dependent Rust
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·21h·
Discuss: r/golang
🦀Rust Borrowing
ACMID: Automatic Curation of Musical Instrument Dataset for 7-Stem Music Source Separation
arxiv.org·1d
🎵Audio Formats
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming