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

Row Polymorphic Programming
stranger.systemsยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ—๏ธLanguage Design
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.spaceยท1d
๐Ÿฆ€Rust
NOCTA: Non-Greedy Objective Cost-Tradeoff Acquisition for Longitudinal Data
arxiv.orgยท1h
๐Ÿ—๏ธLanguage Design
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.comยท1d
๐Ÿฆ€Rust
How Grammarly and Kasta Made Ukraine a Global Clojure Hotspot
hackernoon.comยท1d
๐Ÿฆ€Rust
BlueGlass: A Framework for Composite AI Safety
arxiv.orgยท2d
๐Ÿฆ€Rust
Machine Learning Fundamentals: data preprocessing tutorial
dev.toยท3dยท
Discuss: DEV
๐ŸณContainer Orchestration
A Study on the Application of Artificial Intelligence in Ecological Design
arxiv.orgยท1h
๐Ÿ—๏ธLanguage Design
Machine Learning Fundamentals: decision trees project
dev.toยท1dยท
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ยท16hยท
Discuss: DEV
๐Ÿ”„DevOps
As AI Agents Rise, Your Non-Human Identity Strategy Must Evolve
dev.toยท14hยท
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ยท1h
๐Ÿ—๏ธLanguage Design
Compressed data structures for Heegaard splittings
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Introduction: AI Terminology
dev.toยท14hยท
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ยท2dยท
Discuss: DEV
๐Ÿฆ€Rust
Loading...Loading more...
AboutBlogChangelogRoadmap