🐿️ 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

The Sliding Window in Haskell & Rust
mmhaskell.com·4d
λLambda Encodings
abhisheksr01/spring-boot-microservice-best-practices
github.com·1d
🌊Streaming Systems
RAG Blueprint
docs.vespa.ai·18h·
Discuss: Hacker News
🤖Archive Automation
Adaptive, simplified design system colors
gfor.rest·2h·
Discuss: Lobsters, Hacker News
📖Nordic Typography
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·1d
🔗Parser Combinators
Rust Concurrency Mastery: Safe Threading, Mutexes, Channels, and Atomic Operations Guide
dev.to·5d·
Discuss: DEV
🦀Embedded Rust
OpenAI is Ditching TypeScript to Rebuild Codex CLI with Rust
analyticsindiamag.com·1d·
Discuss: r/programming
🦀Rust Macros
All you wanted to know about sw vulnerabilities…but were too busy to look into - DevConf.CZ 2025
youtube.com·1d
🔐CBOR
Taming the Wild West of ML: Practical Model Signing with Sigstore on Kaggle - DevConf.CZ 2025
youtube.com·1d
💧Liquid Types
Exploring High Efficiency Web Analysis Results(1750904353002600)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.org·1d
📏Linear Logic
How to Create Secure AI Applications
dev.to·11h·
Discuss: DEV
🔒Language-based security
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·3d
🔧Hardware Verification
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·2d·
Discuss: DEV
🔗Concatenative Programming
Made Tui file manager inspired from yazi for learning rust.
reddit.com·3d·
Discuss: r/rust
🦀Rust Borrowing
Fully lifted \emph{blirp} interpolation -- a large deviation view
arxiv.org·2d
🌀Fractal Compression
Memory Safety in Web Rust System Zero Cost Secure(1750506908117500)
dev.to·5d·
Discuss: DEV
🦀Rust Borrowing
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·4h
🧠Machine Learning
How and Why to Use Patches
dev.to·2d·
Discuss: DEV
📦Package Managers
Further Understanding Cargo and Crates.io
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap