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

What Is Wrong with Statement Coverage
bullseye.com·3d·
Discuss: Hacker News
🧪Property-Based Testing
BNFGen: A random text generator based on context-free grammars
baturin.org·17h·
Discuss: Hacker News
🌳Context free grammars
Proficient Python: A free interactive online course
blog.pamelafox.org·2d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
How to (Almost) solve cybersecurity once and for all
adaptive.live·1d·
Discuss: Hacker News
🔐Systems Hardening
Counter Service: How we rewrote it in Rust
engineering.grab.com·3d·
Discuss: Hacker News
🔒Linear Types
Rust: A language that grows with you, your career and your projects
kerkour.com·1d·
Discuss: Hacker News
🦀Rust Macros
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.com·16h·
Discuss: Hacker News
🦀Rust Macros
IP Sentry (Golang)
dev.to·1d·
Discuss: DEV
🛡️eBPF Security
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·2h
💧Liquid Types
Password-Derived Signature Authentication
github.com·2d·
Discuss: Hacker News
🔒LDAP Security
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·7h
📃Manuscript Tokenization
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.com·16h·
Discuss: Hacker News
👑Isabelle
Exploring High Efficiency Web Analysis Results(1750876031390300)
dev.to·16h·
Discuss: DEV
🌊Stream Processing
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·2d·
Discuss: Hacker News, r/programming
🌀Brotli Internals
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·2h
🔐Quantum Security
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols(1750830996145900)
dev.to·1d·
Discuss: DEV
🌐Network Protocols
Memory Safety in Web Rust System Zero Cost Secure(1750632264828500)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
AI Memories, PHP Reachability, CVE Policies, and Benchmarking
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Rise of OpenJDK & Oracle vs Others
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap