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
18346
posts in
214.5
ms
Beyond
Static
Alignment:
Hierarchical
Policy Control for LLM Safety via Risk-Aware Chain-of-Thought
arxiv.org
·
20h
🔒
WASM Capabilities
Algebraic
Robustness
Verification of Neural Networks
arxiv.org
·
20h
🔧
Hardware Verification
Yet Another Set of Claude Code
Plugins
(But Maybe
Useful
?)
dev.to
·
2d
·
Discuss:
DEV
⚡
Proof Automation
Building a Simple “Chat with Your
Documents
”
GenAI
App (End-to-End)
dev.to
·
2d
·
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
Trust
Signals
Are
Broken
ordep.dev
·
6d
·
Discuss:
Lobsters
,
Hacker News
🧪
CBOR Fuzzing
AI Cost
Considerations
Every
Engineer
Should Know
vantage.sh
·
6d
·
Discuss:
Hacker News
⚡
Incremental Computation
Groverkss/mlir-tutor
: Exercises for Learning MLIR (Originally written for
PPoPP
2026)
github.com
·
4d
·
Discuss:
Hacker News
,
r/Compilers
🎵
Audio ML
Ax Showdown:
Honeycomb
vs.
SigNoz
techstackups.com
·
6d
·
Discuss:
Hacker News
🔌
Offline-first Apps
Claude Didn’t
Kill
Craftsmanship
mergify.com
·
5d
·
Discuss:
Hacker News
⬜
Minimalism
java
sucks
(2000)
jwz.org
·
6d
·
Discuss:
Lobsters
🔗
Concatenative Programming
The
Danger
of ‘
Mostly
Right’
complimind.co.uk
·
6d
·
Discuss:
Hacker News
🛡️
Error Boundaries
Treating
documentation as an
observable
system in RAG-based products
alexanderfashakin.substack.com
·
6d
·
Discuss:
Substack
📚
MARC Evolution
AI After Drug Development—
Asterisk
asteriskmag.com
·
6d
·
Discuss:
Hacker News
,
Hacker News
🔍
Vector Forensics
How to Build Safe
Natural
Language-Driven
APIs
techcommunity.microsoft.com
·
6d
·
Discuss:
Hacker News
🌀
Brotli Internals
The LLM
spectrum
and
responsible
LLM use
martin.janiczek.cz
·
5d
·
Discuss:
Lobsters
,
Hacker News
💧
Liquid Types
CodeSOD
:
Brillant
Python Programmers
thedailywtf.com
·
4d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
Loading...
Loading more...
« Page 15
•
Page 17 »
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