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
76463
posts in
1.35
s
Building a
Synthesizer
notes.billmill.org
·
1d
🎛️
Microcontrollers
Efficient
Benchmarking
of
Logical
Magic State
link.aps.org
·
2d
✅
Model Checking
To
Consume
or
Reference
in Rust
meejah.ca
·
1d
🦀
Rust Lifetimes
Vibe Check:
Opus
4.6—The Best Coding Model We’ve Tested (With Some
Maddening
Habits)
every.to
·
2d
🌈
Nannou
girste/CHIHUAUDIT
: 🐕 Linux security audit tool
github.com
·
1d
·
Discuss:
r/selfhosted
🔍
eBPF
Cleaning Dirty Data in Legacy Go
Codebases
: A Lead
QA
Engineer's Approach
dev.to
·
3d
·
Discuss:
DEV
🔧
Read Repair
How I
Added
AI-Powered Code Generation to My
Typing
Practice App Using Gemini API
dev.to
·
2d
·
Discuss:
DEV
🏗️
Pavex
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
2d
🛡️
AI Security
GKcodebase/API
_Architecture: API designs in
jaca
github.com
·
2d
·
Discuss:
DEV
🎨
API Design
SEAL: Symbolic Execution with
Separation
Logic (Competition
Contribution
)
arxiv.org
·
1d
🔓
Lock-Free Programming
Wasure
: A Modular Toolkit for Comprehensive
WebAssembly
Benchmarking
arxiv.org
·
1d
🕸️
WebAssembly
Logistic
Regression, Average Marginal Effects, and the Linear Probability Model - Part II:
Coefficients
and AMEs of nested models
elff.eu
·
1d
⚡
Polars Expression API
Issues with AI:
Toxic
Dependencies
blog.mathieui.net
·
1d
·
Discuss:
Hacker News
💬
Prompt Engineering
The End of the “
Vibe
Check”:
Introducing
Test-Driven Context Engineering
spara.co
·
2d
·
Discuss:
Hacker News
🎲
Deterministic Simulation
YS
Testing Part 2
yamlscript.org
·
18h
🧪
Jepsen Testing
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
1d
💬
Prompt Engineering
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
3d
·
Discuss:
Hacker News
,
r/programming
🎲
Quickcheck
Vibecoding
Audit
erik.wiffin.com
·
2d
·
Discuss:
Hacker News
📡
SonarQube
Sukr
: A minimal static site
compiler
in Rust with zero-JS output
lobste.rs
·
2d
·
Discuss:
Lobsters
🦎
Leptos
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
4d
·
Discuss:
Substack
🦀
Rust
Loading...
Loading more...
« Page 6
•
Page 8 »
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