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
17107
posts in
310.7
ms
Show HN:
OpenSymbolicAI
– Agents with typed variables, not just context
stuffing
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
⚔️
Lean Tactics
An AI
Workflow
to Slow Down and
Reflect
in the Age of Inference-Speed
souravinsights.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
Show HN:
Kekkai
– Interactive security
triage
in the terminal
news.ycombinator.com
·
6d
·
Discuss:
Hacker News
📟
Terminal Forensics
robmoore-i/helm-test-java
: A Java library and
Gradle
plugin for writing Helm chart tests
github.com
·
6d
·
Discuss:
Hacker News
🦀
Rust Macros
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
How I'm
writing
code in 2026
coryzue.com
·
6d
·
Discuss:
Hacker News
⚡
Proof Automation
akshat666/ephemeral-first-security-framework
: Security through
transience
, not just encryption
github.com
·
6d
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
Programming
with AI, Without the
Hype
albertovarela.net
·
6d
·
Discuss:
Hacker News
🏗️
Compiler Archaeology
"Tab, Tab, Bug'': Security
Pitfalls
of Next Edit Suggestions in AI-Integrated
IDEs
arxiv.org
·
1d
🧪
Binary Fuzzing
SPARC
:
Separating
Perception And Reasoning Circuits for Test-time Scaling of VLMs
arxiv.org
·
1d
🧠
Intelligence Compression
Stop
generating
, start
thinking
localghost.dev
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
⚙️
Proof Engineering
Tower of
Flaws
:
Dismantling
Tower of Fantasy's Anti-Cheat Driver While Waiting for The Game to Install
vespalec.com
·
4d
·
Discuss:
Hacker News
🛡️
eBPF Security
Integrating
Coverity
static analysis with
Bazel
tweag.io
·
5d
·
Discuss:
Lobsters
✅
Format Validation
Skills
Are the Most
Underrated
Feature in Agentic AI
brethorsting.com
·
4d
·
Discuss:
Hacker News
🔐
Capability Systems
Hype-free
lessons
from 1 year of 100%
AI-generated
code
qaishweidi.com
·
4d
·
Discuss:
Hacker News
📏
Code Metrics
A
Journey
into Understanding the
IDE
Bus
crowdsupply.com
·
5d
·
Discuss:
Hacker News
🧲
RISC-V Archaeology
Towards self-driving
codebasesWe
're making a part of our multi-agent research
harness
available to try today in preview.research
cursor.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
Hacker News
⚡
Incremental Computation
Why
Bernardo
Silva is
Pep
Guardiola’s perfect captain
the-independent.com
·
21m
🤖
AI Curation
Legal advice, translation
lacking
in UK–France
migrant
returns deal: report
rfi.fr
·
51m
⚖️
Legal Compliance
Loading...
Loading more...
« Page 18
•
Page 20 »
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