🐿️ 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
Mastering the Exhaustive Prior Art Search Challenge
dev.to·3d·
Discuss: DEV
🎨UX, UI
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·3d·
Discuss: Hacker News
🔄DevOps
Instantly Verify Faces & Liveness with One API — Identity Checks Made Simple with AI
dev.to·3h·
Discuss: DEV
🛡️Security
Open Sourcing my AI Evaluation Library
dev.to·3d·
Discuss: DEV
🦀Rust
🏛️ Using Blockchain to Anchor AI: Why Future AI Systems Require Consensus and Censorship Resistance
dev.to·2d·
Discuss: DEV
🦀Rust
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
ChatGPT Gets Agentic Powers: What OpenAI’s New Automation Means for Everyone
dev.to·20h·
Discuss: DEV
🦀Rust
Zog golang validation library v0.21.4 release!
reddit.com·1d·
Discuss: r/golang
🦀Rust
Artificial Intelligence Governance for Businesses
arxiv.org·2d
🔄DevOps
CarCare Pro Generated AI App
dev.to·9h·
Discuss: DEV
🔄DevOps
Machine Learning Fundamentals: dimensionality reduction example
dev.to·2d·
Discuss: DEV
🐳Container Orchestration
I built a CLI to catch prompt injection & LLM jailbreaks. Want to try it out?
dev.to·1d·
Discuss: DEV
🦀Rust
Debugging AI's Most Frustrating Habit: The Abandoned Answer
dev.to·12h·
Discuss: DEV
🦀Rust
Physically Based Neural LiDAR Resimulation
arxiv.org·1d
🏗️Language Design
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·3d
🦀Rust
Streaming Responses from OpenAI Models: Technical Implementation Guide
dev.to·20h·
Discuss: DEV
🏗️Language Design
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·2d·
Discuss: DEV
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap