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
17061
posts in
411.5
ms
Beyond
Static
Alignment:
Hierarchical
Policy Control for LLM Safety via Risk-Aware Chain-of-Thought
arxiv.org
·
1d
🔒
WASM Capabilities
Algebraic
Robustness
Verification of Neural Networks
arxiv.org
·
1d
🔧
Hardware Verification
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
2d
·
Discuss:
DEV
🧪
Binary Fuzzing
Building a Simple “Chat with Your
Documents
”
GenAI
App (End-to-End)
dev.to
·
3d
·
Discuss:
DEV
🤖
Archive Automation
Examining
black-box forensic tools in digital vehicle
forensics
: Capabilities, limitations, and practical implications
sciencedirect.com
·
6d
🔬
Hardware Forensics
When cost models hit the wall
clock
futhark-lang.org
·
6d
📼
Tape Combinators
Sandboxing
AI agents in Linux
blog.senko.net
·
6d
🛡️
WASM Sandboxing
Improve your
typing
accuracy with our new
typing
modes
typequicker.com
·
6d
·
Discuss:
Hacker News
🎯
Gradual Typing
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🎵
Audio ML
Ax Showdown:
Honeycomb
vs.
SigNoz
techstackups.com
·
6d
·
Discuss:
Hacker News
🔌
Offline-first Apps
java
sucks
(2000)
jwz.org
·
6d
·
Discuss:
Lobsters
🔗
Concatenative Programming
The
Limit
in the
Loop
weaviate.io
·
6d
·
Discuss:
Hacker News
💾
Persistence Strategies
AI After Drug Development—
Asterisk
asteriskmag.com
·
6d
·
Discuss:
Hacker News
,
Hacker News
🔍
Vector Forensics
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
5d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
Scaling AI Agents With
gRPC
:
Intuit
's Enterprise MCP Service Marketplace
youtube.com
·
5d
⚡
gRPC
Maiasa
: A next-gen, fast, robust,
ethical
language model (that can only say "a")
maiasa.ai
·
6d
·
Discuss:
Hacker News
🌳
Context free grammars
As
Rocks
May Think
evjang.com
·
6d
·
Discuss:
Hacker News
,
r/programming
📼
Tape Combinators
What
Happens
When AI Can
Write
All Your Software?
jakequist.com
·
5d
·
Discuss:
Hacker News
📏
Code Metrics
Record AI coding
sessions
as
replayable
workflow recipes
buildlog.ai
·
6d
·
Discuss:
Hacker News
🔄
Archival Workflows
I built a free
ML
practice
platform - would love your feedback [P]
reddit.com
·
6d
·
Discuss:
r/MachineLearning
🎵
Audio ML
Loading...
Loading more...
« Page 16
•
Page 18 »
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