🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

Developing with Nix
andrestc.com·8h
❄️Nixpkgs
The Sliding Window in Haskell & Rust
mmhaskell.com·3d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·22h
🌊Streaming Systems
Show HN: CodePrism – an AI-generated code analysis engine as MCP
rustic-ai.github.io·3d·
Discuss: Hacker News
🦀Rust Macros
RAG Blueprint
docs.vespa.ai·9h·
Discuss: Hacker News
🤖Archive Automation
Design Decisions Behind app.build, a Prompt-to-App Generator
neon.com·9h·
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
How AI Helped Me Build a CRM Integration 60% Faster: A Real Vue.js + CouchDB Case Study
dev.to·4h·
Discuss: DEV
🌀Brotli Internals
Flame Graph Performance Truth Analysis(1750839255230100)
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·19h
🔗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
How to build a MCP (model context protocol) server for UI libraries + repo
dev.to·12h·
Discuss: DEV
🔌Interface Evolution
Single Core Hundred Thousand Concurrency(1750947668443300)
dev.to·9h·
Discuss: DEV
🌊Stream Processing
📘EP01 - Intro to Rust and Solana Dev Setup
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure(1750525775079000)
dev.to·5d·
Discuss: DEV
🦀Rust Borrowing
ProofBoard My Hackathon Journey with Bolt!
dev.to·7h·
Discuss: DEV
⚡Proof Automation
How to Create Secure AI Applications
dev.to·3h·
Discuss: DEV
🔒Language-based security
Rust’s Approach to Memory and Performance
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Loading...Loading more...
AboutBlogChangelogRoadmap