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

Show HN: I made a fast, offline-first developer toolkit with no ads or tracking
news.ycombinator.comΒ·3hΒ·
Discuss: Hacker News
πŸš€Indie Hacking
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Β·20hΒ·
Discuss: Hacker News
🌳Context free grammars
How to (Almost) solve cybersecurity once and for all
adaptive.liveΒ·1dΒ·
Discuss: Hacker News
πŸ”Systems Hardening
Proficient Python: A free interactive online course
blog.pamelafox.orgΒ·2dΒ·
Discuss: www.blogger.com, Hacker News
πŸ”—Concatenative Programming
Rust: A language that grows with you, your career and your projects
kerkour.comΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Counter Service: How we rewrote it in Rust
engineering.grab.comΒ·3dΒ·
Discuss: Hacker News
πŸ”’Linear Types
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.comΒ·19hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.comΒ·19hΒ·
Discuss: Hacker News
πŸ‘‘Isabelle
Exploring High Efficiency Web Analysis Results(1750876031390300οΌ‰
dev.toΒ·19hΒ·
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
How and Why to Use Patches
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“¦Package Managers
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
Password-Derived Signature Authentication
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ”’LDAP Security
Best Programming Language for 2026
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Language Evolution
Python Fundamentals: asynchronous
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
Rise of OpenJDK & Oracle vs Others
dev.toΒ·12hΒ·
Discuss: DEV
πŸ”„Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap