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
🔍 Concolic Testing
Symbolic Execution, SAGE, Path Exploration, Dynamic Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16838
posts in
596.0
ms
Debugger
Dedicated
to Embedded Systems
hackster.io
·
1d
🔍
RISC-V Debug
Hacking
the
Maclock
taoofmac.com
·
6h
📼
Cassette Hacking
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
19h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚖️
Verification Calculi
Same Engine, Multiple Gears: Parallelizing
Fixpoint
Iteration at Different
Granularities
(Extended Version)
arxiv.org
·
1d
⚡
Parallel Computing
Onboarding
in the
Ever-Changing
World of AI
playfulprogramming.com
·
1d
🖥️
Terminal Renaissance
We hid
backdoors
in
binaries
– Opus 4.6 found 49% of them
quesma.com
·
2h
·
Discuss:
Hacker News
,
r/programming
🦠
Malware Analysis
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🔗
Functional Compilers
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
1h
·
Discuss:
Hacker News
💧
Liquid Types
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
21h
·
Discuss:
Substack
⚡
Proof Automation
VeritasAdmin/audit-grade-ai-workstation
: Design
rationale
for a dual-GPU workstation supporting reproducible AI safety evaluation
github.com
·
2h
·
Discuss:
Hacker News
🏠
Homelab Archaeology
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
7h
·
Discuss:
Hacker News
⚡
Proof Automation
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
15h
·
Discuss:
Substack
📏
Code Metrics
Statistical-Based
Metric
Threshold
Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience
arxiv.org
·
1d
📏
Code Metrics
A Note on
Flat
Abstract
Syntax
Trees
gist.github.com
·
20h
·
Discuss:
Hacker News
🔗
Monadic Parsing
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
1d
⚡
Proof Automation
Better Python tests with
inline-snapshot
pydantic.dev
·
17h
·
Discuss:
Lobsters
,
Hacker News
🧪
Property-Based Testing
API metrics,
logs
and now
traces
in one place
apitally.io
·
2h
·
Discuss:
Hacker News
👁️
System Observability
Fine, I'll
Try
AI
technobabble.bearblog.dev
·
14h
·
Discuss:
Lobsters
,
Hacker News
⚡
Proof Automation
Allium
is an LLM-native language for
sharpening
intent alongside implementation
juxt.github.io
·
1d
·
Discuss:
Hacker News
🎯
Gradual Typing
DSA
Interview Questions: What Really Gets Asked (and How to
Prepare
Smart)
dsa-interview-questions.pages.dev
·
20h
·
Discuss:
Hacker News
🎯
Threat Hunting
Loading...
Loading more...
« Page 1
•
Page 3 »
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