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
74615
posts in
369.4
ms
Topological
Semantics
for Common
Inductive
Knowledge
arxiv.org
·
20h
🎯
Hindley-Milner
StatLLM
: A Dataset for Evaluating the Performance of Large Language Models in
Statistical
Analysis
nature.com
·
3d
🌳
Tree-sitter
Using Large Language Models to Support Automation of Failure Management in CI/CD
Pipelines
: A Case Study in SAP
HANA
arxiv.org
·
20h
🛡️
Error Handling
[Dev Weekly #97]
Astro
is 39% More Loved Than Next.js, Claude 4.6 + GPT-5.3
Codex
Just Dropped, and more
blog.codeminer42.com
·
3d
⚙️
SWC
Stop Silent Failures: Using LLMs to
Validate
Web
Scraper
Output
dev.to
·
19h
·
Discuss:
DEV
📡
SonarQube
I Built a 13-Agent AI System That
Reviews
Its Own
Decisions
. Here's the Architecture.
dev.to
·
12h
·
Discuss:
DEV
🛡️
AI Security
Does "AI-Ready Data"
simply
mean "Good Data
Modeling
"?
motherduck.com
·
4d
💰
TigerBeetle
Hello Edge: Keyword
Spotting
on
Microcontrollers
paperium.net
·
3d
·
Discuss:
DEV
📱
Edge AI
stdlib
v7.2
erlang.org
·
3d
·
Discuss:
Hacker News
🛷
Sled
Evaluating
and
mitigating
the growing risk of LLM-discovered 0-days
red.anthropic.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
🔓
Binary Exploitation
Profiling
Swift Applications on Windows and macOS with
Tracy
compositorapp.com
·
3d
·
Discuss:
Hacker News
🧊
Iced
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
4d
·
Discuss:
Hacker News
🔨
Compiler Design
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
3d
·
Discuss:
r/golang
🔍
Linux BPF
What I
wish
I
knew
before building a vibe coding platform
imagine.dev
·
3d
·
Discuss:
Hacker News
📝
Poem
Issues with AI:
Toxic
Dependencies
blog.mathieui.net
·
3d
·
Discuss:
Hacker News
💬
Prompt Engineering
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧮
SMT Solvers
YS
Testing Part 2
yamlscript.org
·
2d
🧪
Jepsen Testing
GKcodebase/API
_Architecture: API designs in
jaca
github.com
·
4d
·
Discuss:
DEV
🎨
API Design
I Am Not a
Functional
Programmer
blog.daniel-beskin.com
·
5d
·
Discuss:
Hacker News
,
r/programming
🎲
Quickcheck
Show HN:
ZigZag
– A Bubble Tea-Inspired
TUI
Framework for Zig
github.com
·
2d
·
Discuss:
Hacker News
🧊
Iced
Loading...
Loading more...
« Page 11
•
Page 13 »
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