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
🎲 Quickcheck
Property Testing, Fuzzing, Test Generation, Rust Testing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
76589
posts in
719.5
ms
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
20h
⚓
Anchors
My
Current
AI Coding
Workflow
jonathannen.com
·
21h
🤖
Automation
marzhall/BBL
: A couple of tools for
OpenEdge
ABL
github.com
·
3h
🎯
Lance
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
22h
🧠
Memory Models
stdlib
v7.2
erlang.org
·
18h
·
Discuss:
Hacker News
🛷
Sled
Introducing
Mutineer
: Chaos Engineering for
Elixir
Function Calls
dev.to
·
4h
·
Discuss:
DEV
⚓
Anchors
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
13h
·
Discuss:
Hacker News
🌊
CALM Theorem
Type
Variance
en.wikipedia.org
·
22h
·
Discuss:
Hacker News
📐
Type Theory
Narrative-Driven Development:
BDD
+
TDD
+ Living Documentation in One Workflow
test2doc.com
·
1d
·
Discuss:
Hacker News
🧪
Testing
Persistent
Human Feedback, LLMs, and Static
Analyzers
for Secure Code Generation and Vulnerability Detection
arxiv.org
·
1d
🏗️
Cranelift
Deterministic
Time with Go's
Synctest
oblique.security
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/golang
🧵
Loom
Show HN:
ZigZag
– A Bubble Tea-Inspired
TUI
Framework for Zig
github.com
·
4h
·
Discuss:
Hacker News
🧊
Iced
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
3d
·
Discuss:
Substack
🦀
Rust
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
8h
·
Discuss:
Hacker News
🕸️
WebAssembly
Idempotency
and Circuit
Breakers
in n8n: A Production Survival Guide
dev.to
·
7h
·
Discuss:
DEV
⚡
LMAX Disruptor
Jacob
Boxerman
-
Declarative
, Reproducible Emacs with straight.el and use-package
jakebox.github.io
·
9h
·
Discuss:
Lobsters
,
Hacker News
📦
uv
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
λ
Functional Programming
Brandon
Dail
brandondail.com
·
1d
🛡️
Error Handling
Can We
Classify
Flaky
Tests Using Only Test Code? An LLM-Based Empirical Study
arxiv.org
·
1d
🧬
Mutation Testing
Clean
Coder
: The Dark Path (2017)
blog.cleancoder.com
·
2d
·
Discuss:
Hacker News
🎯
Escape Analysis
Loading...
Loading more...
« Page 2
•
Page 4 »
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