๐Ÿฟ๏ธ 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

Intuition behind Power of 2 Choices Load balancing
amandeepsp.github.ioยท4dยท
Discuss: r/compsci, r/programming
๐Ÿฆ€Rust
Small Projects Thread Feedback
reddit.comยท3dยท
Discuss: r/golang
๐Ÿฆ€Rust
Hybrid-Hierarchical Fashion Graph Attention Network for Compatibility-Oriented and Personalized Outfit Recommendation
arxiv.orgยท3d
๐ŸŽจUX, UI
Smarter Search, Smarter Workflows
dev.toยท3dยท
Discuss: DEV
๐ŸŽจUX, UI
Stochastic Modeling of Filtration with Sieving in Graded Pore Networks
arxiv.orgยท2d
๐ŸŒNetwork Security
A Cooperative Game-Based Multi-Criteria Weighted Ensemble Approach for Multi-Class Classification
arxiv.orgยท3d
๐Ÿ”„DevOps
5 Essential Tools for Every Data Scientist
dev.toยท3dยท
Discuss: DEV
๐ŸŽจUX, UI
Google AI Mode Is Expanding To 180 Countries, Adding an Agentic Restaurant Finder
tech.slashdot.orgยท3h
๐ŸณContainer Orchestration
Lumen: Consistent Video Relighting and Harmonious Background Replacement with Video Generative Models
arxiv.orgยท2d
๐ŸŽจUX, UI
Language models align with brain regions that represent concepts across modalities
arxiv.orgยท3d
๐Ÿ—๏ธLanguage Design
The Critical Importance of Data Analytics in Modern Business Success: Transforming Raw Information into Strategic Advantage
dev.toยท3dยท
Discuss: DEV
๐Ÿ”„DevOps
Adaptive Spiking with Plasticity for Energy Aware Neuromorphic Systems
arxiv.orgยท2d
๐Ÿฆ€Rust
Emotionally Adaptive Generative Art: A Bayesian Optimization Framework
dev.toยท2dยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
Unveiling Chemically-Induced Tau Aggregation Resolution via Targeted Peptide Libraries and AI-Driven Screening
dev.toยท5dยท
Discuss: DEV
๐Ÿฆ€Rust
Adaptive Multi-Scale Anomaly Detection via Hierarchical Feature Fusion for Wafer Inspection
dev.toยท4dยท
Discuss: DEV
๐ŸŒNetwork Security
Local Meeting Notes with Whisper Transcription + Ollama Summaries (Gemma3n, LLaMA, Mistral) โ€” Meetily AI
dev.toยท3dยท
Discuss: DEV
๐ŸณContainer Orchestration
MobQA: A Benchmark Dataset for Semantic Understanding of Human Mobility Data through Question Answering
arxiv.orgยท3d
๐Ÿ—๏ธLanguage Design
From Black Box to Transparency: Enhancing Automated Interpreting Assessment with Explainable AI in College Classrooms
arxiv.orgยท6d
๐Ÿ—๏ธLanguage Design
Bio-Based Fertilizer Optimization via Microbial Consortia Predictive Modeling
dev.toยท3dยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
Benchmarking Prosody Encoding in Discrete Speech Tokens
arxiv.orgยท3d
๐Ÿ—๏ธLanguage Design
Loading...Loading more...
AboutBlogChangelogRoadmap