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
19568
posts in
786.5
ms
What's in a Benchmark? The Case of
SWE-Bench
in Automated Program Repair
arxiv.org
·
1d
📏
Code Metrics
E-Globe: Scalable $\
epsilon
$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware
Branching
arxiv.org
·
22h
🔧
Hardware Verification
How
Yelp
Built a Back-Testing Engine for
Safer
, Smarter Ad Budget Allocation
engineeringblog.yelp.com
·
5d
📊
Feed Optimization
Untangling
Literate
Programming
quotenil.com
·
5d
🔗
Concatenative Programming
Riki
: the shortcut
directive
blog.liw.fi
·
6d
✨
Effect Handlers
Rust
Coreutils
0.6 Brings Increased Compatibility, Removing Some Unsafe Code & More
Perf
phoronix.com
·
4d
🦀
Rust Macros
From Simple
Circuits
to
Powerful
Systems
spin.atomicobject.com
·
4d
⚡
Circuit Design
Advancing
AI
benchmarking
with Game Arena
blog.google
·
5d
·
Discuss:
Hacker News
🔲
Cellular Automata
AI agents in enterprises: Best practices with Amazon
Bedrock
AgentCore
aws.amazon.com
·
3d
🌊
Streaming Systems
akshat666/ephemeral-first-security-framework
: Security through
transience
, not just encryption
github.com
·
3d
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
The Hot
Mess
of AI: How Does
Misalignment
Scale with Model Intelligence and Task Complexity?
alignment.anthropic.com
·
4d
·
Discuss:
Hacker News
🧠
Intelligence Compression
Ask HN: Why dead code detection in Python is
harder
than most tools
admit
news.ycombinator.com
·
4d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Show HN: 32KB
deductive
engine that catches LLM
hallucinations
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
👑
Isabelle
When cost models hit the wall
clock
futhark-lang.org
·
3d
📼
Tape Combinators
Benchmarking
LLMs for Voice Agent Use
Cases
daily.co
·
4d
·
Discuss:
Hacker News
🎙️
Whisper
Narrowing
the
Cone
of Error in AI Development Workflows
drew.thecsillags.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Why Go is not my
favourite
language
blog.habets.se
·
4d
·
Discuss:
Hacker News
🧠
Lisp Dialects
iree-org/wave
: Wave: Python
Domain-Specific
Language for High Performance Machine Learning
github.com
·
3d
·
Discuss:
Hacker News
🚀
SIMD Parsing
Programming
with AI, Without the
Hype
albertovarela.net
·
3d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
I
struggled
to code with AI until I learned this
workflow
newsletter.systemdesign.one
·
4d
·
Discuss:
r/programming
⚡
Proof Automation
Loading...
Loading more...
« Page 12
•
Page 14 »
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