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
80187
posts in
585.5
ms
Uncovering
Hidden
Informations
whiteravendev.itch.io
·
1d
🔎
Semantic Analysis
the
mathematics
of
compression
in database systems
bitsxpages.com
·
19h
🔎
Semantic Analysis
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
1d
💻
Claude
Naughty
is
Nice
!
yamlscript.org
·
3d
🪜
Scala
CRML: CRML is a
declaritive
language for writing
cyberrisk
as code
producthunt.com
·
1d
📐
formal specification
TreeTensor
: Boost AI System on
Nested
Data with Constrained Tree-Like Tensor
arxiv.org
·
9h
🔍
Symbolic Execution
iGRPO
:
Self-Feedback-Driven
LLM Reasoning
arxiv.org
·
9h
🔍
Symbolic Execution
The
silent
death of Good Code
amit.prasad.me
·
2d
·
Discuss:
Hacker News
,
r/programming
💻
Claude
Linux 7.0 Officially
Concluding
The Rust
Experiment
phoronix.com
·
1d
·
Discuss:
Hacker News
,
r/linux
🦀
Rust
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
5d
·
Discuss:
Hacker News
🪜
Scala
Stop Writing
Boilerplate
: How I Built a Code Generator to Automate
NestJS
Development
dev.to
·
2d
·
Discuss:
DEV
🔍
Symbolic Execution
Software development is full of
invisible
choices
.
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
The return of
NoOps
: Let’s use AI to finish the job
DevOps
started.
infrastructure-as-code.com
·
1d
🔎
Semantic Analysis
Agentic
Tool
Patterns
– 54
patterns
for building tools LLM agents can use
blog.arcade.dev
·
21h
·
Discuss:
Hacker News
🔄
Concurrency Models
Using Rust to Delete
Gitignored
Cruft
forrestthewoods.com
·
2d
🔍
Symbolic Execution
The
Air-Gapped
Chronicles: The
Poison
Pill — 47 Countries, 12,000 Rules, One AI Audit.
pub.towardsai.net
·
20h
📐
formal specification
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
4d
·
Discuss:
Hacker News
🔍
Refinement Types
Safe
Labels
in C++
artima.com
·
2d
🔧
PLT
How the GNU C Compiler became the
Clippy
of
cryptography
theregister.com
·
1d
·
Discuss:
Hacker News
,
r/programming
🔎
Semantic Analysis
The Adventures of a
Pythonista
in
Schemeland/29
artima.com
·
2d
🔎
Semantic Analysis
Loading...
Loading more...
« Page 15
•
Page 17 »
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