The Sliding Window in Haskell & Rust
mmhaskell.com·3d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·8h
🌊Streaming Systems
Show HN: CodePrism – an AI-generated code analysis engine as MCP
rustic-ai.github.io·2d·
Discuss: Hacker News
🦀Rust Macros
The Guide to the Foundation Models Framework
azamsharp.com·20h·
Discuss: Hacker News
λLambda Formalization
The Cost of AI-Generated Code: Detection vs. Remediation
rsolv.dev·8h·
Discuss: Hacker News
📏Code Metrics
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
The Engineering Tradeoffs Behind HNSW-Based Vector Search
dev.to·3h·
Discuss: DEV
🗂️Vector Databases
Predicting Faulty Validations in Cluster Issue Detection: A ML Approach - DevConf.CZ 2025
youtube.com·1h
📏Code Metrics
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·1h
🔓Password Cracking
So you want to serialize some DER?
alexgaynor.net·6d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·4h·
Discuss: DEV
🔌Interface Evolution
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
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·1d·
Discuss: DEV
📐Error Bounds
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·2d
💧Liquid Types
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Learning Lineage Constraints for Data Science Operations
arxiv.org·2d
🏺Database Archaeology
Rust’s Approach to Memory and Performance
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Should I learn Rust or C as my second language after Python?
reddit.com·1d·
Discuss: r/rust
🔩Systems Programming