Developing with Nix
andrestc.com·4h
❄️Nixpkgs
The Sliding Window in Haskell & Rust
mmhaskell.com·3d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·17h
🌊Streaming Systems
Show HN: CodePrism – an AI-generated code analysis engine as MCP
rustic-ai.github.io·2d·
Discuss: Hacker News
🦀Rust Macros
RAG Blueprint
docs.vespa.ai·4h·
Discuss: Hacker News
🤖Archive Automation
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
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·7h·
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
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.com·4h·
Discuss: Hacker News
🌊Streaming Systems
Learning Lineage Constraints for Data Science Operations
arxiv.org·2d
🏺Database Archaeology
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
LR(1) parse-tables generator
github.com·2d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·15h
🔗Parser Combinators
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·4h·
Discuss: DEV
🌊Stream Processing
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
📘EP01 - Intro to Rust and Solana Dev Setup
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing