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, Hypothesis, Generative Testing, Invariant Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
83080
posts in
749.9
ms
Formal
Evidence Generation for
Assurance
Cases for Robotic Software Models
arxiv.org
·
3d
🎯
Symbolic Execution
Understanding
Bug-Reproducing
Tests: A First
Empirical
Study
arxiv.org
·
3d
🧪
Compiler Testing
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
2d
·
Discuss:
blog.computationalcomplexity.org
🗑️
Stack Scanning GC
Procmail
Quick
Reference
Guide
web.archive.org
·
12h
🪄
Macros
**Python
Techniques
for Complete Machine Learning Model
Lifecycle
Management**
dev.to
·
13h
·
Discuss:
DEV
🚀
PyPy JIT
The
Instantiation
Era -
Log
nibzard.com
·
1d
🐛
Interactive Debuggers
Deterministic
Time with Go's
Synctest
oblique.security
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/golang
🐹
Goroutine Scheduling
⚖️ Beginner-Friendly Guide 'Minimum
Removals
to Balance
Array
' - Problem 3634 (C++, Python, JavaScript)
dev.to
·
1d
·
Discuss:
DEV
🪢
Rope Data Structures
Landlord
: a
tenancy
controller and experiment in AI driven product building
leebriggs.co.uk
·
1d
·
Discuss:
Hacker News
🛡️
Capability VMs
stdlib
v7.2
erlang.org
·
18h
·
Discuss:
Hacker News
🎭
Polymorphic Variants
Automatic
Programming
notes.billmill.org
·
2d
🎭
Program Synthesis
Waterloo
Style
theprogrammersparadox.blogspot.com
·
13h
·
Discuss:
Hacker News
🔬
Nanopasses
Getting
Feedback
from Test-Driven Development and Testing in Production
infoq.com
·
1d
🧪
Compiler Testing
**Abstract:** This paper introduces a novel framework for predicting protein stability
deviations
, leveraging a multi-modal data fusion approach
combined
wit...
freederia.com
·
12h
✨
Effect Inference
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
2d
·
Discuss:
Hacker News
🚂
Error Propagation
michaelhelvey/lilfuture
: Educational async runtime for Rust
github.com
·
1d
⚙️
Async State Machines
**Abstract:** This paper proposes a novel system leveraging multi-modal data fusion and a hyper-score evaluation framework to
achieve
automated pattern
recog
...
freederia.com
·
16h
🔢
Algebraic Datatypes
A
generalizable
foundation model for analysis of human brain
MRI
nature.com
·
21h
🗺️
Region Inference
Everybody
Tests
focused.io
·
3d
·
Discuss:
Hacker News
🧪
Test DSLs
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
17h
·
Discuss:
Hacker News
🗺️
Region Inference
Loading...
Loading more...
« Page 5
•
Page 7 »
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