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
16973
posts in
469.7
ms
TrajAD
: Trajectory Anomaly Detection for
Trustworthy
LLM Agents
arxiv.org
·
1d
⚙️
TLA+
Beyond
Static
Alignment:
Hierarchical
Policy Control for LLM Safety via Risk-Aware Chain-of-Thought
arxiv.org
·
1d
🔒
WASM Capabilities
Monty
: A minimal, secure Python
interpreter
written in Rust for use by AI
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
CAP-SRP
: Building a Cryptographic Flight Recorder for AI Content
Refusals
— A Complete Implementation Guide
dev.to
·
3d
·
Discuss:
DEV
🌳
Archive Merkle Trees
What Is a
Brute
Force Attack and How to
Prevent
It
securityscorecard.com
·
6d
🔓
Password Cracking
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
⚙️
Proof Engineering
Code
smells
for AI agents: Q&A with
Eno
Reyes of Factory
stackoverflow.blog
·
5d
📏
Code Metrics
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🌊
Streaming Algorithms
Playwriter
, extension to control Chrome with agentic
CLIs
grokipedia.com
·
5d
·
Discuss:
Hacker News
🛡️
WASM Sandboxing
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
📝
Compiler Design
CodeSOD
:
Brillant
Python Programmers
thedailywtf.com
·
5d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
gRPC Observability: A Guide To Distributed Debugging and Monitoring - Abhishek Agrawal,
Madhav
Bissa
youtube.com
·
5d
👁️
System Observability
ARY
: Always
Repeat
Yourself
dolphinmade.com
·
5d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
6d
·
Discuss:
Lobsters
🎯
Gradual Typing
What are
Effect
System and Why Do We care?
idiomaticsoft.com
·
6d
✨
Effect Handlers
The
Agentic
Trust Framework: Zero Trust
Governance
for AI Agents
cloudsecurityalliance.org
·
5d
·
Discuss:
Hacker News
🔲
Cellular Automata
Writing
the Code That
Powers
Your Code
thelinell.com
·
6d
·
Discuss:
Hacker News
📜
Proof Carrying Code
Vibe
Coding Design Study:
Tlparse
blog.ezyang.com
·
6d
·
Discuss:
Hacker News
📏
Code Metrics
Mekara
:
Workflows
as Code Proof-of-Concept
meksys-dev.github.io
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Common Sense
Refactoring
of a
Messy
React Component
alexkondov.com
·
5d
·
Discuss:
Hacker News
🧩
WASM Components
Loading...
Loading more...
« Page 14
•
Page 16 »
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