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
16881
posts in
145.5
ms
Debugger
Dedicated
to Embedded Systems
hackster.io
·
1d
🔍
RISC-V Debug
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
Grumpy
Julio
plays with CLI coding agents
blogsystem5.substack.com
·
20h
·
Discuss:
Substack
⚡
Proof Automation
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
23h
🔗
Functional Compilers
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
6h
·
Discuss:
Hacker News
⚡
Proof Automation
Quick
Comparison
of
JVM
Languages
jvmhost.com
·
30m
·
Discuss:
Hacker News
💧
Liquid Types
AI is a High Pass
Filter
for Software
Delivery
bryanfinster.substack.com
·
14h
·
Discuss:
Substack
📏
Code Metrics
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
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
·
19h
·
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
·
16h
·
Discuss:
Lobsters
,
Hacker News
🧪
Property-Based Testing
API metrics,
logs
and now
traces
in one place
apitally.io
·
1h
·
Discuss:
Hacker News
👁️
System Observability
Fine, I'll
Try
AI
technobabble.bearblog.dev
·
13h
·
Discuss:
Lobsters
,
Hacker News
⚡
Proof Automation
The Rise of
Spec
Driven Development
dbreunig.com
·
3d
·
Discuss:
Hacker News
🔄
Reproducible Builds
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
Domain
Knowledge Is the New
Syntax
blog.melashri.net
·
1d
·
Discuss:
Hacker News
📏
Code Metrics
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
1d
⚡
Hardware Transactional Memory
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