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
80158
posts in
230.5
ms
Code vs
Serialized
AST
Inputs
for LLM-Based Code Summarization: An Empirical Study
arxiv.org
·
1d
🔧
PLT
Learn
Weird
Programming
Languages
okienko.day
·
19h
·
Discuss:
Hacker News
🔧
PLT
Web Developer Travis
McCracken
on The 80/20 Rule of
Backend
Dev
dev.to
·
20h
·
Discuss:
DEV
🔧
PLT
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
9h
·
Discuss:
Blogger
🔎
Semantic Analysis
observation
: the future of building software
hanspham.com
·
14h
📐
formal specification
Performance
Tip
of the Week #93: Robots never
sleep
abseil.io
·
2d
🔍
Symbolic Execution
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
22h
·
Discuss:
DEV
🪜
Scala
Show HN:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
7h
·
Discuss:
Hacker News
📐
formal specification
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
13h
🔍
Symbolic Execution
Claude
Opus
4.6: System Card Part 1:
Mundane
Alignment and Model Welfare
lesswrong.com
·
11h
🤖
AI
A Software Engineer’s
Wish
List for
CS
Research
laser-coder.net
·
14h
·
Discuss:
Hacker News
🔎
Semantic Analysis
Manufacturing
QMS
Software
samrian.com
·
17h
·
Discuss:
Hacker News
📐
formal specification
Heimdall
🛡️: The
All-Seeing
Code Guardian That Actually Fixes Your Problems
dev.to
·
17h
·
Discuss:
DEV
🔍
Symbolic Execution
A Language For Agents
lucumr.pocoo.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🪜
Scala
TamperBench
:
Systematically
Stress-Testing LLM Safety Under Fine-Tuning and Tampering
arxiv.org
·
1d
📐
formal specification
eBPF
Gives You
Packets
. Here's How We Turn Them Into Security Insights
akashmandal001.substack.com
·
1d
·
Discuss:
Substack
🔎
Semantic Analysis
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
📐
formal specification
Language Server Protocol from
Debug
Symbols
forrestthewoods.com
·
2d
🐫
Ocaml
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
14h
🔎
Semantic Analysis
The
Prospero
Challenge
mattkeeter.com
·
17h
🔍
Symbolic Execution
Loading...
Loading more...
« Page 3
•
Page 5 »
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