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
72971
posts in
456.4
ms
Building a
Synthesizer
notes.billmill.org
·
4d
🎛️
Microcontrollers
Efficient
Benchmarking
of
Logical
Magic State
link.aps.org
·
4d
✅
Model Checking
Synthesizing
File-Level Data for Unit Test Generation with Chain-of-Thoughts via
Self-Debugging
arxiv.org
·
6d
🎲
Quickcheck
Canzona
: A Unified, Asynchronous, and Load-Balanced Framework for Distributed Matrix-based
Optimizers
arxiv.org
·
1d
🌀
Naiad
Beyond RAG: Building an AI
Companion
with "Deep Memory" using Knowledge
Graphs
dev.to
·
1d
·
Discuss:
DEV
🎴
TAO
When
Policies
Collide
dev.to
·
1d
·
Discuss:
DEV
🔄
Effect Handlers
Vibe Check:
Opus
4.6—The Best Coding Model We’ve Tested (With Some
Maddening
Habits)
every.to
·
5d
🌈
Nannou
girste/CHIHUAUDIT
: 🐕 Linux security audit tool
github.com
·
3d
·
Discuss:
r/selfhosted
🔍
eBPF
New MIT Framework Uses Search to
Handle
LLM
Errors
in AI Agents
hpcwire.com
·
4d
💬
Prompt Engineering
Boost LLM Security: automated Red
Teaming
at Scale with
Promptfoo
blog.nviso.eu
·
4d
🛡️
AI Security
Breaking Down
CVE-2026-25049
: How TypeScript Types Failed
N8n
's Security
hetmehta.com
·
5d
·
Discuss:
Hacker News
🦕
Deno
— ### Abstract Allosteric regulation represents a fundamental mechanism by which
kinases
acquire functional diversity during evolution. Current
computa
...
freederia.com
·
3d
🧬
Computational Biology
Announcing
:
genai
v0.1.0
50984e11.maruel-ca.pages.dev
·
4d
·
Discuss:
Hacker News
🏗️
Pavex
I Automated a $5,000
Forensic
Accounting
Job with Python (and why they hate me for it)
medium.com
·
3d
·
Discuss:
Hacker News
💰
TigerBeetle
On the Promises of '
High-Assurance
'
Cryptography
symbolic.software
·
5d
·
Discuss:
Lobsters
,
Hacker News
🌳
Merkle Trees
The Engineering
Discipline
That Made AI Actually
Useful
multigres.com
·
5d
·
Discuss:
Hacker News
🌳
Tree-sitter
Sparse
Sum
‑of‑
Squares
Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com
·
3d
🔢
Numerical Methods
aaddrick/claude-pipeline
: Portable Claude Code multi-agent pipeline - skills, agents,
hooks
, orchestration scripts, and quality gates
github.com
·
3d
·
Discuss:
r/ClaudeAI
🤖
Automation
How I Program with LLMs
blog.wesleyabbey.io
·
5d
·
Discuss:
Hacker News
🦀
Rust Macros
Building a scalable code
modernization
solution with AWS
Transform
custom
aws.amazon.com
·
3d
🚀
Shuttle
Loading...
Loading more...
« Page 14
•
Page 16 »
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