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

Visualizing distributions with pepperoni pizza (and javascript)
ntietz.com·3d
🏗️Language Design
Anna's Archive: An Update from the Team
annas-archive.org·2d·
Discuss: Hacker News
🦀Rust
Enhancing Interactive Voting-Based Map Matching: Improving Efficiency and Robustness for Heterogeneous GPS Trajectories
arxiv.org·3d
🦀Rust
Understanding GRU in Deep Learning (Made Simple for Beginners)
dev.to·1d·
Discuss: DEV
🏗️Language Design
An opensource idea - Cloudless AI inference platform
reddit.com·2d·
Discuss: r/kubernetes
🔄DevOps
kubernetes - splunk logs data analysis using ML
reddit.com·3d·
Discuss: r/kubernetes
🐳Container Orchestration
RMSL: Weakly-Supervised Insider Threat Detection with Robust Multi-sphere Learning
arxiv.org·3d
🐳Container Orchestration
Pepeto Presale vs Shiba Inu Price Prediction: Which Meme Coin Has The Bigger Upside In 2025?
hackernoon.com·14h
🦀Rust
CoMoNM: A Cost Modeling Framework for Compute-Near-Memory Systems
arxiv.org·3d
🦀Rust
Efficient Image-to-Image Schr\"odinger Bridge for CT Field of View Extension
arxiv.org·3d
🏗️Language Design
Volumetric Stability Enhancement in Sn-Cu Alloys via Dynamic Phase Modulation & Microstructural Control
dev.to·2d·
Discuss: DEV
🐳Container Orchestration
Enhanced Thermal Conductivity Prediction via Multi-Scale Graph Neural Network Fusion
dev.to·1d·
Discuss: DEV
🏗️Language Design
AI-Driven Molecular Docking Scoring Function Optimization for Targeted Drug Delivery
dev.to·4d·
Discuss: DEV
🦀Rust
Scalable Exon Skipping Optimization via Generative Network Pruning & Dynamic Reinforcement Learning
dev.to·3d·
Discuss: DEV
🦀Rust
Enhanced Nanoparticle Detection & Quantification via Multi-Modal Spectral Deconvolution
dev.to·3d·
Discuss: DEV
🐳Container Orchestration
Compositional Zero-shot Learning via Progressive Language-based Observations
arxiv.org·3d
🏗️Language Design
Sophisticated Learning: A novel algorithm for active learning during model-based planning
arxiv.org·3d
🦀Rust
Enhanced Target Tracking via Bayesian Multisensor Fusion and Adaptive Kalman Filtering (BMFAKF)
dev.to·4d·
Discuss: DEV
🏗️Language Design
Blinko: Your AI-Powered, Self-Hosted Note-Taking Revolution
dev.to·17h·
Discuss: DEV
🎨UX, UI
Predicting Customer Churn with TensorFlow – A Beginner-Friendly Guide
dev.to·2d·
Discuss: DEV
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap