🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📜 Proof Carrying Code

Program Verification, Certified Compilation, Type Safety, Mobile Code

Ensuring syntactic interoperability using consumer-driven contract testing [STVR Journal]
dirkriehle.com·4d
🔄Reproducible Builds
CVE-2025-32977 - Quest KACE Unauthenticated Backup Upload
seclists.org·3d
🛡Cybersecurity
AI and Programming Language Communities
jerf.org·16h
🎯Gradual Typing
Encrypting identifiers in practice
sjoerdlangkemper.nl·2d
🌊Stream Ciphers
A Standard for Human-Centered Investigation Playbooks
chrissanders.org·1d
🎯Threat Hunting
Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·2d
⚡Proof Automation
Simplicity, Agility, and Agency
articles.pragdave.me·1d·
Discuss: Hacker News
⬜Minimalism
Do AI Code Review Tools Work, or Just Pretend?
redmonk.com·1d·
Discuss: Hacker News
📏Code Metrics
How I Built a Smarter ZIP Engine with AI: My Day 9 & 10 Journey (Pagonic Project)
dev.to·20h·
Discuss: DEV
👁️Observatory Systems
libai: A C library for embedding Apple Intelligence on-device Foundation models in any application with full support for native tool calling and MCP.
github.com·4d·
Discuss: Hacker News, r/programming
🌀Brotli Internals
Exploring High Efficiency Web Analysis Results(1750876031390300)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Unla: Instantly turn APIs n MCP servers into MCP servers,no code changes needed
github.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·2d·
Discuss: Hacker News
📦Container Security
How and Why to Use Patches
dev.to·2d·
Discuss: DEV
📦Package Managers
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750830996145900)
dev.to·2d·
Discuss: DEV
🌐Network Protocols
Memory Safety in Web Rust System Zero Cost Secure(1750632264828500)
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Lazyeat: Control Your World with Hand Gestures!
dev.to·1d·
Discuss: DEV
✋Tactile Computing
FreeBSD Foundation Launches SBOM Project
discoverbsd.com·8h
🐡OpenBSD
AI Memories, PHP Reachability, CVE Policies, and Benchmarking
dev.to·2d·
Discuss: DEV
⚡Performance Tools
Best Programming Language for 2026
dev.to·2d·
Discuss: DEV
🔄Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap