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
✅ Model Checking
Formal Methods, State Space Exploration, Temporal Logic, SPIN
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
144651
posts in
27.9
ms
An
Introduction
to
Lean
4
uv.es
·
8h
🏗️
Cranelift
Signal Temporal Logic Verification and Synthesis Using Deep
Reachability
Analysis and
Layered
Control Architecture
arxiv.org
·
1d
🔌
FPGA Programming
Differential
Logic
• 14
inquiryintoinquiry.com
·
2h
🧮
Algebraic Effects
QORA
- Native Rust LLM
Inference
Engine
huggingface.co
·
1h
·
Discuss:
DEV
🍱
Nom
Verified
Spec-Driven
Development (
VSDD
)
gist.github.com
·
2h
·
Discuss:
Lobsters
,
Hacker News
🧪
Jepsen Testing
METR
’s Joel Becker on exponential Time Horizon
Evals
, Threat Models, and the Limits of AI Productivity
latent.space
·
1d
💬
Prompt Engineering
Thermalization
in Open Many-Body Systems and
KMS
Detailed Balance
link.aps.org
·
6h
📮
Multi-producer Queues
Resilience evaluation and recovery strategy optimization for
unmanned
system-of-systems considering
relay
communication
sciencedirect.com
·
5h
🕸️
Mesh Networks
New AI
Steering
Method Exposes
Flaws
and Potential Improvements
nationaltoday.com
·
13h
💬
Prompt Engineering
Revisiting
the Role of State
Texture
in Gate Identification and Fixed-Point Resource Theories
arxiv.org
·
1d
🌐
Zero-Suppressed BDDs
Architectural shift in code synthesis: Has anyone evaluated Energy-Based Models (
EBMs
) / formal constraint solvers as a viable alternative to LLM
auto-regressiv
...
logicalintelligence.com
·
1d
·
Discuss:
r/SoftwareEngineering
🎭
Program Synthesis
Inverse problems for dynamic patterns in coupled
oscillator
networks: when larger networks are
simpler
nature.com
·
1d
🔲
Cellular Automata
Sdf-plan
–
deterministic
safety gates for any AI agent
github.com
·
1d
·
Discuss:
Hacker News
🔍
DTrace
Tamper-Proof
AI Agents: On-Chain Verification for AI
Outputs
dev.to
·
37m
·
Discuss:
DEV
🛡️
AI Security
On language models and
intuition
aleksei.dev
·
28m
🎯
Hindley-Milner
A
rescue
mission
for the rules-based order
sonomarpa.sonoma.lib.ca.us
·
4h
🦓
Zookeeper
Formal
methods for the
unsafe
side of the Force
antithesis.com
·
2d
·
Discuss:
Hacker News
🔀
Crossbeam
The
Topology
of LLM
Behavior
lesswrong.com
·
18h
⚓
Anchors
Solving
hard
problems
marcg.net
·
1d
🎭
Program Synthesis
Claude Skills and
Subagents
: Escaping the Prompt Engineering
Hamster
Wheel
towardsdatascience.com
·
4h
💬
Prompt Engineering
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