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
81827
posts in
287.6
ms
The Core
Folder
Anti-Pattern
improveandrepeat.com
·
1d
🌳
Tree Shaking
JADE
:
Expert-Grounded
Dynamic Evaluation for Open-Ended Professional Tasks
arxiv.org
·
18h
🏷️
Attribute Grammars
Type
Variance
en.wikipedia.org
·
3d
·
Discuss:
Hacker News
🎭
Polymorphic Variants
Scaling AI Agents: Mastering
Elasticity
, State, and
Throughput
with C#
dev.to
·
3h
·
Discuss:
DEV
📮
Persistent Queues
Algebraic
Robustness
Verification of Neural Networks
arxiv.org
·
18h
🚂
Error Propagation
How I Approach a System I Have Never Seen Before
dev.to
·
14h
·
Discuss:
DEV
🛡️
Security Type Systems
Adding Myers Diff To Share Link
Snapshots
In Big Sexy
Poems
bennadel.com
·
10h
📝
Editor Buffers
Understanding the Go
Runtime
: The
Bootstrap
internals-for-interns.com
·
16h
·
Discuss:
Hacker News
,
r/golang
🐹
Go Internals
what a software factory can
teach
creatives
about working with AI
codeforcreatives.com
·
8h
·
Discuss:
Hacker News
🎭
Program Synthesis
thevgergroup/undetected-browser-tool
: Bypass browser bot detection in langchain tools
github.com
·
15h
🌐
Browser REPLs
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚂
Error Propagation
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
4d
🚂
Error Propagation
Claude Code: Production ready code in a two-week
sprint
thoughtbot.com
·
23h
🎭
Program Synthesis
Andersbakken/rtags
: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.
github.com
·
4h
📇
Symbol Tables
Platforms that
rank
the latest LLMs can be
unreliable
techxplore.com
·
5h
🏁
Language Benchmarks
Tip of the Week #140:
Constants
: Safe
Idioms
abseil.io
·
2d
🔗
Lexical Scoping
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
11h
🪜
Recursive Descent
Pydantic
Performance: 4 Tips on How to Validate Large
Amounts
of Data Efficiently
towardsdatascience.com
·
3d
📋
JSON Parsing
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
The control
layer
for AI
blog.dottxt.ai
·
2d
·
Discuss:
Hacker News
🔀
Control Structures
Loading...
Loading more...
« Page 7
•
Page 9 »
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