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Β·13hΒ·
Discuss: Hacker News
🌳Context free grammars
How to (Almost) solve cybersecurity once and for all
adaptive.liveΒ·1dΒ·
Discuss: Hacker News
πŸ”Systems Hardening
Counter Service: How we rewrote it in Rust
engineering.grab.comΒ·3dΒ·
Discuss: Hacker News
πŸ”’Linear Types
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
OpenAI Is Ditching TypeScript to Rebuild Codex CLI with Rust
quiz.businessexplain.comΒ·12hΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
Do AI Code Review Tools Work, or Just Pretend?
redmonk.comΒ·13hΒ·
Discuss: Hacker News
πŸ“Code Metrics
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ“¦Container Security
Critical Security Importance Digital Age Web Techniques（1750818928214500οΌ‰
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”’WASM Capabilities
Day 2: software engineering Insights (#2)
dev.toΒ·8hΒ·
Discuss: DEV
πŸ“Code Metrics
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000οΌ‰
dev.toΒ·2dΒ·
Discuss: DEV
πŸ¦€Rust Borrowing
IP Sentry (Golang)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ›‘οΈeBPF Security
πŸ‘Ή Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.toΒ·7hΒ·
Discuss: DEV
Ξ»Lambda Encodings
Password-Derived Signature Authentication
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ”’LDAP Security
How and Why to Use Patches
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“¦Package Managers
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.orgΒ·3h
πŸ“ƒManuscript Tokenization
Portia – open-source framework that makes it easy to build Agentic AI workflows
quiz.businessexplain.comΒ·12hΒ·
Discuss: Hacker News
πŸ‘‘Isabelle
Exploring High Efficiency Web Analysis Results（1750876031390300οΌ‰
dev.toΒ·12hΒ·
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