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
Linting, Code Quality, Abstract Interpretation, Symbolic Execution
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112496
posts in
267.6
ms
Rust Zero-Cost
Abstractions
Deep
Dive
dev.to
·
13h
·
Discuss:
DEV
⚡
JIT
Leaning Into the Coding Interview:
Lean
4 vs
Dafny
cage-match
ntaylor.ca
·
9h
·
Discuss:
Lobsters
,
Hacker News
🪄
Metaprogramming
chrisarg/Bit
: A Bit
vector
library for learning fun and also work
github.com
·
12h
💾
Bytecode
Comprehensive
Code Review
agenticoding.ai
·
6h
🪄
Metaprogramming
Spec
Guard: AI-Powered API
Spec
Compliance
Tool
dev.to
·
15h
·
Discuss:
DEV
⚡
JIT
Code Is
Poetry
ta.fo
·
1d
🪄
Metaprogramming
Autoparser
- complete refactoring of parser architecture by
pwilkin
· Pull Request #18675
github.com
·
7h
·
Discuss:
r/LocalLLaMA
🪄
Metaprogramming
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
4d
🪄
Metaprogramming
What's
cooking
with
Pystd
, the experimental C++ standard library?
nibblestew.blogspot.com
·
10h
·
Discuss:
nibblestew.blogspot.com
🪄
Metaprogramming
Trust: LLMs as
Compilers
mechanicalorchard.substack.com
·
15h
·
Discuss:
Substack
🪄
Metaprogramming
Introduction
faiface.github.io
·
12h
λ
PL Theory
🤓 Code
Archaeologists
kevin.md
·
16h
·
Discuss:
Hacker News
💻
Programming languages
Nebula
: Building a Fast,
Lightweight
C++ Code Editor
astracode.dev
·
6h
·
Discuss:
DEV
⚡
JIT
Leetcode
for
ML
pixelbank.dev
·
5h
λ
PL Theory
I built a
CLI
tool that turns code into
animated
videos
qubitai.in
·
1h
·
Discuss:
r/commandline
,
r/rust
🪄
Metaprogramming
Best
Practices
for Claude Code
waterwave.ch
·
7h
🪄
Metaprogramming
🍃
Convention
as Code:
Enforcing
Architecture with Scripts, CI, and AI Agents
monarchwadia.com
·
5h
·
Discuss:
r/programming
🪄
Metaprogramming
I updated the
README
and my Benchmarks
Regressed
codspeed.io
·
12h
·
Discuss:
Hacker News
⚡
JIT
Table of
Contents
- Data Engineering for Large Models: Architecture,
Algorithms
& Projects
datascale-ai.github.io
·
1d
·
Discuss:
Lobsters
λ
PL Theory
Balance
of
abstraction
aleksei.dev
·
2d
λ
PL Theory
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