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

Experimenting with Apple’s AI models inside Shortcuts
sixcolors.comΒ·1d
⚑Proof Automation
30 Days of Malware Analysis - What trends can be observed?
cstromblad.comΒ·14h
🦠Malware Analysis
Show HN: I made a fast, offline-first developer toolkit with no ads or tracking
news.ycombinator.comΒ·16hΒ·
Discuss: Hacker News
πŸš€Indie Hacking
Why Dyad?: A Perspective for Modelica Users
juliahub.comΒ·1dΒ·
Discuss: Hacker News
πŸ’§Liquid Types
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Β·7hΒ·
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Β·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
How AI Helped Me Build a CRM Integration 60% Faster: A Real Vue.js + CouchDB Case Study
dev.toΒ·8hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Exploring High Efficiency Web Analysis Results(1750876031390300οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
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Β·1dΒ·
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Β·14hΒ·
Discuss: DEV
βœ‹Tactile Computing
Async Programming in Rust Using Tokio: A Practical Guide
dev.toΒ·13hΒ·
Discuss: DEV
πŸ¦€Rust Macros
AI Memories, PHP Reachability, CVE Policies, and Benchmarking
dev.toΒ·2dΒ·
Discuss: DEV
⚑Performance Tools
Best Programming Language for 2026
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Language Evolution
Python Fundamentals: asynchronous
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
Building a Weather App: A Complete Guide to Weather APIs and Data Visualization
dev.toΒ·9hΒ·
Discuss: DEV
πŸ“Concrete Syntax
Rise of OpenJDK & Oracle vs Others
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Language Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap