The Sliding Window in Haskell & Rust
mmhaskell.com·2d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·4h
🌊Streaming Systems
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
VFArch\=e: A Dual-Mode Framework for Locating Vulnerable Functions in Open-Source Software
arxiv.org·2d
🛡️eBPF Security
The Guide to the Foundation Models Framework
azamsharp.com·16h·
Discuss: Hacker News
λLambda Formalization
Show HN: CodePrism – an AI-generated code analysis engine as MCP
rustic-ai.github.io·2d·
Discuss: Hacker News
🦀Rust Macros
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
`safe-math` is now on crates.io – Write regular math in Rust, with overflow checks and no panics
reddit.com·3d·
Discuss: r/rust
🦀Rust Macros
To Bind and Loose a Reference
thephd.dev·4d·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Rust Blender Extension API with Hot Reloading
algebraic.games·2d·
Discuss: Hacker News
🦀Rust Borrowing
Returning Iterators from Functions
dev.to·2d·
Discuss: DEV
🦀Rust Macros
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·19h·
Discuss: Hacker News, r/programming
🔗Lisp
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·4h·
Discuss: Hacker News
📏Code Metrics
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·21h·
Discuss: DEV
📐Error Bounds
So you want to serialize some DER?
alexgaynor.net·6d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·2d
📏Code Metrics
Memory Safety in Web Rust System Zero Cost Secure（1750545683665600）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing