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
🔍 Static Analysis
Abstract Interpretation, Data Flow, Control Flow, Bug Detection
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81281
posts in
878.7
ms
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
16h
🔍
Symbolic Execution
Evaluating and Enhancing the
Vulnerability
Reasoning
Capabilities
of Large Language Models
arxiv.org
·
1d
🔎
Semantic Analysis
Navigating
CRAN
's Reverse
Dependency
Check Logs
yihui.org
·
1d
🔍
Refinement Types
Zinc
Language Design
ziggit.dev
·
3d
🔧
PLT
How
Wix
Built AI-Driven Incident Response at Scale with ClickHouse and Wild
Moose
clickhouse.com
·
9h
🔎
Semantic Analysis
Last30Days
: A
Recency-Aware
Research API for X, Reddit, and the Web
lumify.ai
·
9h
·
Discuss:
Hacker News
🔎
Semantic Analysis
8)
linuxiac.com
·
2d
🔍
Refinement Types
JUXT
Blog: I Used Claude to Mine 34
Clojure
Adoption Interviews. Here is What It Found.
juxt.pro
·
21h
💻
Claude
So I Will Never
Write
Code Again
julien.danjou.info
·
21h
·
Discuss:
Hacker News
🔧
PLT
C and C++
dependencies
, don't
dream
it, be it!
nibblestew.blogspot.com
·
3d
·
Discuss:
Hacker News
,
nibblestew.blogspot.com
,
r/cpp
🔍
Refinement Types
Algos
,
Bias
, Due Process, & You
suffolklitlab.org
·
1d
·
Discuss:
Hacker News
🔧
PLT
CasDoc
: Intelligent
spec
workspace for builders
producthunt.com
·
1d
📐
formal specification
My Claude Code
workflow
invertedpassion.com
·
1d
💻
Claude
Compound
Engineering: Make Every
Unit
of Work
Compound
Into the Next
every.to
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
February
Devlog
helloyinny.itch.io
·
6h
🔍
Refinement Types
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
22h
·
Discuss:
Substack
📐
formal specification
Opus
4.5 really
changed
things
kylerush.org
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
A
one-prompt
attack that breaks LLM safety
alignment
microsoft.com
·
1d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Hey guys! I've been working on solving the bootstrap problem in
epistemic
uncert
...
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
🔧
PLT
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
1d
🔎
Semantic Analysis
Loading...
Loading more...
« Page 12
•
Page 14 »
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