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
74851
posts in
628.5
ms
Repairing
Property Graphs under
PG-Constraints
arxiv.org
·
3d
🕸️
GraphBLAS
llOOPy
lOOPs (Dave
Jarvis
)
dave.autonoma.ca
·
3d
🧠
Memory Models
AgentStepper
: Interactive
Debugging
of Software Development Agents
arxiv.org
·
16h
🔍
DTrace
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🦀
Rust
Building
fault-tolerant
applications with AWS Lambda
durable
functions
aws.amazon.com
·
3d
🚀
Shuttle
Week 1: Why did I start learning Rust?
vitaliihonchar.com
·
2d
·
Discuss:
r/programming
🦀
Rust
IntentRefiner
: AI-Powered Issue
Refinement
for Faster Support Automation
dev.to
·
22h
·
Discuss:
DEV
🦙
Ollama
Docker versus
Nix
: The quest for true
reproducibility
thenewstack.io
·
2d
·
Discuss:
r/NixOS
📦
Nix Flakes
tzcnt/TooManyCooks
: C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
github.com
·
10h
🎆
Firecracker
ValkDB/postgresparser
: ANTLR-based PostgreSQL query parser for Go. Extracts tables, columns, joins, CTEs, parameters, DDL actions, and full column-usage metadata from SQL into a structured IR.
github.com
·
12h
·
Discuss:
Hacker News
,
r/devops
,
r/golang
🔥
DataFusion
React
Compiler
and why class objects can work against
memoization
anita-app.com
·
3d
·
Discuss:
Hacker News
👻
Phantom Types
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
🎯
WASM Runtime
Software Design by
Example
: A File
Viewer
third-bit.com
·
2d
📚
Stack Unwinding
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
2d
·
Discuss:
Hacker News
,
r/rust
🍱
Nom
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
3d
·
Discuss:
r/golang
🔤
Suffix Automata
Released
genai
v0.1.0: a
sane
Go AI SDK
maruel.ca
·
3d
·
Discuss:
r/golang
🏗️
Pavex
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
4d
✓
Formal Verification
Making
Pyrefly
Diagnostics
18x Faster
pyrefly.org
·
3d
·
Discuss:
Hacker News
🦀
Rayon
How I
squeezed
a
BERT
sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io
·
2d
·
Discuss:
Hacker News
📱
Edge AI
I build a
QA
AI Agent and I'll test your site for free to test it out
test-lab.ai
·
2d
·
Discuss:
r/webdev
🧪
Testing
Loading...
Loading more...
« Page 8
•
Page 10 »
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