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
17153
posts in
326.3
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
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
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
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
N8n
's Security
hetmehta.com
·
4d
·
Discuss:
Hacker News
🧪
CBOR Fuzzing
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
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
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
6d
·
Discuss:
Lobsters
🎯
Gradual Typing
gRPC Observability: A Guide To Distributed Debugging and Monitoring - Abhishek Agrawal,
Madhav
Bissa
youtube.com
·
5d
👁️
System Observability
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