Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
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
76572
posts in
1.28
s
outer
measure in
nLab
ncatlab.org
·
2d
∘
Category Theory
Simulating
Leader Election on top of
FoundationDB
pierrezemb.fr
·
2d
📜
MultiPaxos
Categorical
systems
theory
danmackinlay.name
·
2d
∘
Category Theory
Codified
Finite-state
Machines for Role-playing
arxiv.org
·
1d
🎲
Deterministic Simulation
On the
Reachability
Problem for One-Dimensional Thin
Grammar
Vector Addition Systems
arxiv.org
·
1d
🔨
Compiler Design
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
2d
·
Discuss:
r/rust
🦀
Rust Async
Design and implementation of a low-cost mobile robot prototype for trajectory tracking and robotic
swarm
tasks in research and
educational
applications
sciencedirect.com
·
1d
🤖
Robotics
Agent
Evaluation
: How to Test and
Measure
Agentic AI Performance
machinelearningmastery.com
·
1d
🚀
Performance
A micro
Lie
theory for state estimation in
robotics
dev.to
·
2d
·
Discuss:
DEV
🤖
Robotics
The
Worst
Instructions
You Can Give an AI Coding Agent
cline.ghost.io
·
1d
💬
Prompt Engineering
What is
context
engineering? And why it’s the new AI
architecture
infoworld.com
·
2d
💬
Prompt Engineering
Why Most AI Content Systems Don’t Learn
dev.to
·
2h
·
Discuss:
DEV
⚡
Incremental Computation
Continuous
AI in practice: What developers can automate today with agentic
CI
github.blog
·
1d
💬
Prompt Engineering
Deterministic
Time with Go's
Synctest
oblique.security
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/golang
🧵
Loom
[$]
Modernizing
swapping
: the end of the swap map
lwn.net
·
1d
🔐
Futexes
Clojure
’s Persistent Data Structures:
Immutability
Without the Performance Hit
javacodegeeks.com
·
1d
🔵
Clojure
Teaching
Claude Code Your
Standards
github.com
·
22h
·
Discuss:
DEV
🦀
Rust Macros
Against the
Orthogonality
Thesis
jonasmoman.substack.com
·
2d
·
Discuss:
Substack
🗳️
EPaxos
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/embedded
🧵
OpenMP
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
1d
·
Discuss:
Hacker News
🔍
Proptest
Loading...
Loading more...
« Page 6
•
Page 8 »
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