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

A Study on the Application of Artificial Intelligence in Ecological Design
arxiv.orgยท13h
๐Ÿ—๏ธLanguage Design
Abhigyan Khaund on the Systems Engineering Behind AI Applications
hackernoon.comยท1d
๐Ÿ”„DevOps
Machine Learning Fundamentals: decision trees project
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„DevOps
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Google I/O Connect 2025 Recap: Gemini, Open Models, and AI in Action
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„DevOps
As AI Agents Rise, Your Non-Human Identity Strategy Must Evolve
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„DevOps
CompassJudger-2: Towards Generalist Judge Model via Verifiable Rewards
arxiv.orgยท2d
๐Ÿฆ€Rust
Machine Learning Fundamentals: decision trees with python
dev.toยท1dยท
Discuss: DEV
๐ŸณContainer Orchestration
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.orgยท13h
๐Ÿ—๏ธLanguage Design
Compressed data structures for Heegaard splittings
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Introduction: AI Terminology
dev.toยท1dยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Machine Learning Fundamentals: data preprocessing with python
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ€Rust
How Grammarly and Kasta Made Ukraine a Global Clojure Hotspot
hackernoon.comยท1d
๐Ÿฆ€Rust
Anthropomimetic Uncertainty: What Verbalized Uncertainty in Language Models is Missing
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
A Leap-on-Success Exhaustive Search Method to Find Optimal Robust Minimum Redundancy Arrays (RMRAs): New Array Configurations for Sensor Counts 11 to 20
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
eSapiens: A Platform for Secure and Auditable Retrieval-Augmented Generation
arxiv.orgยท2d
๐Ÿ”„DevOps
Machine Learning Fundamentals: decision trees tutorial
dev.toยท2dยท
Discuss: DEV
๐ŸณContainer Orchestration
Enhancing Your Matillion Python Component with a Custom Matillion Python Package Powered by Amazon Q Developer
dev.toยท2dยท
Discuss: DEV
๐ŸณContainer Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap