Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Static Analysis
Compiler Design, Type Theory, Program Verification, Code Quality
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
175308
posts in
24.5
ms
Debugging False
Positives
in Static Analysis (
SonarQube
, AES/DES Example, and AI Fixes)
medium.com
·
1d
🔍
Reverse Engineering
IDE
Compiler
Engineer (all
genders
)
ferrous-systems.com
·
1d
🔨
Compiler Design
PCodeTrans
: Translate Decompiled Pseudocode to
Compilable
and Executable Equivalent
arxiv.org
·
1d
🔨
Compiler Design
From
SAST
to “Shift
Everywhere
”: Rethinking Code Security in 2026
dzone.com
·
17h
🛡️
Memory Safety
N4455
No Sane Compiler Would Optimize
Atomics
open-std.org
·
2d
🔨
Compilers
s2n-bignum-bench
: A practical benchmark for evaluating low-level code reasoning of LLMs
arxiv.org
·
1d
🔨
Compiler Design
Noticing, and Solving, Technical Problems in a Codebase —
Sympolymathesy
, by Chris
Krycho
v5.chriskrycho.com
·
7h
🔍
Reverse Engineering
How We Built
XDrain
in Rust and Made Log
Pattern
Detection 40x Faster
openobserve.ai
·
23h
·
Discuss:
Hacker News
🔨
Compilers
Git-style
verification
for LLM
outputs
aelitium.com
·
1d
·
Discuss:
Hacker News
🔧
Scheme
Torturing rustc by Emulating
HKTs
, Causing an Inductive Cycle and
Borking
the Compiler
harudagondi.space
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
,
r/rust
🧠
Lisp Dialects
The
Elegant
and Fully Type-safe Module
Composable
Library.
arc.tsdk.dev
·
10h
·
Discuss:
Hacker News
,
r/node
🔧
Scheme
elly99-AI/MarCognity-AI
: A research framework for structured LLM evaluation, claim verification and reflective reasoning mechanisms.
github.com
·
1d
·
Discuss:
Hacker News
🔄
Lisp
Design
Principles
Behind
Smalltalk
cs.virginia.edu
·
9h
⚙️
Systems Programming
The
Abstraction
Ratchet
write.as
·
10h
·
Discuss:
Hacker News
🔧
Scheme
Formal
Verification
Best Practices
semiwiki.com
·
17h
🔨
Compiler Design
AI and "Code Quality"
wolfgang-ziegler.com
·
2d
🖼️
Vulkan
Leanstral
: Open-Source foundation for
trustworthy
<br> vibe-coding
mistral.ai
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/LocalLLaMA
🔄
Lisp
The
joy
of
reading
the code
pdole.ga
·
12h
·
Discuss:
Lobsters
🔧
Scheme
Note on
Learnings
From a No-Code Library: Keeping the Spec Driven Development Triangle in Sync via Drew
Breunig
joshbeckman.org
·
2d
🔨
Compiler Design
Show HN: GLP – Golang/Golang
Inter-procedural
taint
analysis
github.com
·
1d
·
Discuss:
Hacker News
🔧
Scheme
Loading...
Loading more...
Page 2 »
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