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
81181
posts in
456.4
ms
ComPass
: Contrastive Learning for Automated Patch
Correctness
Assessment in Program Repair
arxiv.org
·
14h
🔍
Symbolic Execution
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
14h
🔍
Refinement Types
intersection
type in
nLab
ncatlab.org
·
6h
🔎
Semantic Analysis
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
1d
🔎
Semantic Analysis
Developing
in Production (
Yes
, Really)
dev.to
·
1d
·
Discuss:
DEV
📐
formal specification
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
Antirez
Strikes Again: The Creator of
Redis
Builds a Bare-Metal Vision AI in Pure C — And It Actually Works
webpronews.com
·
5h
🤖
AI
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
1d
·
Discuss:
DEV
🪜
Scala
Some
thoughts
on LLM coding
blog.dave.tf
·
1d
·
Discuss:
Hacker News
📐
formal specification
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
Your team is shipping
faster
and understanding less
blog4ems.com
·
7h
📐
formal specification
Memory-Safe
Jule
language
emerges
as C/C++ alternative
thenewstack.io
·
3d
·
Discuss:
Hacker News
🔎
Semantic Analysis
Patching
the Gaps: A Production-Ready Guide to Google’s
ADK
with TypeScript
dev.to
·
8h
·
Discuss:
DEV
🪜
Scala
plrg-bristol/advanced-haskell-2026
: Resources for the 2026 Advanced Haskell
seminar
series at Bristol
github.com
·
22h
🔧
PLT
Language Server Protocol from
Debug
Symbols
forrestthewoods.com
·
2d
🐫
Ocaml
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
21h
·
Discuss:
Hacker News
📐
formal specification
What Should Go Into the C++
Standard
Library
abseil.io
·
2d
🔎
Semantic Analysis
Code has _
always
_ been the easy part
laughingmeme.org
·
1d
💻
Claude
Loading...
Loading more...
« Page 6
•
Page 8 »
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