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
📐 formal specification
tla+, p-lang, property-based testing, simulations
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123643
posts in
1.53
s
mcp-tool-shop-org/Attestia
: Financial truth infrastructure for the decentralized world — structural governance,
deterministic
accounting, and human-approved intent across chains.
github.com
·
2h
·
Discuss:
Hacker News
🔍
Static Analysis
Deferred
member
initialization
in C++
sandordargo.com
·
15h
·
Discuss:
Lobsters
🔍
Refinement Types
LLM Performance in
Astro
, React,
Tailwind
and Cloudflare
10xbench.ai
·
17h
·
Discuss:
Hacker News
🔧
PLT
Domain
Specific
Languages
martinfowler.com
·
1d
🔧
PLT
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
14h
🔍
Symbolic Execution
Testing Agent Skills
Systematically
with
Evals
developers.openai.com
·
8h
🔍
Symbolic Execution
Case Studies on how to solve
product/landing/launch/GTM
problems (
possibleProblem
->Solution IF-THEN structure)
docs.google.com
·
1h
·
Discuss:
r/SideProject
🔍
Symbolic Execution
Open Source in Focus: .NET Projects and the Tools Behind Them
blog.jetbrains.com
·
1d
🔍
Static Analysis
Can AI Code for
Vintage
?
sparcie.wordpress.com
·
2h
🔍
Symbolic Execution
Compiler-Driven Static Analysis
Locking
Context Checking
Merged
For Linux 7.0
phoronix.com
·
3h
🔍
Static Analysis
SAST vs DAST vs (
IAST/RASP
): Quick AppSec Checklist
codereviewlab.com
·
1d
·
Discuss:
DEV
🔍
Static Analysis
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
1d
🔍
Static Analysis
Ethereum Signature Schemes Explained: ECDSA, BLS,
XMSS
, and Post-Quantum
leanSig
with Rust Code Examples
blog.lambdaclass.com
·
1d
🔍
Refinement Types
Dependency
Injection In
Litestar
| Building APIs with
Litestar
#7
dev.to
·
17h
·
Discuss:
DEV
🔧
PLT
Rust Memory Management: The
Playroom
Analogy
adacore.com
·
1d
·
Discuss:
Hacker News
🔍
Refinement Types
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
21h
·
Discuss:
Hacker News
🔍
Static Analysis
PR
intent
and context, not AI code review
axiomo.vercel.app
·
1h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
🔧
PLT
CodeSOD
:
Cover
Up
thedailywtf.com
·
8h
🔍
Static Analysis
Show HN: Latent-k –
Persistent
dependency
map to reduce AI coding token usage
latentk.org
·
1h
·
Discuss:
Hacker News
🤖
AI
Loading...
Loading more...
« Page 2
•
Page 4 »
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