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
80235
posts in
1.07
s
Linux Command Line and Shell Scripting
Bible
, 5th Ed (
Wiley
)
i-programmer.info
·
20h
🐚
Shell Languages
Devlog
#04
spoocejuice.itch.io
·
2h
🐛
Interactive Debuggers
Just-in-Time
Ontological
Reframing
: Teaching Gemini to Route Around Its Own Safety Infrastructure
recursion.wtf
·
17h
🔄
Subinterpreters
Read The Code (
Sometimes
)
build.ms
·
1d
📚
Self-Documenting Code
Designing the Engine: How I Built a
Laravel-Like
PHP
Starter Kit
fiverr.com
·
1d
·
Discuss:
DEV
🔄
Bootstrapping
Towards
Perfect
Vulnerability
Management System
worklifenotes.com
·
16h
·
Discuss:
Hacker News
🛡️
Error Boundaries
The
Joy
of
Programming
deanclatworthy.com
·
23h
·
Discuss:
Hacker News
📚
Self-Documenting Code
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
🎭
Program Synthesis
Using Large Language Models to Support Automation of Failure Management in CI/CD
Pipelines
: A Case Study in SAP
HANA
arxiv.org
·
1d
🚚
Code Migration
How I Approach a System I Have Never Seen Before
dev.to
·
1d
·
Discuss:
DEV
🛡️
Security Type Systems
I Built a Python CLI Tool for RAG Over Any
Document
Folder
dev.to
·
1d
·
Discuss:
DEV
⚙️
TOML Parsers
Building a
Slack
Bot
siivikko.fi
·
4h
·
Discuss:
Hacker News
💬
Interactive REPLs
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🚂
Error Propagation
Statistical-Based
Metric
Threshold
Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience
arxiv.org
·
1d
📊
Code Metrics
Show HN:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
12h
·
Discuss:
Hacker News
✨
Gleam
QtWidgets
to
QtQuick
, An Application Journey Part 2
qt.io
·
7h
🌉
Cross-Platform FFI
A Language For Agents
lucumr.pocoo.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🎨
Domain-Specific Languages
On the Tension Between
Object-Oriented
and
Generic
Programming in C++
artima.com
·
2d
🗂️
Type Indexing
Show HN:
Kore
– Stack based language where
compiler
is the reward function
github.com
·
10h
·
Discuss:
Hacker News
🚀
Code Motion
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
23h
🚂
Error Monads
Loading...
Loading more...
« Page 3
•
Page 5 »
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