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
Code Analysis, Data Flow, Control Flow, Program Verification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83242
posts in
337.0
ms
Waterloo
Style
theprogrammersparadox.blogspot.com
·
8h
·
Discuss:
Hacker News
📊
Data Structures
Does Programming Language Matter? An
Empirical
Study of
Fuzzing
Bug Detection
arxiv.org
·
21h
λ
Functional Programming
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
λ
Functional Programming
Portfolio Code That Gets You
Hired
: What
Recruiters
Actually See in Your GitHub
dev.to
·
6h
·
Discuss:
DEV
💻
programming
The Rise of
Spec
Driven Development
dbreunig.com
·
9h
·
Discuss:
Hacker News
λ
Functional Programming
Easy 6502 by
skilldrick
skilldrick.github.io
·
1d
💻
programming
Teaching
Claude Code Your
Standards
github.com
·
14h
·
Discuss:
DEV
💻
programming
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
1d
λ
Functional Programming
Python
Roadmap
for Complete
Beginners
(Based on 3+ Years Experience)
pythonfordeveloper.com
·
20h
·
Discuss:
r/AskProgramming
💻
programming
What if writing
tests
was a
joyful
experience?
blog.janestreet.com
·
1d
·
Discuss:
Hacker News
λ
Functional Programming
felt
the
flow
while programming
skuka.online
·
1d
💻
programming
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
23h
·
Discuss:
Hacker News
λ
Functional Programming
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
1d
·
Discuss:
Hacker News
🏗️
Design Patterns
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
12h
·
Discuss:
Hacker News
λ
Functional Programming
Processes and Threads -
Discourse
on
Concurrency
, Part I
ayanmali.substack.com
·
13h
·
Discuss:
Substack
🏗️
Design Patterns
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
2d
·
Discuss:
r/rust
🏗️
Design Patterns
The Little Book of
Linear
Algebra
little-book-of.github.io
·
12h
📐
Matrix Theory
Logic for
Programmers
[
Leanpub
PDF/iPad/Kindle]
leanpub.com
·
3d
λ
Functional Programming
I Built a 6
BIPS
JIT
in Five Months
unlikelyemphasis.substack.com
·
17h
·
Discuss:
Substack
💣
Binary Exploitation
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
21h
λ
Functional Programming
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