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
80564
posts in
930.0
ms
Linux Command Line and Shell Scripting
Bible
, 5th Ed (
Wiley
)
i-programmer.info
·
22h
🐚
Shell Languages
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
3h
·
Discuss:
Hacker News
📦
Portable Bytecode
Using an AI agent to design and ship a Rust
diff
fingerprinting
algorithm
argos-ci.com
·
16h
·
Discuss:
Hacker News
✨
Effect Inference
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
🎭
Program Synthesis
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
5d
🚂
Error Propagation
Web Developer Travis
McCracken
on The 80/20 Rule of
Backend
Dev
dev.to
·
1d
·
Discuss:
DEV
📦
Monorepos
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
Building a
Slack
Bot
siivikko.fi
·
7h
·
Discuss:
Hacker News
💬
Interactive REPLs
Statistical-Based
Metric
Threshold
Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience
arxiv.org
·
1d
📊
Code Metrics
Show HN:
Kore
– Stack based language where
compiler
is the reward function
github.com
·
12h
·
Discuss:
Hacker News
🚀
Code Motion
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:
AetherLang
– A
DSL
for building AI workflows with visual debugging
github.com
·
14h
·
Discuss:
Hacker News
✨
Gleam
After many years in dev, I finally ditched the SPA default for
HTMX
. Here is the production
post-mortem
.
enriquebruzual.substack.com
·
1h
·
Discuss:
r/htmx
🌐
Browser REPLs
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🚂
Error Monads
Your LLM-as-a-Judge is
Asking
the Wrong Question
veris.ai
·
1h
·
Discuss:
Hacker News
🧪
Parser Testing
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
18h
·
Discuss:
Hacker News
🎭
Program Synthesis
Week 1: Why did I start learning Rust?
vitaliihonchar.com
·
3d
·
Discuss:
r/programming
🦀
MIR Optimization
Performance
Tip
of the Week #93: Robots never
sleep
abseil.io
·
2d
🏰
Capability Machines
Loading...
Loading more...
« Page 4
•
Page 6 »
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