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

Adding lookbehinds to rust-lang/regex
systemf.epfl.chยท4dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust
Bridging Boundaries: How to Foster Effective Research Collaborations Across Affiliations in the Field of Trust and Safety
arxiv.orgยท1d
๐ŸŒNetwork Security
Manage multi-tenant Amazon Bedrock costs using application inference profiles
aws.amazon.comยท17h
๐Ÿฆ€Rust
Cancellative Convex Semilattices
arxiv.orgยท3d
๐Ÿ—๏ธLanguage Design
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.orgยท2d
๐Ÿ—๏ธLanguage Design
IoT AI with Ioto
dev.toยท2dยท
Discuss: DEV
๐ŸณContainer Orchestration
Waiting is worth it and can be improved with predictions
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Funnel-HOI: Top-Down Perception for Zero-Shot HOI Detection
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.orgยท1d
๐Ÿ—๏ธLanguage Design
I'm Switching to Python and Actually Liking It
cesarsotovalero.netยท3dยท
Discuss: Hacker News
๐Ÿ”„DevOps
Open Sourcing my AI Evaluation Library
dev.toยท3dยท
Discuss: DEV
๐Ÿฆ€Rust
ShopSmart AI - Revolutionary E-commerce Search with Algolia MCP Server
dev.toยท2dยท
Discuss: DEV
๐ŸŽจUX, UI
Machine Learning Fundamentals: data preprocessing project
dev.toยท5dยท
Discuss: DEV
๐ŸณContainer Orchestration
From Neural Network Frustration to Mathematical Innovation
dev.toยท1dยท
Discuss: DEV
๐Ÿ—๏ธLanguage Design
Using AI in the development of stdlib
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
Mastering the Exhaustive Prior Art Search Challenge
dev.toยท3dยท
Discuss: DEV
๐ŸŽจUX, UI
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.orgยท2d
๐Ÿฆ€Rust
Fundamental Concepts In Cloud Computing.
dev.toยท1dยท
Discuss: DEV
๐ŸณContainer Orchestration
Which graph motif parameters count?
arxiv.orgยท2d
๐Ÿ—๏ธLanguage Design
๐Ÿ›๏ธ Using Blockchain to Anchor AI: Why Future AI Systems Require Consensus and Censorship Resistance
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust
Loading...Loading more...
AboutBlogChangelogRoadmap