Travels, 10
cameroncounts.wordpress.com·1d
🎯Performance Proofs
CVE-2025-32977 - Quest KACE Unauthenticated Backup Upload
seclists.org·3d
🛡Cybersecurity
An OCC Idea
lambdacreate.com·1d
🗄️Database Internals
Issue 478
haskellweekly.news·15h
🔗Functional Compilers
esnet/iperf
github.com·1h
🛡️eBPF Security
OpenADP, needs volunteers to help prevent mass secret surveillance
openadp.org·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
Understanding Prolly Tree Balance
dolthub.com·1d·
Discuss: Hacker News
🌲B-tree Variants
Calculus Phobic's Introduction to Differentiable Programming
andersource.dev·5h·
Discuss: Hacker News
⚡Incremental Computation
An AI Agent That Interprets Papers So You Don’t Have To: Full Build Guide
hackernoon.com·15h
🔬Academic Search
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·2d·
Discuss: Hacker News
⚙️TLA+
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·1d·
Discuss: Hacker News
🌀Brotli Internals
Design high-confidence computers using trusted instructional set architecture and emulators
arxiv.org·2d
🧪Hardware Fuzzing
Floating-Point Data Transformation for Lossless Compression
arxiv.org·2d
🌊Streaming Compression
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Filevine’s Artificial Intelligence Is Freeing Legal Professionals from the Paper Chase
hackernoon.com·6h
🔄Document Workflows
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·1d·
Discuss: DEV
🔌Operating system internals
Deep Dive into Databend UDF, implementing your data solutions with python, WASM and beyond
dev.to·1d·
Discuss: DEV
📋DFDL
Using PhantomData and Zero-Sized Types
dev.to·1d·
Discuss: DEV
🔒Type Safety
Breaking Limits: Highly-Isolated and Low-Overhead Wasm Container - Soichiro Ueda & Ai Nozaki
youtube.com·6h
⚙️WASM Runtime
How to Use FLUX.1 Kontext API? Here are Methods
dev.to·16h·
Discuss: DEV
🌊Streaming Systems