Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ Alloy
model checking, formal specification, relational logic
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
6183
posts in
8.8
ms
Formal
methods for the
unsafe
side of the Force
antithesis.com
·
1d
·
Discuss:
Hacker News
🔄
C to Rust Translation
Instant
DB
clones
for AI agents
contextbits.com
·
2h
·
Discuss:
Hacker News
🤖
AI agents
Cooking
ic-dbms-canister
:
DBMS
Layer
blog.veeso.dev
·
2d
🗃️
database engineering
Benchmarks
for AI-assisted
Formal
Verification
lesswrong.com
·
4d
🏗️
AI Infrastructure
Strong
Consistency
In
Databases
: Promises and Costs
blog.bytebytego.com
·
1d
🗄️
Distributed Databases
Some notes on
unreliability
of LLM
APIs
andrewpwheeler.com
·
5h
·
Discuss:
Hacker News
🚀
MLOps
The 'Million AI
Monkeys
'
Hypothesis
& Real-World Projects
ayende.com
·
10h
🤖
AI Coding Tools
Show HN:
AgentGuard
– a QA engine that
sits
between AI coding agents and LLMs
github.com
·
38m
·
Discuss:
Hacker News
⚙️
DataFusion
🎲
Garbage
collection
in Rust got a little better
claytonwramsey.com
·
20h
🔄
C to Rust Translation
Turing
Completeness
of GNU find: From
mkdir-assisted
Loops to Standalone Computation
arxiv.org
·
2d
·
Discuss:
Lobsters
🎯
Hindley-Milner
An Integrated Workflow For
Circuit
Design, Simulation, And
Functional
Safety Analysis
semiengineering.com
·
1d
🔍
Chip Verification
Centralized
policy meets distributed logic: Getting to know
Eventarc
Advanced
cloud.google.com
·
5h
🌊
Event Streaming
Show HN:
Ore
– a Rust-Based Kernel for
Managing
Local Models/AI Agents
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🎮
Bevy
Rust on a
Diet
blog.veeso.dev
·
2d
🔌
Embedded Rust
When to and when not to use return
validators
stack.convex.dev
·
17h
🔍
Borrow Checker
SQL
Parsing
and
Validation
for LLMs: A Comprehensive Guide
pub.towardsai.net
·
4d
🔍
Query Compilers
Beyond skills: a typed
DSL
for
executable
AI methods
mthds.ai
·
1d
·
Discuss:
Hacker News
🤖
AI Coding Tools
What Are
Skills
and How Do You Use Them? (
Cursor
, Claude Code)
pub.towardsai.net
·
1d
🤖
AI Coding Tools
From "Vibe
Checks
" to
Continuous
Evaluation: Engineering Reliable AI Agents
cloud.google.com
·
6h
🤖
AI agents
Show HN:
Asupersync
, the
Cancel-Correct
Async Runtime for Rust
asupersync.com
·
14h
·
Discuss:
Hacker News
🌐
Rust Networking
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help