🐿️ 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Β·18h
🦠Malware Analysis
Why Dyad?: A Perspective for Modelica Users
juliahub.comΒ·1dΒ·
Discuss: Hacker News
πŸ’§Liquid Types
Adaptive, simplified design system colors
gfor.restΒ·1hΒ·
Discuss: Lobsters, Hacker News
πŸ“–Nordic Typography
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Β·12hΒ·
Discuss: DEV
πŸ‘οΈObservatory Systems
How AI Helped Me Build a CRM Integration 60% Faster: A Real Vue.js + CouchDB Case Study
dev.toΒ·12hΒ·
Discuss: DEV
πŸŒ€Brotli Internals
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 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
Exploring High Efficiency Web Analysis Results(1750876031390300οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
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Β·18hΒ·
Discuss: DEV
βœ‹Tactile Computing
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
Async Programming in Rust Using Tokio: A Practical Guide
dev.toΒ·18hΒ·
Discuss: DEV
πŸ¦€Rust Macros
Building a Weather App: A Complete Guide to Weather APIs and Data Visualization
dev.toΒ·13hΒ·
Discuss: DEV
πŸ“Concrete Syntax
Rise of OpenJDK & Oracle vs Others
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Language Evolution
Python Fundamentals: asynchronous
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap