πΏοΈ 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
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...
« Page 6
β’
Page 8 »