The Sliding Window in Haskell & Rust
mmhaskell.com·3d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·13h
🌊Streaming Systems
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·4h·
Discuss: Hacker News
📐E-graphs
Show HN: CodePrism – an AI-generated code analysis engine as MCP
rustic-ai.github.io·2d·
Discuss: Hacker News
🦀Rust Macros
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
15 Go Packages Worth Your Time
dev.to·2h·
Discuss: DEV
💧Liquid Types
🧠 Solving LeetCode Until I Become Top 1% — Day `30`
dev.to·1d·
Discuss: DEV
📐Error Bounds
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·3h·
Discuss: DEV
🔌Interface Evolution
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·2d·
Discuss: r/rust
🔩Systems Programming
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
📘EP01 - Intro to Rust and Solana Dev Setup
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·10h
🔗Parser Combinators
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
Memory Safety in Web Rust System Zero Cost Secure（1750525775079000）
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing