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
🧪 Property-Based Testing
QuickCheck, Input Generation, Hypothesis Testing, Test Refinement
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
18430
posts in
546.6
ms
HyPER: Bridging Exploration and
Exploitation
for Scalable LLM Reasoning with
Hypothesis
Path Expansion and Reduction
arxiv.org
·
16h
📏
Linear Logic
TrajAD
: Trajectory Anomaly Detection for
Trustworthy
LLM Agents
arxiv.org
·
16h
⚙️
TLA+
Active
Directory
Lab for
PenTest
. Manual Deployment Guide
infosecwriteups.com
·
5d
🏠
Homelab Pentesting
AI, Entropy, and the
Illusion
of
Convergence
in Modern Software
dev.to
·
2d
·
Discuss:
DEV
🔍
Concolic Testing
Monty
: A minimal, secure Python
interpreter
written in Rust for use by AI
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
Stop
Torturing
Your Data: How to Automate
Rigor
With AI
hackernoon.com
·
5d
⚡
Proof Automation
CodeSOD
: A
Percise
Parser
thedailywtf.com
·
6d
🌳
Incremental Parsing
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
5d
·
Discuss:
Hacker News
📏
Code Metrics
The Engagement Trap: 45
Adversarial
Patterns in Modern AI
Assistants
pastebin.com
·
3d
·
Discuss:
Hacker News
🎯
Threat Hunting
Examining
Turbopuffer
ANN v3
terencezl.github.io
·
4d
·
Discuss:
Hacker News
⚡
Compression Hardware
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
Building a C
compiler
with a team of parallel
Claudes
anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
r/ClaudeAI
,
r/Compilers
,
r/embedded
,
r/rust
🔩
Systems Programming
How I Built a Physical Kill-Switch for CI/CD
Pipelines
to Stop
SolarWinds-Style
Attacks
blog.devops.dev
·
4d
🔒
Secure Boot
Show HN:
StatCalc
– Statistical Calculator with Clear
Visualizations
echomoltinsson.github.io
·
4d
·
Discuss:
Hacker News
📊
Count-Min Sketch
How I Program with LLMs
blog.wesleyabbey.io
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Tried my AI skill generator. A
12-char
typo beat a
3k-word
spec
goldsborough.io
·
4d
·
Discuss:
Hacker News
⚡
Proof Automation
Modern
Trends
In
Floating-Point
semiengineering.com
·
4d
📐
Arithmetic Precision
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🧪
Hardware Fuzzing
Redis/Valkey
Replication
Internals
: The Architecture Behind Zero-Copy Command Propagation
frostzt.com
·
4d
·
Discuss:
Hacker News
,
r/programming
⚡
Redis Internals
Deso-PK/make-trust-irrelevant
: Make trust irrelevant for agentic AI using
kernel-enforced
authority boundaries.
github.com
·
2d
·
Discuss:
Hacker News
🔒
WASM Capabilities
Loading...
Loading more...
« Page 11
•
Page 13 »
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