🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ Formal Verification
Proof Assistants, Correctness Guarantees, Logic Systems, Specification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 8
•
Page 10 »