🐿️ 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

30 Days of Malware Analysis - What trends can be observed?
cstromblad.com·5h
🦠Malware Analysis
Show HN: I made a fast, offline-first developer toolkit with no ads or tracking
news.ycombinator.com·7h·
Discuss: Hacker News
🚀Indie Hacking
Why Dyad?: A Perspective for Modelica Users
juliahub.com·1d·
Discuss: Hacker News
💧Liquid Types
Counter Service: How we rewrote it in Rust
engineering.grab.com·3d·
Discuss: Hacker News
🔒Linear Types
Memory Safety in Web Rust System Zero Cost Secure(1750671065382000)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Show HN: Self-Hosted OAuth Authentication Library for MCP Servers
github.com·2h·
Discuss: Hacker News
🔌Interface Evolution
IP Sentry (Golang)
dev.to·2d·
Discuss: DEV
🛡️eBPF Security
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·1d·
Discuss: DEV
📏Code Metrics
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·10h
💧Liquid Types
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·7h·
Discuss: DEV
🔌Interface Evolution
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·14h
📃Manuscript Tokenization
Amal’s First Switch Equation: Clean FizzBuzz with Bitmask Logic
dev.to·5h·
Discuss: DEV
🌊Stream Ciphers
Lazyeat: Control Your World with Hand Gestures!
dev.to·5h·
Discuss: DEV
✋Tactile Computing
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·3d·
Discuss: Hacker News, r/programming
🌀Brotli Internals
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·2d·
Discuss: Hacker News
📦Container Security
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750830996145900)
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Exploring High Efficiency Web Analysis Results(1750876031390300)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
How and Why to Use Patches
dev.to·1d·
Discuss: DEV
📦Package Managers
Memory Safety in Web Rust System Zero Cost Secure(1750632264828500)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
Async Programming in Rust Using Tokio: A Practical Guide
dev.to·4h·
Discuss: DEV
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap