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
17129
posts in
535.8
ms
TrajAD
: Trajectory Anomaly Detection for
Trustworthy
LLM Agents
arxiv.org
·
1d
⚙️
TLA+
Code vs
Serialized
AST
Inputs
for LLM-Based Code Summarization: An Empirical Study
arxiv.org
·
1d
🔗
Concatenative Programming
AI, Entropy, and the
Illusion
of
Convergence
in Modern Software
dev.to
·
2d
·
Discuss:
DEV
🔍
Concolic Testing
Monty
: A minimal, secure Python
interpreter
written in Rust for use by AI
dev.to
·
2d
·
Discuss:
DEV
🦀
Rust Macros
Stop
Torturing
Your Data: How to Automate
Rigor
With AI
hackernoon.com
·
6d
⚡
Proof Automation
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
⚙️
Proof Engineering
Show HN:
StatCalc
– Statistical Calculator with Clear
Visualizations
echomoltinsson.github.io
·
4d
·
Discuss:
Hacker News
📊
Count-Min Sketch
Deso-PK/make-trust-irrelevant
: Make trust irrelevant for agentic AI using
kernel-enforced
authority boundaries.
github.com
·
3d
·
Discuss:
Hacker News
🔒
WASM Capabilities
annotate
–> preview –> code generation
intentify.dev
·
4d
·
Discuss:
Hacker News
🦀
Rust Macros
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
N8n
's Security
hetmehta.com
·
4d
·
Discuss:
Hacker News
🧪
CBOR Fuzzing
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
5d
·
Discuss:
Lobsters
,
Hacker News
🌳
Archive Merkle Trees
What does it take to build towards 100
PRs/day
per
engineer
?
jonathannen.com
·
4d
·
Discuss:
Hacker News
⚡
Proof Automation
Continuous
AI in practice: What developers can automate today with agentic
CI
github.blog
·
4d
·
Discuss:
Hacker News
⚡
Proof Automation
The Missing
Layer
yagmin.com
·
4d
·
Discuss:
Hacker News
⚙️
Proof Engineering
Building
Production-Grade
AI Systems: The
Observability
Library That Actually Works
medium.com
·
4d
·
Discuss:
Hacker News
👁️
System Observability
Your CLI's
UX
is
probably
broken for AI agents
speakeasy.com
·
5d
·
Discuss:
Hacker News
📟
CLI Design
Training language models on
TPUs
shouldn't be
scary
dogac.dev
·
4d
·
Discuss:
Hacker News
🎯
Emulator Accuracy
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🌊
Streaming Algorithms
Taming the Flat AST:
Ergonomics
in the Age of Zero
Allocations
modern-c.blogspot.com
·
6d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
📝
Compiler Design
CodeSOD
:
Brillant
Python Programmers
thedailywtf.com
·
5d
·
Discuss:
Hacker News
🪟
Awesome windows command-line
Loading...
Loading more...
« Page 13
•
Page 15 »
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