🐿️ 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
Tidewave Web: in-browser coding agent for Rails and Phoenix
tidewave.ai·2d·
Discuss: Hacker News, Hacker News
🦀Rust
Branch prediction: Why CPUs can't wait? - namvdo's blog
namvdo.ai·5d·
Discuss: Hacker News, r/compsci, r/programming
🦀Rust
Hybrid-Hierarchical Fashion Graph Attention Network for Compatibility-Oriented and Personalized Outfit Recommendation
arxiv.org·3d
🎨UX, UI
Customer Relationship Management (CRM) Software and Examples for Startup Growth
dev.to·11h·
Discuss: DEV
🐳Container Orchestration
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
The Critical Importance of Data Analytics in Modern Business Success: Transforming Raw Information into Strategic Advantage
dev.to·3d·
Discuss: DEV
🔄DevOps
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·6d
🎨UX, UI
Adaptive Spiking with Plasticity for Energy Aware Neuromorphic Systems
arxiv.org·2d
🦀Rust
Adaptive Direct Memory Access (DMA) Scheduling via Reinforcement Learning for High-Throughput Data Streaming
dev.to·5d·
Discuss: DEV
🦀Rust
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
Boosting Mixed-Initiative Co-Creativity in Game Design: A Tutorial
arxiv.org·3d
🎨UX, UI
Bandit-Based Charging with Beamforming for Mobile Wireless-Powered IoT Systems
arxiv.org·2d
🌐Network Security
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
Loading...Loading more...
AboutBlogChangelogRoadmap