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

Generating Emotions - The Future of Art, or Just Mimics of Expression?
hackernoon.comยท1d
๐Ÿ—๏ธLanguage Design
Overview of ADoBo at IberLEF 2025: Automatic Detection of Anglicisms in Spanish
arxiv.orgยท8h
๐Ÿ—๏ธLanguage Design
Ika Launches Mainnet to Enable Native Cross-Chain Asset Control on Sui Blockchain
hackernoon.comยท19h
๐ŸณContainer Orchestration
An empirical comparison of some outlier detection methods with longitudinal data
arxiv.orgยท8h
๐Ÿ—๏ธLanguage Design
๐Ÿš€ Need Help Deploying Python Flask Web App
dev.toยท6hยท
Discuss: DEV
๐Ÿ”„DevOps
Top 7 AI Headshot Generators (Tested & Compared)
dev.toยท1hยท
Discuss: DEV
๐Ÿฆ€Rust
NMPCM: Nonlinear Model Predictive Control on Resource-Constrained Microcontrollers
arxiv.orgยท8h
๐Ÿฆ€Rust
Multi-View Reconstruction with Global Context for 3D Anomaly Detection
arxiv.orgยท8h
๐Ÿ”„DevOps
Failure Risk Prediction in a MOOC: A Multivariate Time Series Analysis Approach
arxiv.orgยท8h
๐Ÿฆ€Rust
Hyperbolic Genome Embeddings
arxiv.orgยท8h
๐Ÿ—๏ธLanguage Design
Graph-R1: Towards Agentic GraphRAG Framework via End-to-end Reinforcement Learning
arxiv.orgยท8h
๐Ÿฆ€Rust
Your personal Blockchain tutor powered by AssemblyAI
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ€Rust
Machine Learning Fundamentals: gradient descent
dev.toยท5dยท
Discuss: DEV
๐Ÿฆ€Rust
Task Master: Your AI-Powered Project Manager
dev.toยท23hยท
Discuss: DEV
๐Ÿฆ€Rust
How the Best AI Agent Developer for CRM Elevates Customer Success
dev.toยท13hยท
Discuss: DEV
๐Ÿ”„DevOps
Efficient Nearest Neighbor Search Using Dynamic Programming
arxiv.orgยท8h
๐Ÿ—๏ธLanguage Design
Impact of Underwater Image Enhancement on Feature Matching
arxiv.orgยท8h
๐Ÿ—๏ธLanguage Design
SWIFT: A General Sensitive Weight Identification Framework for Fast Sensor-Transfer Pansharpening
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Boost Self-Supervised Dataset Distillation via Parameterization, Predefined Augmentation, and Approximation
arxiv.orgยท8h
๐Ÿ—๏ธLanguage Design
Can External Validation Tools Improve Annotation Quality for LLM-as-a-Judge?
arxiv.orgยท6d
๐Ÿ—๏ธLanguage Design
Loading...Loading more...
AboutBlogChangelogRoadmap