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, Generative Testing, Haskell, Test Cases
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74238
posts in
682.4
ms
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
3d
⚓
Anchors
Quash
: A mobile
QA
agent that runs tests without scripts
producthunt.com
·
3d
🖥️
SerenityOS
Naughty
is
Nice
!
yamlscript.org
·
2d
🔨
Compiler Design
hoainho/react-debugger-extension
: Advanced debugging & performance optimization tool for
ReactJS
applications.
github.com
·
1d
·
Discuss:
DEV
⚛️
React
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
3d
🦀
Rust
Refactoring
038
dev.to
·
3d
·
Discuss:
DEV
λ
Functional Programming
A
GTM
guide to AI models
revengine.substack.com
·
1d
·
Discuss:
Substack
💬
Prompt Engineering
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
2d
·
Discuss:
Hacker News
,
Hacker News
🎯
Escape Analysis
From
CS230
Theory to Production Android: Building a Privacy-First Credit Risk
Classifier
pub.towardsai.net
·
11h
💰
TigerBeetle
Test-Driven Development for Building User
Interfaces
dev.to
·
2h
·
Discuss:
DEV
🧪
Testing
Profiling
Go programs with
pprof
jvns.ca
·
1d
📊
Profiling Tools
Tutorial
on
Agentic
Engine
pori.vanangamudi.org
·
17h
·
Discuss:
r/LocalLLaMA
📝
Poem
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
4h
·
Discuss:
Substack
💬
Prompt Engineering
Private Data Space Model
privatedata.space
·
4d
🔗
Intrusive Containers
AI Agents are shipping code
faster
than we can test
christopherhwood.com
·
18h
·
Discuss:
Hacker News
🛡️
AI Security
Learnings
from Creating a
GUI
Library
blog.s-schoener.com
·
18h
·
Discuss:
Lobsters
,
Hacker News
🧊
Iced
How
StrongDM
’s AI team build
serious
software without even looking at the code
simonw.substack.com
·
1d
·
Discuss:
Substack
🚀
MLOps
C and
Undefined
Behaviour
lelanthran.com
·
1d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
📚
Stack Unwinding
Show HN:
Elysia
JIT
"Compiler", why it's one of the fastest JavaScript framework
elysiajs.com
·
1d
·
Discuss:
Hacker News
,
r/javascript
,
r/node
🏗️
Pavex
ExpressivityBench
: Can LLMs Communicate
Implicitly
?
arxiv.org
·
13h
🦙
Ollama
Loading...
Loading more...
« Page 4
•
Page 6 »
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