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
📋 Formal Methods
formal verification, proof assistants, TLA+, model checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
11037
posts in
15.1
ms
Can LLMs Reason Like Automated Theorem
Provers
for Rust Verification?
VCoT-Bench
: Evaluating via Verification Chain of Thought
arxiv.org
·
22h
🧠
LLMs
Specification-Driven
Development: The Four
Pillars
dev.to
·
1d
·
Discuss:
DEV
✍️
Prompt Engineering
cfitzgerald-pd/skillcop
: A proof of concept of protecting Claude Code against malicious agent skills
github.com
·
9h
·
Discuss:
Hacker News
🦀
Rust
LongCat-Flash-Prover
: A new frontier for Open-Source Formal Reasoning.
huggingface.co
·
11h
·
Discuss:
r/LocalLLaMA
🤖
LLM
Git-style
verification
for LLM
outputs
aelitium.com
·
4d
·
Discuss:
Hacker News
🧠
LLMs
Generative Specification: A
Pragmatic
Programming Paradigm for the
Stateless
Reader
zenodo.org
·
2d
·
Discuss:
DEV
🧠
LLMs
The
Fragmented
World of
Dependency
Policy
nesbitt.io
·
1d
🦀
Rust
Modeling Token Buckets in
PlusCal
and
TLA
+
muratbuffalo.blogspot.com
·
4d
·
Discuss:
Lobsters
,
Blogger
🏗️
System Design
Reasoning over
mathematical
objects: on-policy reward modeling and test time
aggregation
arxiv.org
·
22h
🤖
LLM
kingbootoshi/tla-precheck
: Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
github.com
·
4d
·
Discuss:
Hacker News
✍️
Prompt Engineering
LLM
Terminology
Guide:
Weights
, Inference, Effective sequence length, and Self-Hosting Explained
devforth.io
·
12h
·
Discuss:
Hacker News
🤖
LLM
Veto
: Permission policy engine and LLM
firewall
for AI coding agents
vetoapp.io
·
2d
·
Discuss:
Hacker News
🕵️
AI Agents
Toward an MCP
Observability
Specification
dev.to
·
1d
·
Discuss:
DEV
⚡
Performance Engineering
APM
microsoft.github.io
·
20h
·
Discuss:
r/mcp
🕵️
AI Agents
Deadlock
in Java: Examples, Detection, and
Prevention
digitalocean.com
·
16h
🐦
Swift
What's New in
Mellea
0.4.0 +
Granite
Libraries Release
huggingface.co
·
12h
🔲
ML Hardware
Beyond Code Review
oreilly.com
·
15h
🛠️
Software Craft
A
survey
on LLMs for
spreadsheet
intelligence
orbilu.uni.lu
·
1d
·
Discuss:
Hacker News
🧠
LLMs
The
Evolution
From Prompt Engineering to
Concept
Engineering
kdnuggets.com
·
3d
✍️
Prompt Engineering
Claude's agentic loop explained:
stopReason
, tool_use, and the
pattern
behind every AI agent
cloudedventures.com
·
7h
·
Discuss:
DEV
🕵️
AI Agents
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