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
80530
posts in
881.6
ms
Shane
Borden
: Do PostgreSQL Sub-Transactions Hurt Performance?
shaneborden.com
·
25m
🔍
Symbolic Execution
Show HN: Open-source agent skill that
automates
SOC
2 audit prep
github.com
·
3h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Heimdall
🛡️: The
All-Seeing
Code Guardian That Actually Fixes Your Problems
dev.to
·
1d
·
Discuss:
DEV
🔍
Symbolic Execution
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
21h
🔎
Semantic Analysis
I Built a Python CLI Tool for RAG Over Any
Document
Folder
dev.to
·
1d
·
Discuss:
DEV
🔧
PLT
Antirez
Strikes Again: The Creator of
Redis
Builds a Bare-Metal Vision AI in Pure C — And It Actually Works
webpronews.com
·
2h
🤖
AI
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
📐
formal specification
When Evaluation Becomes a Side Channel: Regime
Leakage
and Structural
Mitigations
for Alignment Assessment
arxiv.org
·
11h
🔍
Symbolic Execution
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
1d
·
Discuss:
Substack
🔎
Semantic Analysis
The
Prospero
Challenge
mattkeeter.com
·
1d
🔍
Symbolic Execution
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
2h
·
Discuss:
Hacker News
📐
formal specification
Mojo
roadmap
docs.modular.com
·
18h
🔍
Refinement Types
New
microkernel
OS in 10 days: From zero to Google
Compute
Engine
seiya.me
·
23h
·
Discuss:
Hacker News
🔍
Refinement Types
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
19h
📐
formal specification
Pull
Requests
as a Training Signal for
Repo-Level
Code Editing
arxiv.org
·
11h
🔍
Symbolic Execution
Some
thoughts
on LLM coding
blog.dave.tf
·
1d
·
Discuss:
Hacker News
📐
formal specification
Lines
of Code Are Back (and It's
Worse
Than Before)
thepragmaticcto.com
·
6h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
1d
·
Discuss:
DEV
🪜
Scala
Data Modeling for the Agentic Era:
Semantics
, Speed, and
Stewardship
rilldata.com
·
1d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Context
Is Part of the Game
joy.pm
·
2d
·
Discuss:
Hacker News
🔍
Symbolic Execution
Loading...
Loading more...
« Page 5
•
Page 7 »
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