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
17152
posts in
246.5
ms
Algebraic
Robustness
Verification of Neural Networks
arxiv.org
·
1d
🔧
Hardware Verification
The
CTO
's Guide to AI Tool
ROI
dev.to
·
1d
·
Discuss:
DEV
📏
Code Metrics
Why Most AI Content Systems Don’t Learn
dev.to
·
2d
·
Discuss:
DEV
⚡
Incremental Computation
Plan–Code–
Execute
:
Designing
Agents That Create Their Own Tools
towardsdatascience.com
·
5d
🔗
Constraint Handling
denysvitali/claude-code-patches
: Make Claude Code fast again.
github.com
·
5d
·
Discuss:
Hacker News
🔩
Systems Programming
Maiasa
: A next-gen, fast, robust,
ethical
language model (that can only say "a")
maiasa.ai
·
6d
·
Discuss:
Hacker News
🌳
Context free grammars
SHOW HN:
Notepad
++ Vulnerability
Checker
github.com
·
6d
·
Discuss:
Hacker News
💣
ZIP Vulnerabilities
AI Inference
Pipelines
– Building Low-Latency Systems With
gRPC
youtube.com
·
5d
⚡
gRPC
If You
Tell
AI Not to Do Something, It’s More Likely to Do It
unite.ai
·
6d
·
Discuss:
Hacker News
🔗
Constraint Handling
Easy
FunctionGemma
finetuning with
Tunix
on Google TPUs
developers.googleblog.com
·
6d
💧
Liquid Types
Safe, Fast, and Scalable: Why
gRPC-Rust
Should Be Your Next
RPC
Framework
youtube.com
·
5d
·
Discuss:
r/rust
⚡
gRPC
The
Gumbel-Max
Trick
blog.quipu-strands.com
·
6d
·
Discuss:
Hacker News
🧮
Kolmogorov Bounds
Both
Sides
of the AI Coding
Debate
Are Wrong
juansg.dev
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
The Decision Engine
holenventures.substack.com
·
6d
·
Discuss:
Substack
🌍
Cultural Algorithms
Beyond Giant Models: Why AI
Orchestration
Is the New
Architecture
kdnuggets.com
·
6d
⚙️
TLA+
An AI
Workflow
to Slow Down and
Reflect
in the Age of Inference-Speed
souravinsights.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
Show HN:
Kekkai
– Interactive security
triage
in the terminal
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
📟
Terminal Forensics
Show HN:
Metaswarm
: Production-ready agent
swarms
, MIT license
dsifry.github.io
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
AI agents in enterprises: Best practices with Amazon
Bedrock
AgentCore
aws.amazon.com
·
6d
🌊
Streaming Systems
Loading...
Loading more...
« Page 17
•
Page 19 »
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