πΏοΈ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
π Proof Carrying Code
Program Verification, Certified Compilation, Type Safety, Mobile Code
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 9
β’
Page 11 »