๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Verification

Proof Assistants, Correctness Guarantees, Logic Systems, Specification

The borrowchecker is what I like the least about Rust
viralinstruction.comยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust
Why Fintechs in India Prefer AWS for Chaos Engineering & DR
blog.devops.devยท12h
๐Ÿ”„DevOps
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
๐Ÿง  Can AI Collaborate on Code โ€” or Just Complete It?
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„DevOps
[P] Anyone interested in adding their fine-tuned / open source models to this benchmark?
reddit.comยท2dยท
Discuss: r/MachineLearning
๐Ÿฆ€Rust
Math Fractions Teacher Helper
dev.toยท3dยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
FastAPI vs Flask: The Async Showdown of Python Web Frameworks
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
Polarforming Design for Movable Antenna Systems
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Mathematical modeling and sensitivity analysis of hypoxia-activated drugs
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Pet Care: Voice Agent for Automated Pet Profile Management & Health Tracking
dev.toยท11hยท
Discuss: DEV
๐ŸŽจUX, UI
VTarbel: Targeted Label Attack with Minimal Knowledge on Detector-enhanced Vertical Federated Learning
arxiv.orgยท1d
๐ŸŒNetwork Security
A Novel Two-Dimensional Smoothing Algorithm
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
What is Conditional Probability?
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
One Step is Enough: Multi-Agent Reinforcement Learning based on One-Step Policy Optimization for Order Dispatch on Ride-Sharing Platforms
arxiv.orgยท1d
๐ŸณContainer Orchestration
Agentic AI: Get off the Manual Management Highwire
dev.toยท19hยท
Discuss: DEV
๐Ÿ”„DevOps
Disability Across Cultures: A Human-Centered Audit of Ableism in Western and Indic LLMs
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Interpretable Embeddings of Speech Enhance and Explain Brain Encoding Performance of Audio Models
arxiv.orgยท3h
๐Ÿ—๏ธLanguage Design
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.orgยท2d
๐Ÿฆ€Rust
Semantic Segmentation based Scene Understanding in Autonomous Vehicles
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
MCP Client Development with Streamlit: Build Your AI-Powered Web App
towardsdatascience.comยท1d
๐ŸณContainer Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap