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
Program Verification, Bug Detection, Control Flow, Data Flow
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80256
posts in
705.3
ms
Elasticsearch
Observability: logs, metrics, and
traces
explained
clever.cloud
·
1h
📊
Profilers
Writing a
ledger-cli
Language Server
Protocol
with claude
frdmtoplay.com
·
2d
🔒
Rust Borrowing
Inside
Mesa
26.0's
RADV
RT improvements
pixelcluster.github.io
·
17h
·
Discuss:
Lobsters
,
Hacker News
,
r/linux_gaming
⚡
Interpreter Optimization
SectorC
: a C compiler in 512
bytes
blog.adafruit.com
·
17h
🔄
Forth Metacompiler
Claude Code is making me a better dev (and I have the data) 🧠⚙️
dev.to
·
23h
·
Discuss:
DEV
⚡
Live Coding
Main
Content ||
Math
∩ Programming
jeremykun.com
·
1d
🔢
Algebraic Datatypes
Why Most
Bugs
Aren’t
Technical
Problems
dev.to
·
1d
·
Discuss:
DEV
🩺
Compiler Diagnostics
observation
: the future of building software
hanspham.com
·
21h
🎮
Language Ergonomics
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
18h
·
Discuss:
r/LLM
📡
Erlang BEAM
Finding My
Spark
Again: A Month with
Codex
dragsbaek.tech
·
1d
·
Discuss:
Hacker News
⚡
Live Coding
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
11h
🧩
SAT Solvers
#131 - From
Forking
to Forging: Designing a modern contribution workflow for the future -
forgejo/discussions
codeberg.org
·
13h
🔒
Rust Borrowing
The "
Backend
Trap": Why launching 6 apps in a year
taught
me that code is only 20% of the battle.
jindequan.top
·
2d
·
Discuss:
r/SideProject
🎮
Language Ergonomics
Claude
Opus
4.6: System Card Part 1:
Mundane
Alignment and Model Welfare
lesswrong.com
·
18h
🎮
Language Ergonomics
Software Engineering with AI: Beyond
Vibe-Coding
principalengineer.com
·
2d
🎭
Program Synthesis
Code has _
always
_ been the easy part
laughingmeme.org
·
23h
🎮
Language Ergonomics
The
Quest
for
Simplicity
prokeimenon.org
·
21h
·
Discuss:
Hacker News
🤐
Zipper Structures
The Claude
Skills
I Actually Use for
DevOps
pulumi.com
·
1d
📚
Self-Documenting Code
The
OWASP
LLM Top: A Practical Attack Guide (with 122 real attack
techniques
)
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🛡️
Security Type Systems
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
21h
📇
Symbol Tables
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