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
⏰ Temporal Logic
LTL, CTL, Model Checking, System Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
24250
posts in
860.1
ms
Wheeler
Bisimulations
arxiv.org
·
1d
🔍
Type Inference
Series-Parallel-Loop
Decompositions
of Control-flow Graphs
arxiv.org
·
1d
🎨
Graph Coloring
Fragments
: February 9
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
SHIELD.md
: A Security Standard for
OpenClaw
and AI Agents
blog.securitybreak.io
·
2d
🛡️
CLI Security
Functional
Optics
for Modern Java
blog.scottlogic.com
·
2d
💧
Liquid Types
My
Workflow
for
Agentic
Coding
szymonkrajewski.pl
·
2d
⚔️
Lean Tactics
InfraBuilder
: The
Deterministic
Hardware Architect
dev.to
·
2d
·
Discuss:
DEV
🧱
Immutable Infrastructure
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
⚔️
Lean Theorem
Learning Coupled Actions of Lie Groups:
Kuramoto
Models for Robotics and
Hyperbolic
Data
hackernoon.com
·
1d
🌀
Hyperbolic Geometry
Sneaky
quokka
: Testing and debugging with LLMs
honnibal.dev
·
21h
🧪
Binary Fuzzing
SMTLIB
as a
Compiler
IR I
philipzucker.com
·
2d
·
Discuss:
Hacker News
🔗
Functional Compilers
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
1d
⚡
Hardware Transactional Memory
Logic
That
Patterns
Find
udara.io
·
1h
·
Discuss:
Hacker News
🔤
Morris-Pratt
SaaSpocalypse
Has Already
Begun
hackernoon.com
·
20h
🚀
Indie Hacking
DCP-o-matic
• Re: Feature Request for
Verifier
dcpomatic.com
·
6h
✅
CDDL Validation
Domain
Specific
Languages
martinfowler.com
·
16h
🗣️
Domain-Specific Languages
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
🧬
Functional Programming
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
9h
·
Discuss:
Hacker News
📊
Performance Profiling
Main
Content ||
Math
∩ Programming
jeremykun.com
·
2d
🧮
Kolmogorov Complexity
Loading...
Loading more...
« Page 1
•
Page 3 »
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