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
🌲 CTL
Computation Tree Logic, Branching Time, Model Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8272
posts in
121.8
ms
Better
Diameter
Bounds for Efficient Shortcuts and a Structural Criterion for
Constructiveness
arxiv.org
·
1d
📐
Hoare Logic
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
4d
·
Discuss:
DEV
🧠
Automated Reasoning
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
3d
🌐
Network Protocols
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
2d
🧠
Automated Reasoning
The middle ground between
canonical
models and data
mesh
frederickvanbrabant.com
·
2d
·
Discuss:
r/programming
🔢
Algebraic Data Types
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
2d
🧩
Parser Combinators
Deferred
member
initialization
in C++
sandordargo.com
·
2d
·
Discuss:
Lobsters
📝
Nix Language
How Secret Loyalty
Differs
from Standard
Backdoor
Threats
lesswrong.com
·
10h
🔒
Protocol Verification
A
pattern
for safe
database
access with AI coding agents
docs.getpochi.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🛡️
seL4
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
3d
·
Discuss:
Hacker News
🔤
DSLs
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
1d
·
Discuss:
Hacker News
📦
OPAM
I let Claude Code with 150 offensive security MCP tools
loose
on my
homelab
credrelay.com
·
1d
·
Discuss:
Hacker News
🛡️
seL4
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
2d
·
Discuss:
Hacker News
🔍
Formal Verification
SubJS
: JavaScript
Runtime
for Agents. Let your agent do what it does best
emi0x7d1.dev
·
2d
·
Discuss:
Hacker News
🔧
DevOps
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
2d
·
Discuss:
Hacker News
💻
CLI Tools
Challenging
Assumptions
in Technology: From Being Right to Getting It Right
platformtoolsmith.com
·
2d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
3d
·
Discuss:
Hacker News
🧪
Property-Based Testing
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
📐
Hoare Logic
The cost of a
function
call
lemire.me
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
λ
Functional Programming
Sign up or log in to see more results
Sign Up
Login
« 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