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 Testing
QuickCheck, Hypothesis, Generative Testing, Invariant Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83317
posts in
435.3
ms
Synthesizing
Realistic
Test Data without Breaking Privacy
arxiv.org
·
1d
🎲
Parser Fuzzing
fts
_
depends
- Windows Dependency Checker
forrestthewoods.com
·
37m
📦
Dependency Analysis
Nonlinear random walks on
hypergraphs
characterized
by higher-order interactions
sciencedirect.com
·
7h
🧮
Combinator Calculus
Why are Neural Networks
architected
that way in the first place?
threads.championswimmer.in
·
4h
🗺️
Region Inference
Style tips for less
experienced
developers
coding with AI
honnibal.dev
·
1d
·
Discuss:
Hacker News
🌊
Gradual Effects
A
Horrible
Conclusion
addisoncrump.info
·
9h
·
Discuss:
Lobsters
,
Hacker News
🛡️
Security Type Systems
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
2d
🚂
Error Propagation
Same
Surface
, Different
Weight
robpanico.com
·
8h
·
Discuss:
Hacker News
🔄
Copy Propagation
Looking at
binary
trees
in C++
meetingcpp.com
·
37m
🤐
Zipper Structures
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
2d
·
Discuss:
Hacker News
🌳
Tree Walking
Proving Immediate Mode
GUIs
are
Performant
forrestthewoods.com
·
37m
📈
Performance Tools
The control
layer
for AI
blog.dottxt.ai
·
23h
·
Discuss:
Hacker News
🔀
Control Structures
Repairing
Property Graphs under
PG-Constraints
arxiv.org
·
1d
🔗
Graph Rewriting
Free online
toolbox
with 50+ useful tools – no ads, no
signup
required
strongtools.site
·
8h
·
Discuss:
r/SideProject
✨
Code Formatters
Stocking
Stuffers
yamlscript.org
·
17h
🔗
Lexical Scoping
How I Built a Random Number
Generator
(
Sort
Of)
dev.to
·
33m
·
Discuss:
DEV
🔢
Bit Manipulation
How to Fake a
Robotics
Result
itcanthink.substack.com
·
4h
·
Discuss:
Substack
🌊
Loop Invariant Motion
Evaluate generative AI models with an Amazon Nova
rubric-based
LLM judge on Amazon
SageMaker
AI (Part 2)
aws.amazon.com
·
1d
✨
Gleam
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
Tip of the Week #140:
Constants
: Safe
Idioms
abseil.io
·
37m
🔗
Lexical Scoping
Loading...
Loading more...
« Page 1
•
Page 3 »
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