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

Safe Cell field projection in Rust (2020)
abubalay.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust
Beginner’s Guide to String Manipulation in Python
kdnuggets.com·1d
🏗️Language Design
Rethinking CLI Interfaces for AI
notcheckmark.com·4d·
Discuss: Lobsters, Hacker News
🐳Container Orchestration
should v0.1.0 – New assertion library for Go with more readable error messages
reddit.com·2d·
Discuss: r/golang
🦀Rust
Detecting code copying at scale with Vendetect
blog.trailofbits.com·2d·
Discuss: Hacker News
🦀Rust
Hyperelastic nature of the Hoek-Brown criterion
arxiv.org·1d
🏗️Language Design
We raised $29M to make your agents stronger, smarter, and better
dev.to·1d·
Discuss: DEV
🔄DevOps
Identify Mystery Plants Instantly with AI
dev.to·1h·
Discuss: DEV
🔄DevOps
Perplexity’s Comet Browser: The AI-Powered Revolution Redefining How We Surf the Web
dev.to·13h·
Discuss: DEV
🎨UX, UI
An Overview of the Risk-based Model of AI Governance
arxiv.org·1d
🦀Rust
Orchestrating 6 Subagents to Build a Collaborative API Playground for Kids
dev.to·2d·
Discuss: DEV
🦀Rust
Procedure Learning via Regularized Gromov-Wasserstein Optimal Transport
arxiv.org·1d
🏗️Language Design
GhostLayer - AI Text Humanization - My first app launching
dev.to·4h·
Discuss: DEV
🎨UX, UI
AI Agent tutorial from the basics to building multi-agent teams
dev.to·2d·
Discuss: DEV
🦀Rust
Streamline deep learning environments with Amazon Q Developer and MCP
aws.amazon.com·1d
🐳Container Orchestration
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.org·1d
🏗️Language Design
Beyond Architectures: Evaluating the Role of Contextual Embeddings in Detecting Bipolar Disorder on Social Media
arxiv.org·1d
🏗️Language Design
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·1d
🎨UX, UI
Don’t Be Scared of AI. Be Scared of Being Basic in a World That’s Upgrading.
dev.to·23h·
Discuss: DEV
🔄DevOps
NoHumansRequired: Autonomous High-Quality Image Editing Triplet Mining
arxiv.org·2d
🏗️Language Design
Loading...Loading more...
AboutBlogChangelogRoadmap